Safe Haskell | None |
---|
- modifyTail :: Lam -> Exp -> Exp
- mapBodyM :: Monad m => (Exp -> m Exp) -> Lam -> m Lam
- mapExpVal :: Monad m => (Val -> m Val) -> Exp -> m Exp
- mapValVal :: Monad m => (Val -> m Val) -> Val -> m Val
- mapValVal_ :: Monad m => (Val -> m b) -> Val -> m ()
- mapExpLam :: Monad m => (Lam -> m Lam) -> Exp -> m Exp
- mapExpExp :: Monad m => (Exp -> m Exp) -> Exp -> m Exp
- mapFBodies :: Monad m => (Exp -> m Exp) -> [FuncDef] -> m [FuncDef]
- funcDefBody_uM :: Monad m => (Lam -> m Lam) -> FuncDef -> m FuncDef
- grinFunctions_s :: [FuncDef] -> Grin -> Grin
- isManifestNode :: Monad m => Exp -> m [Atom]
- valIsConstant :: Val -> Bool
- isNop :: Exp -> Bool
- isOmittable :: Exp -> Bool
- isErrOmittable :: Exp -> Bool
- collectFuncs :: Exp -> (Set Atom, Set Atom)
- grinLet :: [FuncDef] -> Exp -> Exp
- updateLetProps :: Exp -> Exp
- data ReturnInfo
- = ReturnNode (Maybe Atom, [Ty])
- | ReturnConst Val
- | ReturnCalls Atom
- | ReturnOther
- | ReturnError
- getReturnInfo :: Exp -> [ReturnInfo]
- mapGrinFuncsM :: Monad m => (Atom -> Lam -> m Lam) -> Grin -> m Grin
Documentation
modifyTail :: Lam -> Exp -> ExpSource
mapValVal_ :: Monad m => (Val -> m b) -> Val -> m ()Source
grinFunctions_s :: [FuncDef] -> Grin -> GrinSource
isManifestNode :: Monad m => Exp -> m [Atom]Source
valIsConstant :: Val -> BoolSource
Is a Val constant?
isOmittable :: Exp -> BoolSource
isErrOmittable :: Exp -> BoolSource
updateLetProps :: Exp -> ExpSource
data ReturnInfo Source
getReturnInfo :: Exp -> [ReturnInfo]Source