| Stability | experimental |
|---|---|
| Maintainer | developer@flocc.net |
| Safe Haskell | None |
Compiler.Back.FromFront2
Description
For more information please see http://www.flocc.net/
Documentation
translateTypes :: (MonadCatch m, Monad m) => IntMap Expr -> IntMap TySchemeEx -> IntMap TyTerm -> IdxMonad m (IntMap Ty)
translateTypes expEnv varTypes expTypes. Translates an environment of frontend types |into back end types.
translateTyMap :: (MonadCatch m, Monad m) => IntMap TyTerm -> FromFrontM m (IntMap Ty)
translateTyMap frontEnvTypes. Translates an environment of front end |types into, one of back end types.
translateTyEnv :: (MonadCatch m, Monad m) => TyEnv -> FromFrontM m (IntMap Ty)
translateTyEnv frontEnvTypes. Translates an environment of front end |types into, one of back end types.