Documentation

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

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

deindex :: HasCallStack => [v] -> Word64 -> 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 => Bool -> SuperGroup RefNum v -> Builder Source #

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

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

getCode :: forall (m :: Type -> Type). PrimBase m => Get m (Code RefNum) Source #

putCodeWithHeader :: [Reference] -> [Reference] -> Bool -> Code RefNum -> Builder Source #

getCodeWithHeader :: forall (m :: Type -> Type). PrimBase m => Get m (Referenced Code) Source #

putCacheability :: Cacheability -> Builder Source #

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

putComb :: Var v => Bool -> [v] -> SuperNormal RefNum v -> Builder Source #

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

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

putNormal :: Var v => Bool -> [v] -> ANormal RefNum v -> Builder Source #

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

putFunc :: Var v => [v] -> Func RefNum v -> Builder Source #

getFunc :: forall (m :: Type -> Type) v. (PrimBase m, Var v) => [v] -> Get m (Func RefNum 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 RefNum -> Builder Source #

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

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

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

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

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

putCTag :: CTag -> Builder Source #

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