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: