Data.ByteString.IsoBaseFileFormat.Boxes.SampleEntry

Connect a sample description to a data reference via an index into the data reference entry table.

Documentation

sampleEntry :: U16 "data_reference_index" -> handlerSpecific -> Box (SampleEntry handlerSpecific)

Create a SampleEntry Box from the data reference index and the HandlerType specific SampleEntry instance.

newtype SampleEntry handlerSpecific where

A common header for all specific sample entries, the BoxContent of the abstract SampleEntry is SampleEntry (SampleEntry h f).

Constructors

SampleEntry :: (Constant (U8Arr "reserved" 6) '[0, 0, 0, 0, 0, 0] :+ (U16 "data_reference_index" :+ handlerSpecific)) -> SampleEntry handlerSpecific

Instances

Default handlerSpecific => Default (SampleEntry handlerSpecific)

Methods

def :: SampleEntry handlerSpecific

IsBoxContent handlerSpecific => IsBoxContent (SampleEntry handlerSpecific)

Methods

boxSize :: SampleEntry handlerSpecific -> BoxSize

boxBuilder :: SampleEntry handlerSpecific -> Builder

(IsBoxContent handlertype, KnownSymbol (BoxTypeSymbol * handlertype)) => IsBox (SampleEntry handlertype)

Associated Types

type BoxContent (SampleEntry handlertype) :: *

Methods

toBoxType :: proxy (SampleEntry handlertype) -> BoxType

type IsRuleConform Type * (Box (SampleEntry handlerSpecificEntry)) (MatchSampleEntry handlerType)

type IsRuleConform Type * (Box (SampleEntry handlerSpecificEntry)) (MatchSampleEntry handlerType) = (==) Symbol (HandlerTypeCode (GetHandlerType handlerSpecificEntry)) (HandlerTypeCode handlerType)

type BoxContent (SampleEntry handlertype)

type BoxContent (SampleEntry handlertype) = SampleEntry handlertype

type BoxTypeSymbol * (SampleEntry handlerSpecific)

type BoxTypeSymbol * (SampleEntry handlerSpecific) = BoxTypeSymbol * handlerSpecific

data MatchSampleEntry :: HandlerType -> Type

Use this in IsMediaFileFormats BoxLayout to range over any specific SampleEntry, disregarding the second parameter (that indicates low-level format, protocol or codec characteristics). Add a GetHandlerType instance for MatchSampleEntry to match a sample type specific entry.

Instances

type IsRuleConform Type * (Box (SampleEntry handlerSpecificEntry)) (MatchSampleEntry handlerType)

type IsRuleConform Type * (Box (SampleEntry handlerSpecificEntry)) (MatchSampleEntry handlerType) = (==) Symbol (HandlerTypeCode (GetHandlerType handlerSpecificEntry)) (HandlerTypeCode handlerType)