Exported names:
- Datatypes:
- TBranchExpr
- TExpr
- TFuncDecl
- TPattern
- TProg
- TRule
- Constructors:
- TBranch
- TCase
- TComb
- TExternal
- TFree
- TFunc
- TLet
- TLit
- TLPattern
- TOr
- TPattern
- TProg
- TRule
- TTyped
- TVarE
Imported modules:
- Prelude
- FlatCurry.Types

Module FlatCurry.Typed.Types

This library contains a version of FlatCurry's abstract syntax tree modified with type information

For more information about the abstract syntax tree of FlatCurry, see the documentation of the respective module.

Author: Kai-Oliver Prott

Version: June 2018

Summary of exported operations:

Exported datatypes:

TProg

Constructors:

TProg :: String -> [String] -> [TypeDecl] -> [TFuncDecl] -> [OpDecl] -> TProg

TFuncDecl

Constructors:

TFunc :: QName -> Int -> Visibility -> TypeExpr -> TRule -> TFuncDecl

TRule

Constructors:

TRule :: [(VarIndex,TypeExpr)] -> TExpr -> TRule
TExternal :: TypeExpr -> String -> TRule

TExpr

Constructors:

TVarE :: TypeExpr -> VarIndex -> TExpr
TLit :: TypeExpr -> Literal -> TExpr
TComb :: TypeExpr -> CombType -> QName -> [TExpr] -> TExpr
TLet :: [((VarIndex,TypeExpr),TExpr)] -> TExpr -> TExpr
TFree :: [(VarIndex,TypeExpr)] -> TExpr -> TExpr
TOr :: TExpr -> TExpr -> TExpr
TCase :: CaseType -> TExpr -> [TBranchExpr] -> TExpr
TTyped :: TExpr -> TypeExpr -> TExpr

TBranchExpr

Constructors:

TBranch :: TPattern -> TExpr -> TBranchExpr

TPattern

Constructors:

TPattern :: TypeExpr -> QName -> [(VarIndex,TypeExpr)] -> TPattern
TLPattern :: TypeExpr -> Literal -> TPattern

Exported operations: