curry-frontend-0.2.5: Compile the functional logic language Curry to several intermediate formatsSource codeContentsIndex
Curry.Syntax.Type
Documentation
data Module Source
Constructors
Module ModuleIdent (Maybe ExportSpec) [Decl]
show/hide Instances
data ExportSpec Source
Constructors
Exporting Position [Export]
show/hide Instances
data Export Source
Constructors
Export QualIdent
ExportTypeWith QualIdent [Ident]
ExportTypeAll QualIdent
ExportModule ModuleIdent
show/hide Instances
data ImportSpec Source
Constructors
Importing Position [Import]
Hiding Position [Import]
show/hide Instances
data Import Source
Constructors
Import Ident
ImportTypeWith Ident [Ident]
ImportTypeAll Ident
show/hide Instances
data Decl Source
Constructors
ImportDecl Position ModuleIdent Qualified (Maybe ModuleIdent) (Maybe ImportSpec)
InfixDecl Position Infix Integer [Ident]
DataDecl Position Ident [Ident] [ConstrDecl]
NewtypeDecl Position Ident [Ident] NewConstrDecl
TypeDecl Position Ident [Ident] TypeExpr
TypeSig Position [Ident] TypeExpr
EvalAnnot Position [Ident] EvalAnnotation
FunctionDecl Position Ident [Equation]
ExternalDecl Position CallConv (Maybe String) Ident TypeExpr
FlatExternalDecl Position [Ident]
PatternDecl Position ConstrTerm Rhs
ExtraVariables Position [Ident]
show/hide Instances
data ConstrDecl Source
Constructors
ConstrDecl Position [Ident] Ident [TypeExpr]
ConOpDecl Position [Ident] TypeExpr Ident TypeExpr
show/hide Instances
data NewConstrDecl Source
Constructors
NewConstrDecl Position [Ident] Ident TypeExpr
show/hide Instances
type Qualified = BoolSource
data Infix Source
Constructors
InfixL
InfixR
Infix
show/hide Instances
data EvalAnnotation Source
Constructors
EvalRigid
EvalChoice
show/hide Instances
data CallConv Source
Constructors
CallConvPrimitive
CallConvCCall
show/hide Instances
data Interface Source
Constructors
Interface ModuleIdent [IDecl]
show/hide Instances
data IDecl Source
Constructors
IImportDecl Position ModuleIdent
IInfixDecl Position Infix Integer QualIdent
HidingDataDecl Position Ident [Ident]
IDataDecl Position QualIdent [Ident] [Maybe ConstrDecl]
INewtypeDecl Position QualIdent [Ident] NewConstrDecl
ITypeDecl Position QualIdent [Ident] TypeExpr
IFunctionDecl Position QualIdent Int TypeExpr
show/hide Instances
data TypeExpr Source
Constructors
ConstructorType QualIdent [TypeExpr]
VariableType Ident
TupleType [TypeExpr]
ListType TypeExpr
ArrowType TypeExpr TypeExpr
RecordType [([Ident], TypeExpr)] (Maybe TypeExpr)
show/hide Instances
data Equation Source
Constructors
Equation Position Lhs Rhs
show/hide Instances
data Lhs Source
Constructors
FunLhs Ident [ConstrTerm]
OpLhs ConstrTerm Ident ConstrTerm
ApLhs Lhs [ConstrTerm]
show/hide Instances
data Rhs Source
Constructors
SimpleRhs Position Expression [Decl]
GuardedRhs [CondExpr] [Decl]
show/hide Instances
data CondExpr Source
Constructors
CondExpr Position Expression Expression
show/hide Instances
flatLhs :: Lhs -> (Ident, [ConstrTerm])Source
data Literal Source
Constructors
Char SrcRef Char
Int Ident Integer
Float SrcRef Double
String SrcRef String
show/hide Instances
mk' :: ([SrcRef] -> a) -> aSource
mk :: (SrcRef -> a) -> aSource
mkInt :: Integer -> LiteralSource
data ConstrTerm Source
Constructors
LiteralPattern Literal
NegativePattern Ident Literal
VariablePattern Ident
ConstructorPattern QualIdent [ConstrTerm]
InfixPattern ConstrTerm QualIdent ConstrTerm
ParenPattern ConstrTerm
TuplePattern SrcRef [ConstrTerm]
ListPattern [SrcRef] [ConstrTerm]
AsPattern Ident ConstrTerm
LazyPattern SrcRef ConstrTerm
FunctionPattern QualIdent [ConstrTerm]
InfixFuncPattern ConstrTerm QualIdent ConstrTerm
RecordPattern [Field ConstrTerm] (Maybe ConstrTerm)
show/hide Instances
data Expression Source
Constructors
Literal Literal
Variable QualIdent
Constructor QualIdent
Paren Expression
Typed Expression TypeExpr
Tuple SrcRef [Expression]
List [SrcRef] [Expression]
ListCompr SrcRef Expression [Statement]
EnumFrom Expression
EnumFromThen Expression Expression
EnumFromTo Expression Expression
EnumFromThenTo Expression Expression Expression
UnaryMinus Ident Expression
Apply Expression Expression
InfixApply Expression InfixOp Expression
LeftSection Expression InfixOp
RightSection InfixOp Expression
Lambda SrcRef [ConstrTerm] Expression
Let [Decl] Expression
Do [Statement] Expression
IfThenElse SrcRef Expression Expression Expression
Case SrcRef Expression [Alt]
RecordConstr [Field Expression]
RecordSelection Expression Ident
RecordUpdate [Field Expression] Expression
show/hide Instances
data InfixOp Source
Constructors
InfixOp QualIdent
InfixConstr QualIdent
show/hide Instances
data Statement Source
Constructors
StmtExpr SrcRef Expression
StmtDecl [Decl]
StmtBind SrcRef ConstrTerm Expression
show/hide Instances
data Alt Source
Constructors
Alt Position ConstrTerm Rhs
show/hide Instances
data Field a Source
Constructors
Field Position Ident a
show/hide Instances
Typeable1 Field
Eq a => Eq (Field a)
Data a => Data (Field a)
Read a => Read (Field a)
Show a => Show (Field a)
QuantExpr a => QuantExpr (Field a)
QualExpr a => QualExpr (Field a)
fieldLabel :: Field a -> IdentSource
fieldTerm :: Field a -> aSource
field2Tuple :: Field a -> (Ident, a)Source
opName :: InfixOp -> QualIdentSource
type M a = a -> State Int aSource
addSrcRefs :: Module -> ModuleSource
Produced by Haddock version 2.4.2