flocc-pffb

Stabilityexperimental
Maintainerdeveloper@flocc.net
Safe HaskellNone

Compiler.Back.FromFront2

Description

For more information please see http://www.flocc.net/

Synopsis

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.