Ivory.Serialize

Documentation

serializeHeader :: String

serializeModule :: Module

serializeArtifacts :: [Located Artifact]

class Packable a where

Methods

packRep :: PackRep a

Instances

Packable (Stored IFloat)

Defined in Ivory.Serialize.Atoms

Methods

packRep :: PackRep (Stored IFloat)

Packable (Stored IDouble)

Defined in Ivory.Serialize.Atoms

Methods

packRep :: PackRep (Stored IDouble)

Packable (Stored IBool)

Defined in Ivory.Serialize.Atoms

Methods

packRep :: PackRep (Stored IBool)

Packable (Stored Uint8)

Defined in Ivory.Serialize.Atoms

Methods

packRep :: PackRep (Stored Uint8)

Packable (Stored Uint16)

Defined in Ivory.Serialize.Atoms

Methods

packRep :: PackRep (Stored Uint16)

Packable (Stored Uint32)

Defined in Ivory.Serialize.Atoms

Methods

packRep :: PackRep (Stored Uint32)

Packable (Stored Uint64)

Defined in Ivory.Serialize.Atoms

Methods

packRep :: PackRep (Stored Uint64)

Packable (Stored Sint8)

Defined in Ivory.Serialize.Atoms

Methods

packRep :: PackRep (Stored Sint8)

Packable (Stored Sint16)

Defined in Ivory.Serialize.Atoms

Methods

packRep :: PackRep (Stored Sint16)

Packable (Stored Sint32)

Defined in Ivory.Serialize.Atoms

Methods

packRep :: PackRep (Stored Sint32)

Packable (Stored Sint64)

Defined in Ivory.Serialize.Atoms

Methods

packRep :: PackRep (Stored Sint64)

(ANat len, IvoryArea area, Packable area) => Packable (Array len area)

Defined in Ivory.Serialize.Atoms

Methods

packRep :: PackRep (Array len area)

data PackRep t

Constructors

PackRep

Fields

• packGetLE :: forall s0 s1 s2 r b. ConstRef s1 (CArray (Stored Uint8)) -> Uint32 -> Ref s2 t -> Ivory (Effects r b (Scope s0)) ()
• packGetBE :: forall s0 s1 s2 r b. ConstRef s1 (CArray (Stored Uint8)) -> Uint32 -> Ref s2 t -> Ivory (Effects r b (Scope s0)) ()
• packSetLE :: forall s0 s1 s2 r b. Ref s1 (CArray (Stored Uint8)) -> Uint32 -> ConstRef s2 t -> Ivory (Effects r b (Scope s0)) ()
• packSetBE :: forall s0 s1 s2 r b. Ref s1 (CArray (Stored Uint8)) -> Uint32 -> ConstRef s2 t -> Ivory (Effects r b (Scope s0)) ()
• packSize :: Integer

repack :: (IvoryArea a, IvoryZero a) => (forall s1 s2 eff. ConstRef s1 a -> Ref s2 b -> Ivory eff ()) -> (forall s1 s2 eff. ConstRef s1 b -> Ref s2 a -> Ivory eff ()) -> PackRep a -> PackRep b

repackV :: (IvoryZeroVal a, IvoryStore a, IvoryStore b) => (a -> b) -> (b -> a) -> PackRep (Stored a) -> PackRep (Stored b)

data WrappedPackRep a

Constructors

WrappedPackRep

Fields

• wrappedPackRep :: PackRep a
• wrappedPackMod :: ModuleDef

wrapPackRep :: forall a. IvoryArea a => String -> PackRep a -> WrappedPackRep a

packInto

Arguments

:: (Packable a, ANat len)

=> Ref s1 (Array len (Stored Uint8))

buf

-> Uint32

offset

-> ConstRef s2 a

value

-> Ivory (Effects r b (Scope s3)) ()

packInto'

Arguments

:: ANat len

=> PackRep a

encoding

-> Ref s1 (Array len (Stored Uint8))

buf

-> Uint32

offset

-> ConstRef s2 a

value

-> Ivory (Effects r b (Scope s3)) ()

packVInto

Arguments

:: (Packable (Stored a), ANat len, IvoryInit a)

=> Ref s1 (Array len (Stored Uint8))

buf

-> Uint32

offset

-> a

value

-> Ivory (Effects r b (Scope s2)) ()

packVInto'

Arguments

:: (ANat len, IvoryInit a)

=> PackRep (Stored a)

encoding

-> Ref s1 (Array len (Stored Uint8))

buf

-> Uint32

offset

-> a

value

-> Ivory (Effects r b (Scope s2)) ()

unpackFrom

Arguments

:: (Packable a, ANat len)

=> ConstRef s1 (Array len (Stored Uint8))

buf

-> Uint32

offset

-> Ref s2 a

value

-> Ivory (Effects r b (Scope s3)) ()

unpackFrom'

Arguments

:: ANat len

=> PackRep a

encoding

-> ConstRef s1 (Array len (Stored Uint8))

buf

-> Uint32

offset

-> Ref s2 a

value

-> Ivory (Effects r b (Scope s3)) ()

unpackVFrom

Arguments

:: (Packable (Stored a), ANat len, IvoryStore a, IvoryZeroVal a)

=> ConstRef s1 (Array len (Stored Uint8))

buf

-> Uint32

offset

-> Ivory (Effects r b (Scope s2)) a

unpackVFrom'

Arguments

:: (Packable (Stored a), ANat len, IvoryStore a, IvoryZeroVal a)

=> PackRep (Stored a)

-> ConstRef s1 (Array len (Stored Uint8))

buf

-> Uint32

offset

-> Ivory (Effects r b (Scope s2)) a

labelPackRep :: Packable t => Label sym t -> PackRep t

data PackLabel sym

packLabel :: (IvoryStruct sym, IvoryArea t, Packable t) => Label sym t -> PackLabel sym

packLabel' :: (IvoryStruct sym, IvoryArea t) => Label sym t -> PackRep t -> PackLabel sym

packStruct :: [PackLabel sym] -> PackRep (Struct sym)