Module FlatCurry.Typed.Types

Definition of data types ocurring in type-annotated FlatCurry programs.

Author: Michael Hanus

Version: May 2019

Summary of exported operations:

Exported datatypes:


TAProg

Type synonym: TAProg = AProg TypeExpr


TAFuncDecl

Type synonym: TAFuncDecl = AFuncDecl TypeExpr


TARule

Type synonym: TARule = ARule TypeExpr


TAExpr

Type synonym: TAExpr = AExpr TypeExpr


TABranchExpr

Type synonym: TABranchExpr = ABranchExpr TypeExpr


TAPattern

Type synonym: TAPattern = APattern TypeExpr


Exported operations: