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 :: Nat)

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

IsMediaFileFormat (Dash v :: Type)

A BoxLayout which contains the stuff needed for the dash brand. TODO add iso1 iso2 iso3 iso5 isom formats

Defined in Data.ByteString.IsoBaseFileFormat.Brands.Dash

Associated Types

type BoxLayout (Dash v) :: Type

Methods

mediaBuilder :: (IsBoxContent t, IsRuleConform t (BoxLayout (Dash v)) ~ True) => proxy (Dash v) -> t -> Builder

type BoxLayout (Dash v :: Type)

Defined in Data.ByteString.IsoBaseFileFormat.Brands.Dash

type BoxLayout (Dash v :: Type)

dash :: Proxy (Dash 0)

A constant to indicate the Dash brand with version 0