{-# LANGUAGE UndecidableInstances #-}
module Data.ByteString.IsoBaseFileFormat.Brands.Dash
(Dash, dash)
where
import Data.ByteString.IsoBaseFileFormat.Box
import Data.ByteString.IsoBaseFileFormat.MediaFile
import Data.ByteString.IsoBaseFileFormat.Boxes
import Data.ByteString.IsoBaseFileFormat.ReExports
data Dash (version :: Nat)
dash :: Proxy (Dash 0)
dash = Proxy
instance IsMediaFileFormat (Dash v) where
type BoxLayout (Dash v) =
OneOf '[ MovieLayout v
, SegmentLayout]
type MovieLayout v =
Boxes
'[ OM_ FileType
, OM_ Skip
, OM Movie
'[ OM_ (MovieHeader v)
, SomeMandatoryX
(OneOf '[ TrackLayout v 'VideoTrack
, TrackLayout v 'AudioTrack
, TrackLayout v 'HintTrack
, TrackLayout v 'TimedMetaDataTrack
, TrackLayout v 'AuxilliaryVideoTrack])
, OO MovieExtends
'[ OO_ (MovieExtendsHeader v)
, OM_ TrackExtends ]
]
]
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
'[ SomeMandatoryX (MatchSampleEntry handlerType) ]
, OM_ TimeToSample
, OM_ SampleToChunk
, OM_ SampleSize
, OneOf '[ OM_ ChunkOffset32
, OM_ ChunkOffset64 ]
]
]
]
])
type SegmentLayout =
Boxes '[ OM_ SegmentType
, OM MovieFragment
'[ OM_ MovieFragmentHeader
, OM TrackFragment
'[ OM_ TrackFragmentHeader
, OO_ (TrackFragBaseMediaDecodeTime 1)
, SO_ TrackRun
]
]
, SM_ MediaData
]