Documentation

type TransState = Int Source #

type TransReader = Builtins Source #

type Translate a = (MonadState TransState a, MonadReader Builtins a) Source #

translate :: (a -> StateT TransState (Reader Builtins) b) -> Builtins -> a -> b Source #

genVar :: Translate m => Text -> m Var Source #

translateFile :: Translate m => File () -> m File Source #

translateDef :: Translate m => TermDef () -> m Definition Source #

translateExpr :: Translate m => Expr () -> m Expr Source #

translatePatterns :: Translate m => Expr -> [(Pattern, Expr ())] -> m Sub Source #

translatePattern :: Translate m => Expr -> Pattern -> m PatResult Source #

translateSub :: Translate m => Sub () -> m Sub Source #

translateStatement :: Translate m => Statement () -> m Statement Source #

translateLit :: Lit -> Lit Source #