curry-frontend-0.2.5: Compile the functional logic language Curry to several intermediate formats Source code Contents Index

IL.Type

Documentation

data Module Source

Constructors Module ModuleIdent [ModuleIdent] [Decl] Instances Eq Module Show Module

data Decl Source

Constructors DataDecl QualIdent Int [ConstrDecl [Type]] NewtypeDecl QualIdent Int (ConstrDecl Type) FunctionDecl QualIdent [Ident] Type Expression ExternalDecl QualIdent CallConv String Type Instances Eq Decl Show Decl

data ConstrDecl a Source

Constructors ConstrDecl QualIdent a Instances Eq a => Eq (ConstrDecl a) Show a => Show (ConstrDecl a)

data CallConv Source

Constructors Primitive CCall Instances Eq CallConv Show CallConv

data Type Source

Constructors TypeConstructor QualIdent [Type] TypeVariable Int TypeArrow Type Type Instances Eq Type Data Type Show Type Typeable Type

data Literal Source

Constructors Char SrcRef Char Int SrcRef Integer Float SrcRef Double Instances Eq Literal Show Literal SrcRefOf Literal

data ConstrTerm Source

Constructors LiteralPattern Literal ConstructorPattern QualIdent [Ident] VariablePattern Ident Instances Eq ConstrTerm Show ConstrTerm SrcRefOf ConstrTerm

data Expression Source

Constructors Literal Literal Variable Ident Function QualIdent Int Constructor QualIdent Int Apply Expression Expression Case SrcRef Eval Expression [Alt] Or Expression Expression Exist Ident Expression Let Binding Expression Letrec [Binding] Expression Instances Eq Expression Show Expression Expr Expression

data Eval Source

Constructors Rigid Flex Instances Eq Eval Show Eval

data Alt Source

Constructors Alt ConstrTerm Expression Instances Eq Alt Show Alt Expr Alt

data Binding Source

Constructors Binding Ident Expression Instances Eq Binding Show Binding

Produced by Haddock version 2.4.2