| Safe Haskell | None |
|---|
HERMIT.Dictionary.New
- externals :: [External]
- isVar :: (ExtendPath c Crumb, AddBindings c, MonadCatch m) => Name -> Translate c m CoreExpr ()
- progNonRecIntroR :: String -> CoreString -> RewriteH CoreProg
- letNonRecIntroR :: String -> CoreString -> RewriteH CoreExpr
Documentation
isVar :: (ExtendPath c Crumb, AddBindings c, MonadCatch m) => Name -> Translate c m CoreExpr ()Source
Test if the current expression is an identifier matching the given name.
progNonRecIntroR :: String -> CoreString -> RewriteH CoreProgSource
prog ==> ProgCons (v = e) prog
letNonRecIntroR :: String -> CoreString -> RewriteH CoreExprSource
body ==> let v = e in body