Grin.Noodle

Documentation

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

Is a Val constant?

isNop :: Exp -> Bool

isOmittable :: Exp -> Bool

isErrOmittable :: Exp -> Bool

collectFuncs :: Exp -> (Set Atom, Set Atom)

grinLet :: [FuncDef] -> Exp -> Exp

updateLetProps :: Exp -> Exp

data ReturnInfo

Constructors

ReturnNode (Maybe Atom, [Ty])

ReturnConst Val

ReturnCalls Atom

ReturnOther

ReturnError

Instances

Eq ReturnInfo

Ord ReturnInfo

getReturnInfo :: Exp -> [ReturnInfo]

mapGrinFuncsM :: Monad m => (Atom -> Lam -> m Lam) -> Grin -> m Grin