Module FlatCurry.Typed.Types
- Exported Datatypes
- Exported Classes
Imported modules:
- Prelude
- FlatCurry.Types

Module FlatCurry.Typed.Types

Category

meta

Author

Kai-Oliver Prott

Version

June 2018

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.

Exported Datatypes:

TBranchExpr TExpr TFuncDecl TPattern TProg TRule

Exported Classes:

Typeable

Exported Datatypes

data TProg

Constructors:

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

Known instances:

Eq TProg
Read TProg
Show TProg

data TFuncDecl

Constructors:

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

Known instances:

Eq TFuncDecl
Read TFuncDecl
Show TFuncDecl

data TRule

Constructors:

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

Known instances:

Typeable TRule
Eq TRule
Read TRule
Show TRule

data 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

Known instances:

Typeable TExpr
Eq TExpr
Read TExpr
Show TExpr

data TBranchExpr

Constructors:

TBranch :: TPattern -> TExpr -> TBranchExpr

Known instances:

Typeable TBranchExpr
Eq TBranchExpr
Read TBranchExpr
Show TBranchExpr

data TPattern

Constructors:

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

Known instances:

Typeable TPattern
Eq TPattern
Read TPattern
Show TPattern

Exported Classes

class Typeable
                a

Methods:

typeOf :: a -> TypeExpr