Safe Haskell | None |
---|---|
Language | Haskell2010 |
A type to represent (recursive) subdivisions of a part.
- newtype Subpart = Subpart [Division]
- containsSubpart :: Subpart -> Subpart -> Bool
- properlyContainsSubpart :: Subpart -> Subpart -> Bool
- isSubpartOf :: Subpart -> Subpart -> Bool
- isProperSubpartOf :: Subpart -> Subpart -> Bool
Documentation
A subpart is a potentially infinite sequence of divisions, each typically
designated using a new index type, i.e. I.1.2
.
The empty subpart (also known as mempty
) represents all the players of the group,
or in the context of Part
, all players of the given instrument.
containsSubpart :: Subpart -> Subpart -> Bool Source
properlyContainsSubpart :: Subpart -> Subpart -> Bool Source
isSubpartOf :: Subpart -> Subpart -> Bool Source
isProperSubpartOf :: Subpart -> Subpart -> Bool Source