Data.ByteString.IsoBaseFileFormat.Util.TypeLayout

type family IsRuleConform (b :: k) (r :: l) :: Bool

data IsRuleConform0

data IsRuleConform1

data TopLevel

data OneOf

data MatchSymbol

type family ToSymbol t :: Symbol

data ToSymbol0

data OnceOptionalX t

data SomeOptionalX t

data SomeMandatoryX t

type family IsSequence (bs :: [k]) (rs :: [j]) :: Bool where ...