Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.Runtime.ANF.Serialize

Synopsis

type Version = Word32
data TmTag
- = VarT
- | ForceT
- | AppT
- | HandleT
- | ShiftT
- | MatchT
- | LitT
- | NameRefT
- | NameVarT
- | LetDirT
- | LetIndT
- | BxLitT
data FnTag
- = FVarT
- | FCombT
- | FContT
- | FConT
- | FReqT
- | FPrimT
- | FForeignT
data MtTag
- = MIntT
- | MTextT
- | MReqT
- | MEmptyT
- | MDataT
- | MSumT
- | MNumT
data LtTag
- = IT
- | NT
- | FT
- | TT
- | CT
- | LMT
- | LYT
data BLTag
- = TextT
- | ListT
- | TmLinkT
- | TyLinkT
- | BytesT
- | QuoteT
- | CodeT
- | BArrT
- | PosT
- | NegT
- | CharT
- | FloatT
- | ArrT
data VaTag
- = PartialT
- | DataT
- | ContT
- | BLitT
data CoTag
- = KET
- | MarkT
- | PushT
index :: Eq v => [v] -> v -> Maybe Word64
deindex :: HasCallStack => [v] -> Word64 -> v
pushCtx :: [v] -> [v] -> [v]
putIndex :: MonadPut m => Word64 -> m ()
getIndex :: MonadGet m => m Word64
putVar :: MonadPut m => Eq v => [v] -> v -> m ()
getVar :: MonadGet m => [v] -> m v
putArgs :: MonadPut m => Eq v => [v] -> [v] -> m ()
getArgs :: MonadGet m => [v] -> m [v]
putCCs :: MonadPut m => [Mem] -> m ()
getCCs :: MonadGet m => m [Mem]
putGroup :: MonadPut m => Var v => Map Reference Word64 -> EnumMap FOp Text -> SuperGroup v -> m ()
getGroup :: MonadGet m => Var v => m (SuperGroup v)
putComb :: MonadPut m => Var v => Map Reference Word64 -> EnumMap FOp Text -> [v] -> SuperNormal v -> m ()
getFresh :: Var v => Word64 -> v
getComb :: MonadGet m => Var v => [v] -> Word64 -> m (SuperNormal v)
putNormal :: MonadPut m => Var v => Map Reference Word64 -> EnumMap FOp Text -> [v] -> ANormal v -> m ()
getNormal :: MonadGet m => Var v => [v] -> Word64 -> m (ANormal v)
putFunc :: MonadPut m => Var v => Map Reference Word64 -> EnumMap FOp Text -> [v] -> Func v -> m ()
getFunc :: MonadGet m => Var v => [v] -> m (Func v)
putPOp :: MonadPut m => POp -> m ()
getPOp :: MonadGet m => m POp
pOpCode :: POp -> Word16
pOpAssoc :: [(POp, Word16)]
pop2word :: Map POp Word16
word2pop :: Map Word16 POp
putLit :: MonadPut m => Lit -> m ()
getLit :: MonadGet m => m Lit
putBLit :: MonadPut m => BLit -> m ()
getBLit :: MonadGet m => Version -> m BLit
putRefs :: MonadPut m => [Reference] -> m ()
getRefs :: MonadGet m => m [Reference]
putBranches :: MonadPut m => Var v => Map Reference Word64 -> EnumMap FOp Text -> [v] -> Branched (ANormal v) -> m ()
getBranches :: MonadGet m => Var v => [v] -> Word64 -> m (Branched (ANormal v))
putCase :: MonadPut m => Var v => Map Reference Word64 -> EnumMap FOp Text -> [v] -> ([Mem], ANormal v) -> m ()
getCase :: MonadGet m => Var v => [v] -> Word64 -> m ([Mem], ANormal v)
putCTag :: MonadPut m => CTag -> m ()
getCTag :: MonadGet m => m CTag
putGroupRef :: MonadPut m => GroupRef -> m ()
getGroupRef :: MonadGet m => m GroupRef
putValue :: MonadPut m => Value -> m ()
getValue :: MonadGet m => Version -> m Value
putCont :: MonadPut m => Cont -> m ()
getCont :: MonadGet m => Version -> m Cont
deserializeGroup :: Var v => ByteString -> Either String (SuperGroup v)
serializeGroup :: Var v => EnumMap FOp Text -> SuperGroup v -> ByteString
serializeGroupForRehash :: Var v => EnumMap FOp Text -> Reference -> SuperGroup v -> ByteString
getVersionedValue :: MonadGet m => m Value
deserializeValue :: ByteString -> Either String Value
serializeValue :: Value -> ByteString
serializeValueLazy :: Value -> ByteString
valueVersion :: Word32
codeVersion :: Word32

Documentation

type Version = Word32 Source #

data TmTag Source #

Constructors

VarT
ForceT
AppT
HandleT
ShiftT
MatchT
LitT
NameRefT
NameVarT
LetDirT
LetIndT
BxLitT

Instances

Instances details

Tag TmTag Source #
Instance details Defined in Unison.Runtime.ANF.Serialize Methods tag2word :: TmTag -> Word8 Source # word2tag :: MonadGet m => Word8 -> m TmTag Source #

data FnTag Source #

Constructors

FVarT
FCombT
FContT
FConT
FReqT
FPrimT
FForeignT

Instances

Instances details

Tag FnTag Source #
Instance details Defined in Unison.Runtime.ANF.Serialize Methods tag2word :: FnTag -> Word8 Source # word2tag :: MonadGet m => Word8 -> m FnTag Source #

data MtTag Source #

Constructors

MIntT
MTextT
MReqT
MEmptyT
MDataT
MSumT
MNumT

Instances

Instances details

Tag MtTag Source #
Instance details Defined in Unison.Runtime.ANF.Serialize Methods tag2word :: MtTag -> Word8 Source # word2tag :: MonadGet m => Word8 -> m MtTag Source #

data LtTag Source #

Constructors

IT
NT
FT
TT
CT
LMT
LYT

Instances

Instances details

Tag LtTag Source #
Instance details Defined in Unison.Runtime.ANF.Serialize Methods tag2word :: LtTag -> Word8 Source # word2tag :: MonadGet m => Word8 -> m LtTag Source #

data BLTag Source #

Constructors

TextT
ListT
TmLinkT
TyLinkT
BytesT
QuoteT
CodeT
BArrT
PosT
NegT
CharT
FloatT
ArrT

Instances

Instances details

Tag BLTag Source #
Instance details Defined in Unison.Runtime.ANF.Serialize Methods tag2word :: BLTag -> Word8 Source # word2tag :: MonadGet m => Word8 -> m BLTag Source #

data VaTag Source #

Constructors

PartialT
DataT
ContT
BLitT

Instances

Instances details

Tag VaTag Source #
Instance details Defined in Unison.Runtime.ANF.Serialize Methods tag2word :: VaTag -> Word8 Source # word2tag :: MonadGet m => Word8 -> m VaTag Source #

data CoTag Source #

Constructors

KET
MarkT
PushT

Instances

Instances details

Tag CoTag Source #
Instance details Defined in Unison.Runtime.ANF.Serialize Methods tag2word :: CoTag -> Word8 Source # word2tag :: MonadGet m => Word8 -> m CoTag Source #

index :: Eq v => [v] -> v -> Maybe Word64 Source #

deindex :: HasCallStack => [v] -> Word64 -> v Source #

pushCtx :: [v] -> [v] -> [v] Source #

putIndex :: MonadPut m => Word64 -> m () Source #

getIndex :: MonadGet m => m Word64 Source #

putVar :: MonadPut m => Eq v => [v] -> v -> m () Source #

getVar :: MonadGet m => [v] -> m v Source #

putArgs :: MonadPut m => Eq v => [v] -> [v] -> m () Source #

getArgs :: MonadGet m => [v] -> m [v] Source #

putCCs :: MonadPut m => [Mem] -> m () Source #

getCCs :: MonadGet m => m [Mem] Source #

putGroup :: MonadPut m => Var v => Map Reference Word64 -> EnumMap FOp Text -> SuperGroup v -> m () Source #

getGroup :: MonadGet m => Var v => m (SuperGroup v) Source #

putComb :: MonadPut m => Var v => Map Reference Word64 -> EnumMap FOp Text -> [v] -> SuperNormal v -> m () Source #

getFresh :: Var v => Word64 -> v Source #

getComb :: MonadGet m => Var v => [v] -> Word64 -> m (SuperNormal v) Source #

putNormal :: MonadPut m => Var v => Map Reference Word64 -> EnumMap FOp Text -> [v] -> ANormal v -> m () Source #

getNormal :: MonadGet m => Var v => [v] -> Word64 -> m (ANormal v) Source #

putFunc :: MonadPut m => Var v => Map Reference Word64 -> EnumMap FOp Text -> [v] -> Func v -> m () Source #

getFunc :: MonadGet m => Var v => [v] -> m (Func v) Source #

putPOp :: MonadPut m => POp -> m () Source #

getPOp :: MonadGet m => m POp Source #

pOpCode :: POp -> Word16 Source #

pOpAssoc :: [(POp, Word16)] Source #

pop2word :: Map POp Word16 Source #

word2pop :: Map Word16 POp Source #

putLit :: MonadPut m => Lit -> m () Source #

getLit :: MonadGet m => m Lit Source #

putBLit :: MonadPut m => BLit -> m () Source #

getBLit :: MonadGet m => Version -> m BLit Source #

putRefs :: MonadPut m => [Reference] -> m () Source #

getRefs :: MonadGet m => m [Reference] Source #

putBranches :: MonadPut m => Var v => Map Reference Word64 -> EnumMap FOp Text -> [v] -> Branched (ANormal v) -> m () Source #

getBranches :: MonadGet m => Var v => [v] -> Word64 -> m (Branched (ANormal v)) Source #

putCase :: MonadPut m => Var v => Map Reference Word64 -> EnumMap FOp Text -> [v] -> ([Mem], ANormal v) -> m () Source #

getCase :: MonadGet m => Var v => [v] -> Word64 -> m ([Mem], ANormal v) Source #

putCTag :: MonadPut m => CTag -> m () Source #

getCTag :: MonadGet m => m CTag Source #

putGroupRef :: MonadPut m => GroupRef -> m () Source #

getGroupRef :: MonadGet m => m GroupRef Source #

putValue :: MonadPut m => Value -> m () Source #

getValue :: MonadGet m => Version -> m Value Source #

putCont :: MonadPut m => Cont -> m () Source #

getCont :: MonadGet m => Version -> m Cont Source #

deserializeGroup :: Var v => ByteString -> Either String (SuperGroup v) Source #

serializeGroup :: Var v => EnumMap FOp Text -> SuperGroup v -> ByteString Source #

serializeGroupForRehash :: Var v => EnumMap FOp Text -> Reference -> SuperGroup v -> ByteString Source #

Serializes a SuperGroup for rehashing.

Expected as arguments are some code, and the Reference that refers to it. In particular, if the code refers to itself by reference, or if the code is part of a mututally-recursive set of definitions (which have a common hash), the reference used as part of that (mutual) recursion must be supplied.

Using that reference, we find all references in the code to that connected component. In the resulting byte string, those references are instead replaced by positions in a listing of the connected component. This means that the byte string is independent of the hash used for the self reference. Only the order matters (which is determined by the Reference). Then the bytes can be re-hashed to establish a new hash for the connected component. This operation should be idempotent as long as the indexing is preserved.

Supplying a Builtin reference is not supported. Such code shouldn't be subject to rehashing.

getVersionedValue :: MonadGet m => m Value Source #

deserializeValue :: ByteString -> Either String Value Source #

serializeValue :: Value -> ByteString Source #

serializeValueLazy :: Value -> ByteString Source #

valueVersion :: Word32 Source #

codeVersion :: Word32 Source #