Data.ByteString.Mp4.Boxes.Expandable

Static Expandable

data StaticExpandableContent :: BitRecord -> Extends BitRecord

Instances

type From (StaticExpandableContent record :: BitRecord -> Type)

Defined in Data.ByteString.Mp4.Boxes.Expandable

type From (StaticExpandableContent record :: BitRecord -> Type) = ExpandableSize (ShiftR StaticExpandableContentMaxBits (SizeInBits record) 3) :+: record

type StaticExpandableContentMaxBits = 32

type family ExpandableSize (s :: Nat) :: BitRecord where ...

Equations

ExpandableSize 0 = EmptyBitRecord

ExpandableSize s = If (s <=? 127) (ExpandableSizeLastChunk s) (ExpandableSizeNext (ShiftR StaticExpandableContentMaxBits s 7) :+: ExpandableSizeLastChunk s)

type ExpandableSizeLastChunk (s :: Nat) = (Field 1 := 0) .+. (Field 7 := s)

type family ExpandableSizeNext (s :: Nat) :: BitRecord where ...

Equations

ExpandableSizeNext 0 = EmptyBitRecord

ExpandableSizeNext s = If (s <=? 127) (ExpandableSizeNextChunk s) (ExpandableSizeNext (ShiftR StaticExpandableContentMaxBits s 7) :+: ExpandableSizeNextChunk s)

type ExpandableSizeNextChunk (s :: Nat) = (Field 1 := 1) .+. (Field 7 := s)

Runtime-value Expandable

newtype Expandable t where

Constructors

Expandable :: t -> Expandable t

Instances

IsBoxContent t => IsBoxContent (Expandable t)

Defined in Data.ByteString.Mp4.Boxes.Expandable

Methods

boxSize :: Expandable t -> BoxSize

boxBuilder :: Expandable t -> Builder

expandableSizeSize :: BoxSize -> BoxSize

expandableSizeBuilder :: BoxSize -> Builder