Module FlatCurry.Typed.Conversion

This module can convert TypedFlatCurry to AnnotatedFlatCurry with type annotations.

Author: Kai-Oliver Prott

Version: June 2018

Summary of exported operations:

toAnnotatedFlatCurry :: TProg -> AProg TypeExpr  Deterministic 
Converts a TypedFlatCurry programm into AnnotatedFlatCurry with type-annotations

Exported operations:

toAnnotatedFlatCurry :: TProg -> AProg TypeExpr  Deterministic 

Converts a TypedFlatCurry programm into AnnotatedFlatCurry with type-annotations