Data.ByteString.IsoBaseFileFormat.Util.TypeLayout

Documentation

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

Instances

type IsRuleConform (t :: k) (TopLevel rule :: Type)

Defined in Data.ByteString.IsoBaseFileFormat.Util.TypeLayout

type IsRuleConform (t :: k) (TopLevel rule :: Type) = IsRuleConform t rule

type IsRuleConform (t :: k) (OneOf (r ': rs) :: Type)

Defined in Data.ByteString.IsoBaseFileFormat.Util.TypeLayout

type IsRuleConform (t :: k) (OneOf (r ': rs) :: Type) = IsRuleConform t r || IsRuleConform t (OneOf rs)

type IsRuleConform (t :: k) (OneOf ([] :: [Type]))

Defined in Data.ByteString.IsoBaseFileFormat.Util.TypeLayout

type IsRuleConform (t :: k) (OneOf ([] :: [Type])) = False

type IsRuleConform (b :: Type) (MatchSymbol fourcc :: Type)

Defined in Data.ByteString.IsoBaseFileFormat.Util.TypeLayout

type IsRuleConform (b :: Type) (MatchSymbol fourcc :: Type) = ToSymbol b == fourcc

type IsRuleConform (Box (SampleEntry handlerSpecificEntry) :: Type) (MatchSampleEntry handlerType :: Type)

Defined in Data.ByteString.IsoBaseFileFormat.Boxes.SampleEntry

type IsRuleConform (Box (SampleEntry handlerSpecificEntry) :: Type) (MatchSampleEntry handlerType :: Type) = HandlerTypeCode (GetHandlerType handlerSpecificEntry) == HandlerTypeCode handlerType

type IsRuleConform (bs :: [Type]) (sq :: [Type])

Defined in Data.ByteString.IsoBaseFileFormat.Util.TypeLayout

type IsRuleConform (bs :: [Type]) (sq :: [Type]) = IsSequence bs sq

type IsRuleConform (Boxes bs :: Type) (Boxes rs :: Type)

Defined in Data.ByteString.IsoBaseFileFormat.Box

type IsRuleConform (Boxes bs :: Type) (Boxes rs :: Type) = IsRuleConform bs rs

type IsRuleConform (Box b :: Type) (Box r :: Type)

Defined in Data.ByteString.IsoBaseFileFormat.Box

type IsRuleConform (Box b :: Type) (Box r :: Type) = BoxTypeSymbol b == BoxTypeSymbol r

type IsRuleConform (Box b :: Type) (ContainerBox b' rules :: Type)

Defined in Data.ByteString.IsoBaseFileFormat.Box

type IsRuleConform (Box b :: Type) (ContainerBox b' rules :: Type) = IsContainerBox b && (IsRuleConform (Box b) (Box b') && IsRuleConform (ChildBoxes b) (Boxes rules))

data TopLevel :: Type -> Type

Instances

type IsRuleConform (t :: k) (TopLevel rule :: Type)

Defined in Data.ByteString.IsoBaseFileFormat.Util.TypeLayout

type IsRuleConform (t :: k) (TopLevel rule :: Type) = IsRuleConform t rule

data OneOf :: [Type] -> Type

Instances

type IsRuleConform (t :: k) (OneOf (r ': rs) :: Type)

Defined in Data.ByteString.IsoBaseFileFormat.Util.TypeLayout

type IsRuleConform (t :: k) (OneOf (r ': rs) :: Type) = IsRuleConform t r || IsRuleConform t (OneOf rs)

type IsRuleConform (t :: k) (OneOf ([] :: [Type]))

Defined in Data.ByteString.IsoBaseFileFormat.Util.TypeLayout

type IsRuleConform (t :: k) (OneOf ([] :: [Type])) = False

data MatchSymbol :: Symbol -> Type

Instances

type IsRuleConform (b :: Type) (MatchSymbol fourcc :: Type)

Defined in Data.ByteString.IsoBaseFileFormat.Util.TypeLayout

type IsRuleConform (b :: Type) (MatchSymbol fourcc :: Type) = ToSymbol b == fourcc

type family ToSymbol t :: Symbol

data OnceOptionalX t

data SomeOptionalX t

data SomeMandatoryX t

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

Equations

IsSequence '[] '[] = True

IsSequence (b ': bs) '[] = False

IsSequence '[] (OnceOptionalX r ': rs) = IsSequence '[] rs

IsSequence (b ': bs) (OnceOptionalX r ': rs) = If (IsRuleConform b r) (IsSequence bs rs) (IsSequence (b ': bs) rs)

IsSequence '[] (SomeOptionalX r ': rs) = IsSequence '[] rs

IsSequence (b ': bs) (SomeOptionalX r ': rs) = If (IsRuleConform b r) (IsSequence bs (SomeOptionalX r ': rs)) (IsSequence (b ': bs) rs)

IsSequence '[] (SomeMandatoryX r ': rs) = False

IsSequence (b ': bs) (SomeMandatoryX r ': rs) = IsRuleConform b r && IsSequence bs (SomeOptionalX r ': rs)

IsSequence '[] (r ': rs) = False

IsSequence (b ': bs) (r ': rs) = IsRuleConform b r && IsSequence bs rs