flite-0.1.2: f-lite compiler, interpreter and libraries

Flite.Traversals

Documentation

funcs :: Prog -> [String]Source

onExp :: (Exp -> Exp) -> Prog -> Prog Source

onExpM :: Monad m => (Exp -> m Exp) -> Prog -> m Prog Source

fromExp :: (Exp -> [a]) -> Prog -> [a]Source

subst :: Exp -> Id -> Exp -> Exp Source

substMany :: Exp -> [(Exp, Id)] -> Exp Source

patVars :: Pat -> [Id]Source

caseAlts :: Exp -> [[Alt]]Source

freeVarsExcept :: [Id] -> Exp -> [Id]Source

freeVarsExcept' :: [Id] -> Exp -> [Id]Source

freeVars :: Exp -> [Id]Source

varRefs :: Id -> Exp -> Int Source

calls :: Exp -> [Id]Source

lookupFuncs :: Id -> Prog -> [Decl]Source

freshen :: Exp -> Fresh Exp Source

freshenPat :: Pat -> Fresh Pat Source

freshenAlt :: (Pat, Exp) -> Fresh (Pat, Exp)Source

freshBody :: ([Id], Exp) -> Fresh ([Id], Exp)Source