Data.ByteString.Mp4.Boxes.ElementaryStreamDescriptor

Esd Box

type EsdBox = Box (FullBox Esd 0)

newtype Esd

Constructors

Esd BuilderBox

Instances

IsBoxContent Esd

Defined in Data.ByteString.Mp4.Boxes.ElementaryStreamDescriptor

Methods

boxSize :: Esd -> BoxSize

boxBuilder :: Esd -> Builder

IsBox Esd

Defined in Data.ByteString.Mp4.Boxes.ElementaryStreamDescriptor

Associated Types

type BoxContent Esd :: Type

Methods

toBoxType :: proxy Esd -> BoxType

type BoxContent Esd

Defined in Data.ByteString.Mp4.Boxes.ElementaryStreamDescriptor

type BoxContent Esd = Esd

type BoxTypeSymbol Esd

Defined in Data.ByteString.Mp4.Boxes.ElementaryStreamDescriptor

type BoxTypeSymbol Esd = "esds"

esdBox :: forall (record :: IsA (Descriptor ES_Descr)) (rendered :: BitRecord). (BitStringBuilderHoley (Proxy rendered) EsdBox, rendered ~ RenderEsDescr record) => Proxy record -> ToBitStringBuilder (Proxy rendered) EsdBox

esdBoxHoley :: forall (record :: IsA (Descriptor ES_Descr)) r (rendered :: BitRecord). (BitStringBuilderHoley (Proxy rendered) r, rendered ~ RenderEsDescr record) => Proxy record -> FunctionBuilder EsdBox r (ToBitStringBuilder (Proxy rendered) r)

type RenderEsDescr (d :: IsA (Descriptor ES_Descr)) = BitRecordOfDescriptor $~ Eval d

Esd Record

data ESDescriptor :: IsA (FieldValue "esId" Nat) -> Maybe (IsA (FieldValue "depEsId" Nat)) -> Maybe (IsA (BitRecordField (MkFieldCustom :: BitField ASizedString ASizedString (urlSize :: Nat)))) -> Maybe (IsA (FieldValue "ocrEsId" Nat)) -> IsA (FieldValue "streamPrio" Nat) -> IsA (Descriptor DecoderConfigDescr) -> IsA (Descriptor SLConfigDescr) -> IsA (Descriptor ES_Descr)

Instances

type Eval (ESDescriptor esId depEsId url ocrEsId streamPrio decConfig slConfig :: A (Descriptor ES_Descr) -> Type)

Defined in Data.ByteString.Mp4.Boxes.ElementaryStreamDescriptor

type Eval (ESDescriptor esId depEsId url ocrEsId streamPrio decConfig slConfig :: A (Descriptor ES_Descr) -> Type) = (MkDescriptor ((((((("esId" @: FieldU16) :~ esId) .+: (("depEsIdFlag" @: FlagJust depEsId) .+: (("urlFlag" @: FlagJust url) .+: (("ocrEsIdFlag" @: FlagJust ocrEsId) .+: ((("streamPriority" @: Field 5) :~ streamPrio) .+: (("depEsId" @: FieldU16) :+? depEsId)))))) :+: Eval (OptionalRecordOf (Fun1 (RecordField :: IsA (BitRecordField (MkFieldCustom :: BitField ASizedString ASizedString len)) -> A BitRecord -> Type)) url)) :+: (("ocrEsId" @: FieldU16) :+? ocrEsId)) :+: ((BitRecordOfDescriptor :: A (Descriptor DecoderConfigDescr :-> BitRecord) -> Type) $~ Eval decConfig)) :+: ((BitRecordOfDescriptor :: A (Descriptor SLConfigDescr :-> BitRecord) -> Type) $~ Eval slConfig)) :: Descriptor ES_Descr)

type ESDescriptorMp4File esId decConfigDescr = ESDescriptor esId Nothing Nothing Nothing DefaultStreamPrio decConfigDescr Mp4SyncLayerDescriptor

ISO-14496-14 section 3.1.2 defines restrictions of the elementary stream descriptor. TODO seperate this and other modules so theres the same seperation as in between the parts of the standard.

type DefaultEsId = StaticFieldValue "esId" 1

type DefaultStreamPrio = StaticFieldValue "streamPrio" 0