Data.ByteString.IsoBaseFileFormat.Brands.Dash

Predefined Box composition matching the dash brand. TODO this is an incomplete, special-purpose variant of this brand, serving my personal, educational, current need. This is a convenient way of building documents of that kind.

Documentation

data Dash version

A phantom type to indicate this branding. Version can be 0 or 1 it is used in some boxes to switch between 32/64 bits.

Instances

KnownNat v => IsBrand * (Dash v)

A BoxLayout which contains the stuff needed for the dash brand. TODO incomplete

Associated Types

type BoxLayout (Dash v) (brand :: Dash v) :: BoxForrest

type GetVersion (Dash v) (brand :: Dash v) :: Nat

type BoxLayout * (Dash v)

type BoxLayout * (Dash v) = (:) BoxTree (OM_ FileType) ((:) BoxTree (OM Movie ((:) BoxTree (OM_ (MovieHeader v)) ((:) BoxTree (SM Track ((:) BoxTree (OM_ (TrackHeader v)) ((:) BoxTree (OM Media ((:) BoxTree (OM_ (MediaHeader v)) ((:) BoxTree (OM_ Handler) ((:) BoxTree (OM MediaInformation ((:) BoxTree (OO_ SpecificMediaHeader) ([] BoxTree))) ([] BoxTree))))) ([] BoxTree)))) ([] BoxTree)))) ((:) BoxTree (SO_ Skip) ([] BoxTree)))

type GetVersion * (Dash v)

type GetVersion * (Dash v) = v

data SingleTrackInit

A record which contains the stuff needed for a single track initialization document according to the Dash brand. TODO incomplete

Constructors

SingleTrackInit

Fields

• _mvhd :: MovieHeader 0
• _tkhd :: TrackHeader 0
• _mdhd :: MediaHeader 0
• _hdlr :: Handler
• _xmhd :: SpecificMediaHeader

mkSingleTrackInit :: SingleTrackInit -> MediaFile (Dash 0)

Convert a SingleTrackInit record to a generic Boxes collection.