Data.ByteString.IsoBaseFileFormat.Boxes.MovieBox

Contents

• mvhd Box
• trak Box
• tkhd Box

Description

Synopsis

• movieBox :: ValidBoxes (Movie version) ts => Boxes ts -> Box' (Movie version)
• data Movie version
• movieHeaderBox :: KnownNat version => MovieHeader version -> Box' (MovieHeader version)
• data MovieHeader version where
  • MovieHeader :: KnownNat version => (((((((Versioned MovieHeaderTimesV0 MovieHeaderTimesV1 version :+ Template (I32 "rate") 65536) :+ Template (I16 "volume") 256) :+ Constant (I16 "reserved") 0) :+ Constant (I32Arr "reserved" 2) '[0, 0]) :+ Constant (I32Arr "matrix" 9) '[65536, 0, 0, 0, 65536, 0, 0, 0, 1073741824]) :+ Template (U32Arr "pre_defined" 6) '[0, 0, 0, 0, 0, 0]) :+ U32 "next_track_ID") -> MovieHeader version
• type MovieHeaderTimesV0 = MovieHeaderTimes (Scalar Word32)
• type MovieHeaderTimesV1 = MovieHeaderTimes (Scalar Word64)
• type MovieHeaderTimes uint = ((uint "creation_time" :+ uint "modification_time") :+ U32 "timescale") :+ uint "duration"
• track :: ValidBoxes (Track version) ts => Boxes ts -> Box' (Track version)
• data Track version
• trackHeader :: KnownNat version => TrackHeader version -> Box' (TrackHeader version)
• data TrackHeader version where
  • TrackHeader :: ((((((((Versioned TrackHeaderTimesV0 TrackHeaderTimesV1 version :+ Constant (I32Arr "reserved" 2) '[0, 0]) :+ Template (I16 "layer") 0) :+ Template (I16 "alternate_group") 0) :+ Template (I16 "volume") 256) :+ Constant (I16 "reserved") 0) :+ Template (I32Arr "matrix" 9) '[65536, 0, 0, 0, 65536, 0, 0, 0, 1073741824]) :+ I32 "width") :+ I32 "height") -> TrackHeader version
• type TrackHeaderTimesV0 = TrackHeaderTimes (Scalar Word32)
• type TrackHeaderTimesV1 = TrackHeaderTimes (Scalar Word64)
• type TrackHeaderTimes uint = (((uint "creation_time" :+ uint "modification_time") :+ U32 "track_ID") :+ Constant (U32 "reserved") 0) :+ uint "duration"

Documentation

 xxx :: Box' Movie
 xxx = movieBox $
        Nested (movieHeaderBox (...))
        :. (trackBox $
             Nested (trackHeaderBox (TrackHeader ...))
             :. trackReferenceBox (TrackReference ...)
             :. trackGroupingIndication (TrackGroupingInd ...))

mvhd Box

trak Box

tkhd Box