Safe Haskell	None
Language	Haskell2010

Ivory.Serialize

Documentation

serializeHeader :: String Source

serializeModule :: Module Source

serializeArtifacts :: [Located Artifact] Source

class Packable a where Source

Methods

packRep :: PackRep a Source

Instances

Packable (Stored * IFloat) Source
Packable (Stored * IDouble) Source
Packable (Stored * IBool) Source
Packable (Stored * Uint8) Source
Packable (Stored * Uint16) Source
Packable (Stored * Uint32) Source
Packable (Stored * Uint64) Source
Packable (Stored * Sint8) Source
Packable (Stored * Sint16) Source
Packable (Stored * Sint32) Source
Packable (Stored * Sint64) Source
(ANat len, IvoryArea area, Packable area) => Packable (Array * len area) Source

data PackRep t Source

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 Source

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

data WrappedPackRep a Source

Constructors

WrappedPackRep
Fields wrappedPackRep :: PackRep a wrappedPackMod :: ModuleDef

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

packInto Source

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' Source

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 Source

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' Source

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 Source

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' Source

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 Source

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' Source

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 Source

data PackLabel sym Source

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

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

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