Data.ByteString.IsoBaseFileFormat.Boxes.Box

Basic Types and classes

class IsBoxType' t

class BoxRules t

data Cardinality

class IsBoxContent a

Data types

data Box' b

data Boxes boxTypes

closedBox

containerBox

mediaFile

Box Size and Type

data BoxSize

data BoxSizeExtension

data BoxType

data FourCc

data BoxTypeExtension

Type-safe box composition

Type level consistency checks

type ValidBoxes t ts

type family AllAllowedIn (container :: k) (boxes :: [k]) :: Bool where ...

type family CheckAllowedIn (c :: k) (t :: k) (a :: Maybe [k]) :: Bool where ...

type NotAllowedMsg c t

type family HasAllRequiredBoxes (c :: k) (req :: [k]) (nested :: [k]) :: Bool where ...

type IsSubSet base sub

type MissingRequired c r nested

type family CheckAllTopLevelOk (ts :: [k]) :: Bool where ...

type family CheckTopLevelOk (t :: k) :: Bool where ...

type NotTopLevenError c

IsBoxContent instances