Safe Haskell	None
Language	Haskell2010

Unison.Runtime.ANF.Serialize

Synopsis

data Version
- = Transfer Word32
- | Hash Word32
index :: Eq v => [v] -> v -> Maybe Word64
deindex :: HasCallStack => [v] -> Word64 -> v
pushCtx :: [v] -> [v] -> [v]
putIndex :: Word64 -> Builder
getIndex :: forall (m :: Type -> Type). PrimBase m => Get m Word64
putVar :: Eq v => [v] -> v -> Builder
getVar :: forall (m :: Type -> Type) v. PrimBase m => [v] -> Get m v
putArgs :: Eq v => [v] -> [v] -> Builder
getArgs :: forall (m :: Type -> Type) v. PrimBase m => [v] -> Get m [v]
putCCs :: [Mem] -> Builder
getCCs :: forall (m :: Type -> Type). PrimBase m => Get m [Mem]
putGroup :: Var v => Map Reference Word64 -> Bool -> SuperGroup Reference v -> Builder
getGroup :: forall (m :: Type -> Type) v. (PrimBase m, Var v) => GDeserial m (SuperGroup Reference v)
putCode :: Bool -> Code Reference -> Builder
getCode :: forall (m :: Type -> Type). PrimBase m => GDeserial m (Code Reference)
putInlineInfo :: Var v => [v] -> InlineInfo Reference v -> Builder
getInlineInfo :: forall (m :: Type -> Type) v. (PrimBase m, Var v) => [v] -> Word64 -> GDeserial m (InlineInfo Reference v)
putInlineExpr :: Var v => [v] -> ANormal Reference v -> Builder
getInlineExpr :: forall (m :: Type -> Type) v. (PrimBase m, Var v) => [v] -> Word64 -> GDeserial m (ANormal Reference v)
putOptInfos :: Var v => OptInfos Reference v -> Builder
getOptInfos :: forall (m :: Type -> Type) v. (PrimBase m, Var v) => Get m (OptInfos Reference v)
putInlineClass :: InlineClass -> Builder
getInlineClass :: forall (m :: Type -> Type). PrimBase m => Get m InlineClass
putCacheability :: Cacheability -> Builder
getCacheability :: forall (m :: Type -> Type). PrimBase m => GDeserial m Cacheability
putComb :: Var v => Map Reference Word64 -> Bool -> [v] -> SuperNormal Reference v -> Builder
getFresh :: Var v => Word64 -> v
getComb :: forall (m :: Type -> Type) v. (PrimBase m, Var v) => [v] -> Word64 -> GDeserial m (SuperNormal Reference v)
putNormal :: Var v => Map Reference Word64 -> Bool -> [v] -> ANormal Reference v -> Builder
getNormal :: forall (m :: Type -> Type) v. (PrimBase m, Var v) => [v] -> Word64 -> GDeserial m (ANormal Reference v)
putFunc :: Var v => Map Reference Word64 -> Bool -> [v] -> Func Reference v -> Builder
getFunc :: forall (m :: Type -> Type) v. (PrimBase m, Var v) => [v] -> GDeserial m (Func Reference v)
putFOp :: ForeignFunc -> Builder
getFOp :: forall (m :: Type -> Type). PrimBase m => Get m ForeignFunc
putPOp :: POp -> Builder
getPOp :: forall (m :: Type -> Type). PrimBase m => Get m POp
putLit :: Lit Reference -> Builder
getLit :: forall (m :: Type -> Type). PrimBase m => Get m (Lit Reference)
putBLit :: Version -> BLit Reference -> Builder
putAsMap :: Version -> [(Value Reference, Value Reference)] -> Builder
getBLit :: forall (m :: Type -> Type). PrimBase m => GDeserial m (BLit Reference)
putRefs :: [Reference] -> Builder
getRefs :: forall (m :: Type -> Type). PrimBase m => Get m [Reference]
putBranches :: Var v => Map Reference Word64 -> Bool -> [v] -> Branched Reference (ANormal Reference v) -> Builder
getBranches :: forall (m :: Type -> Type) v. (PrimBase m, Var v) => [v] -> Word64 -> GDeserial m (Branched Reference (ANormal Reference v))
putCase :: Var v => Map Reference Word64 -> Bool -> [v] -> ([Mem], ANormal Reference v) -> Builder
getCase :: forall (m :: Type -> Type) v. (PrimBase m, Var v) => [v] -> Word64 -> GDeserial m ([Mem], ANormal Reference v)
putCTag :: CTag -> Builder
getCTag :: forall (m :: Type -> Type). PrimBase m => Get m CTag
putGroupRef :: GroupRef Reference -> Builder
getGroupRef :: forall (m :: Type -> Type). PrimBase m => Get m (GroupRef Reference)
putValue :: Version -> Value Reference -> Builder
getValue :: forall (m :: Type -> Type). PrimBase m => GDeserial m (Value Reference)
putCont :: Version -> Cont Reference -> Builder
getCont :: forall (m :: Type -> Type). PrimBase m => GDeserial m (Cont Reference)
deserializeCode :: ByteString -> IO (Either String (Referenced Code))
serializeCode :: Bool -> Referenced Code -> ByteString
serializeCodeWithVersion :: Word64 -> Bool -> Referenced Code -> IO (Either String ByteString)
serializeGroupForRehash :: Var v => Reference -> SuperGroup Reference v -> ByteString
getVersionedValue :: forall (m :: Type -> Type). PrimBase m => Get m (Referenced Value)
deserializeValue :: ByteString -> IO (Either String (Referenced Value))
serializeValue :: Referenced Value -> ByteString
serializeValueWithVersion :: Word64 -> Referenced Value -> IO ByteString
serializeValueForHash :: Value Reference -> ByteString
getGroupCurrent :: forall (m :: Type -> Type) v. (PrimBase m, Var v) => Get m (SuperGroup Reference v)
type GDeserial (m :: Type -> Type) a = (Version, Bool) -> Get m a
type DeserialIO a = (Version, Bool) -> Get IO a
type DeserialST s a = (Version, Bool) -> Get (ST s) a
valueToCode :: Version -> Version
valueVersion :: Word32
codeVersion :: Word32

Documentation

data Version Source #

Constructors

Transfer Word32
Hash Word32

Instances

Instances details

Show Version Source #
Instance details Defined in Unison.Runtime.ANF.Serialize Methods showsPrec :: Int -> Version -> ShowS # show :: Version -> String # showList :: [Version] -> ShowS #

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

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

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

putIndex :: Word64 -> Builder Source #

getIndex :: forall (m :: Type -> Type). PrimBase m => Get m Word64 Source #

putVar :: Eq v => [v] -> v -> Builder Source #

getVar :: forall (m :: Type -> Type) v. PrimBase m => [v] -> Get m v Source #

putArgs :: Eq v => [v] -> [v] -> Builder Source #

getArgs :: forall (m :: Type -> Type) v. PrimBase m => [v] -> Get m [v] Source #

putCCs :: [Mem] -> Builder Source #

getCCs :: forall (m :: Type -> Type). PrimBase m => Get m [Mem] Source #

putGroup :: Var v => Map Reference Word64 -> Bool -> SuperGroup Reference v -> Builder Source #

getGroup :: forall (m :: Type -> Type) v. (PrimBase m, Var v) => GDeserial m (SuperGroup Reference v) Source #

putCode :: Bool -> Code Reference -> Builder Source #

getCode :: forall (m :: Type -> Type). PrimBase m => GDeserial m (Code Reference) Source #

putInlineInfo :: Var v => [v] -> InlineInfo Reference v -> Builder Source #

getInlineInfo :: forall (m :: Type -> Type) v. (PrimBase m, Var v) => [v] -> Word64 -> GDeserial m (InlineInfo Reference v) Source #

putInlineExpr :: Var v => [v] -> ANormal Reference v -> Builder Source #

getInlineExpr :: forall (m :: Type -> Type) v. (PrimBase m, Var v) => [v] -> Word64 -> GDeserial m (ANormal Reference v) Source #

putOptInfos :: Var v => OptInfos Reference v -> Builder Source #

getOptInfos :: forall (m :: Type -> Type) v. (PrimBase m, Var v) => Get m (OptInfos Reference v) Source #

putInlineClass :: InlineClass -> Builder Source #

getInlineClass :: forall (m :: Type -> Type). PrimBase m => Get m InlineClass Source #

putCacheability :: Cacheability -> Builder Source #

getCacheability :: forall (m :: Type -> Type). PrimBase m => GDeserial m Cacheability Source #

putComb :: Var v => Map Reference Word64 -> Bool -> [v] -> SuperNormal Reference v -> Builder Source #

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

getComb :: forall (m :: Type -> Type) v. (PrimBase m, Var v) => [v] -> Word64 -> GDeserial m (SuperNormal Reference v) Source #

putNormal :: Var v => Map Reference Word64 -> Bool -> [v] -> ANormal Reference v -> Builder Source #

getNormal :: forall (m :: Type -> Type) v. (PrimBase m, Var v) => [v] -> Word64 -> GDeserial m (ANormal Reference v) Source #

putFunc :: Var v => Map Reference Word64 -> Bool -> [v] -> Func Reference v -> Builder Source #

getFunc :: forall (m :: Type -> Type) v. (PrimBase m, Var v) => [v] -> GDeserial m (Func Reference v) Source #

putFOp :: ForeignFunc -> Builder Source #

getFOp :: forall (m :: Type -> Type). PrimBase m => Get m ForeignFunc Source #

putPOp :: POp -> Builder Source #

getPOp :: forall (m :: Type -> Type). PrimBase m => Get m POp Source #

putLit :: Lit Reference -> Builder Source #

getLit :: forall (m :: Type -> Type). PrimBase m => Get m (Lit Reference) Source #

putBLit :: Version -> BLit Reference -> Builder Source #

putAsMap :: Version -> [(Value Reference, Value Reference)] -> Builder Source #

getBLit :: forall (m :: Type -> Type). PrimBase m => GDeserial m (BLit Reference) Source #

putRefs :: [Reference] -> Builder Source #

getRefs :: forall (m :: Type -> Type). PrimBase m => Get m [Reference] Source #

putBranches :: Var v => Map Reference Word64 -> Bool -> [v] -> Branched Reference (ANormal Reference v) -> Builder Source #

getBranches :: forall (m :: Type -> Type) v. (PrimBase m, Var v) => [v] -> Word64 -> GDeserial m (Branched Reference (ANormal Reference v)) Source #

putCase :: Var v => Map Reference Word64 -> Bool -> [v] -> ([Mem], ANormal Reference v) -> Builder Source #

getCase :: forall (m :: Type -> Type) v. (PrimBase m, Var v) => [v] -> Word64 -> GDeserial m ([Mem], ANormal Reference v) Source #

putCTag :: CTag -> Builder Source #

getCTag :: forall (m :: Type -> Type). PrimBase m => Get m CTag Source #

putGroupRef :: GroupRef Reference -> Builder Source #

getGroupRef :: forall (m :: Type -> Type). PrimBase m => Get m (GroupRef Reference) Source #

putValue :: Version -> Value Reference -> Builder Source #

getValue :: forall (m :: Type -> Type). PrimBase m => GDeserial m (Value Reference) Source #

putCont :: Version -> Cont Reference -> Builder Source #

getCont :: forall (m :: Type -> Type). PrimBase m => GDeserial m (Cont Reference) Source #

deserializeCode :: ByteString -> IO (Either String (Referenced Code)) Source #

serializeCode :: Bool -> Referenced Code -> ByteString Source #

serializeCodeWithVersion :: Word64 -> Bool -> Referenced Code -> IO (Either String ByteString) Source #

serializeGroupForRehash :: Var v => Reference -> SuperGroup Reference 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 :: forall (m :: Type -> Type). PrimBase m => Get m (Referenced Value) Source #

deserializeValue :: ByteString -> IO (Either String (Referenced Value)) Source #

serializeValue :: Referenced Value -> ByteString Source #

serializeValueWithVersion :: Word64 -> Referenced Value -> IO ByteString Source #

serializeValueForHash :: Value Reference -> ByteString Source #

getGroupCurrent :: forall (m :: Type -> Type) v. (PrimBase m, Var v) => Get m (SuperGroup Reference v) Source #

type GDeserial (m :: Type -> Type) a = (Version, Bool) -> Get m a Source #

type DeserialIO a = (Version, Bool) -> Get IO a Source #

type DeserialST s a = (Version, Bool) -> Get (ST s) a Source #

valueToCode :: Version -> Version Source #

valueVersion :: Word32 Source #

codeVersion :: Word32 Source #