Data.ByteString.IsoBaseFileFormat.Util.BoxFields

Mini EDSL for labelled box fields. The boxfields can be Scalar or ScalarArrays.

Scalar box fields

type U64 label = Scalar Word64 label

type I64 label = Scalar Int64 label

u64 :: Word64 -> U64 label

i64 :: Int64 -> I64 label

type U32 label = Scalar Word32 label

type I32 label = Scalar Int32 label

u32 :: Word32 -> U32 label

i32 :: Int32 -> I32 label

type U16 label = Scalar Word16 label

type I16 label = Scalar Int16 label

u16 :: Word16 -> U16 label

i16 :: Int16 -> I16 label

type U8 label = Scalar Word8 label

type I8 label = Scalar Int8 label

u8 :: Word8 -> U8 label

i8 :: Int8 -> I8 label

newtype Scalar scalartype (label :: k)

A numeric box field with a type level label. Note that it has a Num instance. Use the type aliases above, e.g. U8,I8,U16,I16,U32,I32,U64,I64 from above. Use either the smart constructors, e.g. u8,i8,u16,i16,u32,i32,u64,i64 or the Num instance, whereas the constructors might give a bit more safety.

Constructors

Scalar

Fields

• fromScalar :: scalartype

Instances

IsBox ChunkOffsetTable64

Defined in Data.ByteString.IsoBaseFileFormat.Boxes.ChunkOffset

Associated Types

type BoxContent ChunkOffsetTable64 :: Type

Methods

toBoxType :: proxy ChunkOffsetTable64 -> BoxType

IsBox ChunkOffsetTable32

Defined in Data.ByteString.IsoBaseFileFormat.Boxes.ChunkOffset

Associated Types

type BoxContent ChunkOffsetTable32 :: Type

Methods

toBoxType :: proxy ChunkOffsetTable32 -> BoxType

(KnownNat scalar, Num o) => FromTypeLit (Scalar o label) (scalar :: Nat)

Defined in Data.ByteString.IsoBaseFileFormat.Util.BoxFields

Methods

fromTypeLit :: proxy (Scalar o label) scalar -> Scalar o label

Eq scalartype => Eq (Scalar scalartype label)

Defined in Data.ByteString.IsoBaseFileFormat.Util.BoxFields

Methods

(==) :: Scalar scalartype label -> Scalar scalartype label -> Bool

(/=) :: Scalar scalartype label -> Scalar scalartype label -> Bool

Num scalartype => Num (Scalar scalartype label)

Defined in Data.ByteString.IsoBaseFileFormat.Util.BoxFields

Methods

(+) :: Scalar scalartype label -> Scalar scalartype label -> Scalar scalartype label

(-) :: Scalar scalartype label -> Scalar scalartype label -> Scalar scalartype label

(*) :: Scalar scalartype label -> Scalar scalartype label -> Scalar scalartype label

negate :: Scalar scalartype label -> Scalar scalartype label

abs :: Scalar scalartype label -> Scalar scalartype label

signum :: Scalar scalartype label -> Scalar scalartype label

fromInteger :: Integer -> Scalar scalartype label

Ord scalartype => Ord (Scalar scalartype label)

Defined in Data.ByteString.IsoBaseFileFormat.Util.BoxFields

Methods

compare :: Scalar scalartype label -> Scalar scalartype label -> Ordering

(<) :: Scalar scalartype label -> Scalar scalartype label -> Bool

(<=) :: Scalar scalartype label -> Scalar scalartype label -> Bool

(>) :: Scalar scalartype label -> Scalar scalartype label -> Bool

(>=) :: Scalar scalartype label -> Scalar scalartype label -> Bool

max :: Scalar scalartype label -> Scalar scalartype label -> Scalar scalartype label

min :: Scalar scalartype label -> Scalar scalartype label -> Scalar scalartype label

Read scalartype => Read (Scalar scalartype label)

Defined in Data.ByteString.IsoBaseFileFormat.Util.BoxFields

Methods

readsPrec :: Int -> ReadS (Scalar scalartype label)

readList :: ReadS [Scalar scalartype label]

readPrec :: ReadPrec (Scalar scalartype label)

readListPrec :: ReadPrec [Scalar scalartype label]

Show scalartype => Show (Scalar scalartype label)

Defined in Data.ByteString.IsoBaseFileFormat.Util.BoxFields

Methods

showsPrec :: Int -> Scalar scalartype label -> ShowS

show :: Scalar scalartype label -> String

showList :: [Scalar scalartype label] -> ShowS

Default scalartype => Default (Scalar scalartype label)

Defined in Data.ByteString.IsoBaseFileFormat.Util.BoxFields

Methods

def :: Scalar scalartype label

IsBoxContent (Scalar Int64 label)

Defined in Data.ByteString.IsoBaseFileFormat.Util.BoxFields

Methods

boxSize :: Scalar Int64 label -> BoxSize

boxBuilder :: Scalar Int64 label -> Builder

IsBoxContent (Scalar Int32 label)

Defined in Data.ByteString.IsoBaseFileFormat.Util.BoxFields

Methods

boxSize :: Scalar Int32 label -> BoxSize

boxBuilder :: Scalar Int32 label -> Builder

IsBoxContent (Scalar Int16 label)

Defined in Data.ByteString.IsoBaseFileFormat.Util.BoxFields

Methods

boxSize :: Scalar Int16 label -> BoxSize

boxBuilder :: Scalar Int16 label -> Builder

IsBoxContent (Scalar Int8 label)

Defined in Data.ByteString.IsoBaseFileFormat.Util.BoxFields

Methods

boxSize :: Scalar Int8 label -> BoxSize

boxBuilder :: Scalar Int8 label -> Builder

IsBoxContent (Scalar Word64 label)

Defined in Data.ByteString.IsoBaseFileFormat.Util.BoxFields

Methods

boxSize :: Scalar Word64 label -> BoxSize

boxBuilder :: Scalar Word64 label -> Builder

IsBoxContent (Scalar Word32 label)

Defined in Data.ByteString.IsoBaseFileFormat.Util.BoxFields

Methods

boxSize :: Scalar Word32 label -> BoxSize

boxBuilder :: Scalar Word32 label -> Builder

IsBoxContent (Scalar Word16 label)

Defined in Data.ByteString.IsoBaseFileFormat.Util.BoxFields

Methods

boxSize :: Scalar Word16 label -> BoxSize

boxBuilder :: Scalar Word16 label -> Builder

IsBoxContent (Scalar Word8 label)

Defined in Data.ByteString.IsoBaseFileFormat.Util.BoxFields

Methods

boxSize :: Scalar Word8 label -> BoxSize

boxBuilder :: Scalar Word8 label -> Builder

type BoxContent ChunkOffsetTable64

Defined in Data.ByteString.IsoBaseFileFormat.Boxes.ChunkOffset

type BoxContent ChunkOffsetTable64 = ChunkOffsetTable64

type BoxContent ChunkOffsetTable32

Defined in Data.ByteString.IsoBaseFileFormat.Boxes.ChunkOffset

type BoxContent ChunkOffsetTable32 = ChunkOffsetTable32

type BoxTypeSymbol ChunkOffsetTable64

Defined in Data.ByteString.IsoBaseFileFormat.Boxes.ChunkOffset

type BoxTypeSymbol ChunkOffsetTable64 = "co64"

type BoxTypeSymbol ChunkOffsetTable32

Defined in Data.ByteString.IsoBaseFileFormat.Boxes.ChunkOffset

type BoxTypeSymbol ChunkOffsetTable32 = "stco"

relabelScalar :: Scalar t l -> Scalar t l'

Relabel a scalar value, e.g. convert a Scalar U32 "foo" to a Scalar U32 "bar".

Array fields

type U64Arr label size = ScalarArray label size Word64

u64Arr :: (KnownNat size, KnownSymbol label) => [Word64] -> U64Arr label size

type I64Arr label size = ScalarArray label size Int64

i64Arr :: (KnownNat size, KnownSymbol label) => [Int64] -> I64Arr label size

type U32Arr label size = ScalarArray label size Word32

u32Arr :: (KnownNat size, KnownSymbol label) => [Word32] -> U32Arr label size

type I32Arr label size = ScalarArray label size Int32

i32Arr :: (KnownNat size, KnownSymbol label) => [Int32] -> I32Arr label size

type U16Arr label size = ScalarArray label size Word16

u16Arr :: (KnownNat size, KnownSymbol label) => [Word16] -> U16Arr label size

type I16Arr label size = ScalarArray label size Int16

i16Arr :: (KnownNat size, KnownSymbol label) => [Int16] -> I16Arr label size

type U8Arr label size = ScalarArray label size Word8

u8Arr :: (KnownNat size, KnownSymbol label) => [Word8] -> U8Arr label size

type I8Arr label size = ScalarArray label size Int8

i8Arr :: (KnownNat size, KnownSymbol label) => [Int8] -> I8Arr label size

newtype ScalarArray (label :: k) (len :: Nat) o where

A box field that is an array of Scalars with a type level label. Use the type aliases, e.g. U8Arr,I8Arr,U16Arr,I16Arr,U32Arr,I32Arr,U64Arr,I64Arr from above. Use the smart constructors, e.g. u8Arr,i8Arr,u16Arr,i16Arr,u32Arr,i32Arr,u64Arr,i64Arr .

Constructors

ScalarArray :: Vector o -> ScalarArray label n o

Instances

(KnownSymbol label, SingI arr, Num o, SingKind [Nat], KnownNat len, len ~ Length arr) => FromTypeLit (ScalarArray label len o) (arr :: [Nat])

Defined in Data.ByteString.IsoBaseFileFormat.Util.BoxFields

Methods

fromTypeLit :: proxy (ScalarArray label len o) arr -> ScalarArray label len o

Eq o => Eq (ScalarArray label len o)

Defined in Data.ByteString.IsoBaseFileFormat.Util.BoxFields

Methods

(==) :: ScalarArray label len o -> ScalarArray label len o -> Bool

(/=) :: ScalarArray label len o -> ScalarArray label len o -> Bool

Show o => Show (ScalarArray label len o)

Defined in Data.ByteString.IsoBaseFileFormat.Util.BoxFields

Methods

showsPrec :: Int -> ScalarArray label len o -> ShowS

show :: ScalarArray label len o -> String

showList :: [ScalarArray label len o] -> ShowS

(Default o, KnownNat len) => Default (ScalarArray label len o)

Defined in Data.ByteString.IsoBaseFileFormat.Util.BoxFields

Methods

def :: ScalarArray label len o

(Num o, IsBoxContent (Scalar o label)) => IsBoxContent (ScalarArray label len o)

Defined in Data.ByteString.IsoBaseFileFormat.Util.BoxFields

Methods

boxSize :: ScalarArray label len o -> BoxSize

boxBuilder :: ScalarArray label len o -> Builder

fromList :: forall label n o. (KnownSymbol label, KnownNat n) => [o] -> ScalarArray label n o

Internal function

Constant fields

data Constant o v where

Wrapper around a field, e.g. a Scalar or ScalarArray, with a type level value. The wrapped content must implement FromTypeLit. Extends get the value of a Constant use fromTypeLit.

Constructors

Constant :: Constant o v

Instances

Default (Constant o v)

Defined in Data.ByteString.IsoBaseFileFormat.Util.BoxFields

Methods

def :: Constant o v

(IsBoxContent o, FromTypeLit o v) => IsBoxContent (Constant o v)

Defined in Data.ByteString.IsoBaseFileFormat.Util.BoxFields

Methods

boxSize :: Constant o v -> BoxSize

boxBuilder :: Constant o v -> Builder

Template Fields

data Template o v where

Fields with default values that can be overriden with custom value. Like Constant this is a wrapper around a field, e.g. a Scalar or ScalarArray, with a type level default value. The wrapped content must implement FromTypeLit.

Constructors

Template :: Template o v

Custom :: !o -> Template o v

Instances

Default (Template o v)

Defined in Data.ByteString.IsoBaseFileFormat.Util.BoxFields

Methods

def :: Template o v

(IsBoxContent o, FromTypeLit o v) => IsBoxContent (Template o v)

Defined in Data.ByteString.IsoBaseFileFormat.Util.BoxFields

Methods

boxSize :: Template o v -> BoxSize

boxBuilder :: Template o v -> Builder

templateValue :: FromTypeLit o v => Template o v -> o

Get a value from a Template.

Conversion from type-level numbers and lists to values

class FromTypeLit o v where

Types that can be constructed from type level value representations.

Methods

fromTypeLit :: proxy o v -> o

Instances

KnownSymbol str => FromTypeLit Text (str :: Symbol)

Defined in Data.ByteString.IsoBaseFileFormat.Util.BoxFields

Methods

fromTypeLit :: proxy Text str -> Text

KnownSymbol str => FromTypeLit (U32Text label) (str :: Symbol)

Defined in Data.ByteString.IsoBaseFileFormat.Util.BoxFields

Methods

fromTypeLit :: proxy (U32Text label) str -> U32Text label

(KnownNat scalar, Num o) => FromTypeLit (Scalar o label) (scalar :: Nat)

Defined in Data.ByteString.IsoBaseFileFormat.Util.BoxFields

Methods

fromTypeLit :: proxy (Scalar o label) scalar -> Scalar o label

(KnownSymbol label, SingI arr, Num o, SingKind [Nat], KnownNat len, len ~ Length arr) => FromTypeLit (ScalarArray label len o) (arr :: [Nat])

Defined in Data.ByteString.IsoBaseFileFormat.Util.BoxFields

Methods

fromTypeLit :: proxy (ScalarArray label len o) arr -> ScalarArray label len o

String/Text field types

newtype FixSizeText (len :: Nat) (label :: Symbol) where

A fixed size string, the first byte is the string length, after the String, the field is padded with 0 bytes. The string must be in UTF8 format.

Constructors

FixSizeText :: Text -> FixSizeText len label

Instances

IsTextSize len => Default (FixSizeText len label)

Defined in Data.ByteString.IsoBaseFileFormat.Util.BoxFields

Methods

def :: FixSizeText len label

IsTextSize len => IsBoxContent (FixSizeText len label)

Defined in Data.ByteString.IsoBaseFileFormat.Util.BoxFields

Methods

boxSize :: FixSizeText len label -> BoxSize

boxBuilder :: FixSizeText len label -> Builder

type IsTextSize len = (KnownNat len, 1 <= len, len <= 255)

A constraint that matches type level numbers that are valid text sizes for FixSizeTexts.

newtype U32Text (label :: Symbol) where

Four character strings embedded in a uint32.

Constructors

U32Text :: Word32 -> U32Text label

Instances

KnownSymbol str => FromTypeLit (U32Text label) (str :: Symbol)

Defined in Data.ByteString.IsoBaseFileFormat.Util.BoxFields

Methods

fromTypeLit :: proxy (U32Text label) str -> U32Text label

IsString (U32Text label)

Defined in Data.ByteString.IsoBaseFileFormat.Util.BoxFields

Methods

fromString :: String -> U32Text label

Default (U32Text label)

Defined in Data.ByteString.IsoBaseFileFormat.Util.BoxFields

Methods

def :: U32Text label

IsBoxContent (U32Text label)

Defined in Data.ByteString.IsoBaseFileFormat.Util.BoxFields

Methods

boxSize :: U32Text label -> BoxSize

boxBuilder :: U32Text label -> Builder