module Data.ByteString.IsoBaseFileFormat.Brands.Dash
(Dash, SingleAudioTrackInit(..), mkSingleTrackInit, module X)
where
import Data.ByteString.IsoBaseFileFormat.Brands.Types
import Data.ByteString.IsoBaseFileFormat.Boxes as X hiding (All)
import Data.Kind (Type, Constraint)
data Dash (version :: Nat)
dash :: Proxy (Dash 0)
dash = Proxy
instance IsMediaFileFormat (Dash v) where
type BoxLayout (Dash v) =
Boxes
'[ OM_ FileType
, OM Movie
'[ OM_ (MovieHeader v)
, SomeMandatoryX
(OneOf '[ TrackLayout v 'VideoTrack
, TrackLayout v 'AudioTrack
, TrackLayout v 'HintTrack
, TrackLayout v 'TimedMetaDataTrack
, TrackLayout v 'AuxilliaryVideoTrack])
]
, SO_ Skip
]
type TrackLayout version handlerType =
(ContainerBox Track
'[ OM_ (TrackHeader version)
, OM Media
'[ OM_ (MediaHeader version)
, OM_ (Handler handlerType)
, OM MediaInformation
'[ OneOf '[ OM_ (MediaHeaderFor handlerType)
, OM_ NullMediaHeader]
, OM DataInformation
'[ OM DataReference
'[ SomeMandatoryX
(OneOf '[ OM_ DataEntryUrl
, OM_ DataEntryUrn])]]
, OM SampleTable
'[ OM (SampleDescription handlerType)
'[ SomeMandatoryX (MatchSampleEntry handlerType) ]
, OM_ TimeToSample
]
]
]
])
data SingleAudioTrackInit =
SingleAudioTrackInit {mvhd :: MovieHeader 0
,tkhd :: TrackHeader 0
,mdhd :: MediaHeader 0
,hdlr :: Handler 'AudioTrack
,smhd :: SoundMediaHeader}
mkSingleTrackInit
:: SingleAudioTrackInit -> Builder
mkSingleTrackInit doc = mediaBuilder dash $
fileTypeBox (FileType "dash" 0 ["isom","iso5","mp42"])
:| movie
( movieHeader (mvhd doc)
:| track
( trackHeader (tkhd doc)
:| media
( mediaHeader (mdhd doc)
:. handler (hdlr doc)
:| mediaInformation
( soundMediaHeader (smhd doc)
:. (dataInformation $: localMediaDataReference)
:| sampleTable
((sampleDescription $: audioSampleEntry Mpeg4Aac 1 def)
:| timeToSample [] )))))