Data.ByteString.IsoBaseFileFormat.Boxes.Box

Basic Types and classes

class BoxRules t

data Cardinality

class IsBoxType t

class IsBoxContent a

data Extend a b

Boxes

box

emptyBox

data Box b

Box Size and Type

data BoxSize

data BoxSizeExtension

data BoxType

data FourCc

data BoxTypeExtension

Type-safe box composition

data ParentBox b

parentBox

emptyParentBox

boxes

(^-)

data Boxes cont boxTypes

data UnverifiedBoxes t ts

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 CheckTopLevelOk (t :: k) :: Bool where ...

type NotTopLevenError c

Full Boxes

type FullBox t

fullBox

data FullBoxHeader

data BoxVersion

data BoxFlags bits

boxFlagBitMask

cropBits