curry-frontend-1.0.4: Compile the functional logic language Curry to several intermediate formats

Copyright(c) 2011 Björn Peemöller
2017 Finn Teegen
2018 Kai-Oliver Prott
LicenseBSD-3-clause
Maintainerfte@informatik.uni-kiel.de
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

Generators

Description

This module subsumes the different code generators.

Synopsis

Documentation

genTypedAbstractCurry :: CompilerEnv -> Module PredType -> CurryProg Source #

Generate typed AbstractCurry

genUntypedAbstractCurry :: CompilerEnv -> Module PredType -> CurryProg Source #

Generate untyped AbstractCurry

genTypedFlatCurry :: CompilerEnv -> Module Type -> Module -> TProg Source #

Generate typed FlatCurry

genTypeAnnotatedFlatCurry :: CompilerEnv -> Module Type -> Module -> AProg TypeExpr Source #

Generate type-annotated FlatCurry

genFlatCurry :: TProg -> Prog Source #

Generate FlatCurry

genFlatInterface :: Prog -> Prog Source #

Generate a FlatCurry interface