Documentation

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

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

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

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

putCode :: MonadPut m => Bool -> Code RefNum -> m () Source #

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

putCodeWithHeader :: MonadPut m => [Reference] -> [Reference] -> Bool -> Code RefNum -> m () Source #

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

putCacheability :: MonadPut m => Cacheability -> m () Source #

getCacheability :: MonadGet m => m Cacheability Source #

putComb :: MonadPut m => Var v => Bool -> [v] -> SuperNormal RefNum v -> m () Source #

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

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

putNormal :: MonadPut m => Var v => Bool -> [v] -> ANormal RefNum v -> m () Source #

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

putFunc :: MonadPut m => Var v => [v] -> Func RefNum v -> m () Source #

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

putFOp :: MonadPut m => ForeignFunc -> m () Source #

getFOp :: MonadGet m => m ForeignFunc 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 RefNum -> m () Source #

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

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

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

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

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

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

getCTag :: MonadGet m => m CTag Source #