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 :: MonadGet m => m Word64 Source #

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

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

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

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

putCCs :: [Mem] -> Builder Source #

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

putGroup :: Var v => Bool -> SuperGroup RefNum v -> Builder Source #

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

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

getCode :: MonadGet m => m (Code RefNum) Source #

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

getCodeWithHeader :: MonadGet m => m (Referenced Code) Source #

putCacheability :: Cacheability -> Builder Source #

getCacheability :: MonadGet m => m Cacheability Source #

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

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

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

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

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

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

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

putFOp :: ForeignFunc -> Builder Source #

getFOp :: MonadGet m => m ForeignFunc Source #

putPOp :: POp -> Builder Source #

getPOp :: MonadGet m => m POp Source #

putLit :: Lit RefNum -> Builder Source #

getLit :: MonadGet m => m (Lit RefNum) Source #

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

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

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

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

putCTag :: CTag -> Builder Source #

getCTag :: MonadGet m => m CTag Source #