Segment reporting (Details)	9 Months Ended
Apr. 30, 2020
Segment Reporting [Abstract]
Number of Reportable Segments	3

Number of segments reported by the entity. A reportable segment is a component of an entity for which there is an accounting requirement to report separate financial information on that component in the entity's financial statements.

No definition available.

Name:	us-gaap_NumberOfReportableSegments
Namespace Prefix:	us-gaap_
Data Type:	xbrli:integerItemType
Balance Type:	na
Period Type:	duration