moduleName
:: ModuleIdent -> String
|
qidName
:: QualIdent -> String
|
setMIdPos
:: (Int,Int) -> ModuleIdent -> ModuleIdent
|
setIdPos
:: (Int,Int) -> Ident -> Ident
|
setQIdPos
:: (Int,Int) -> QualIdent -> QualIdent
|
isInfixOp
:: Ident -> Bool
|
Constructors:
Constructors:
QualIdent
:: (Maybe ModuleIdent) -> Ident -> QualIdent
Fields:
qidModule
:: (Maybe ModuleIdent)
qidIdent
:: Ident
Constructors:
Constructors:
KnownExtension
:: Pos -> KnownExtension -> Extension
UnknownExtension
:: Pos -> String -> Extension
Constructors:
AnonFreeVars
:: KnownExtension
FunctionalPatterns
:: KnownExtension
NegativeLiterals
:: KnownExtension
NoImplicitPrelude
:: KnownExtension
Constructors:
KICS2
:: Tool
PAKCS
:: Tool
CYMAKE
:: Tool
UnknownTool
:: String -> Tool
Constructors:
Module
:: [ModulePragma] -> ModuleIdent -> (Maybe ExportSpec) -> [ImportDecl] -> [Decl] -> Module
Constructors:
LanguagePragma
:: Pos -> [Extension] -> ModulePragma
OptionsPragma
:: Pos -> (Maybe Tool) -> String -> ModulePragma
Constructors:
Constructors:
Export
:: QualIdent -> Export
ExportTypeWith
:: QualIdent -> [Ident] -> Export
ExportTypeAll
:: QualIdent -> Export
ExportModule
:: ModuleIdent -> Export
Constructors:
ImportDecl
:: Pos -> ModuleIdent -> Qualified -> (Maybe ModuleIdent) -> (Maybe ImportSpec) -> ImportDecl
Type synonym: Qualified = Bool
Constructors:
Constructors:
Import
:: Ident -> Import
ImportTypeWith
:: Ident -> [Ident] -> Import
ImportTypeAll
:: Ident -> Import
Constructors:
Interface
:: ModuleIdent -> [IImportDecl] -> [IDecl] -> Interface
Constructors:
IImportDecl
:: Pos -> ModuleIdent -> IImportDecl
Type synonym: Arity = Int
Constructors:
IInfixDecl
:: Pos -> Infix -> Precedence -> QualIdent -> IDecl
HidingDataDecl
:: Pos -> QualIdent -> [Ident] -> IDecl
IDataDecl
:: Pos -> QualIdent -> [Ident] -> [ConstrDecl] -> [Ident] -> IDecl
INewtypeDecl
:: Pos -> QualIdent -> [Ident] -> NewConstrDecl -> [Ident] -> IDecl
ITypeDecl
:: Pos -> QualIdent -> [Ident] -> TypeExpr -> IDecl
IFunctionDecl
:: Pos -> QualIdent -> Arity -> TypeExpr -> IDecl
Constructors:
InfixDecl
:: Pos -> Infix -> (Maybe Precedence) -> [Ident] -> Decl
DataDecl
:: Pos -> Ident -> [Ident] -> [ConstrDecl] -> Decl
NewtypeDecl
:: Pos -> Ident -> [Ident] -> NewConstrDecl -> Decl
TypeDecl
:: Pos -> Ident -> [Ident] -> TypeExpr -> Decl
TypeSig
:: Pos -> [Ident] -> TypeExpr -> Decl
FunctionDecl
:: Pos -> Ident -> [Equation] -> Decl
ForeignDecl
:: Pos -> CallConv -> (Maybe String) -> Ident -> TypeExpr -> Decl
ExternalDecl
:: Pos -> [Ident] -> Decl
PatternDecl
:: Pos -> Pattern -> Rhs -> Decl
FreeDecl
:: Pos -> [Ident] -> Decl
Type synonym: Precedence = Int
Constructors:
InfixL
:: Infix
InfixR
:: Infix
Infix
:: Infix
Constructors:
ConstrDecl
:: Pos -> [Ident] -> Ident -> [TypeExpr] -> ConstrDecl
ConOpDecl
:: Pos -> [Ident] -> TypeExpr -> Ident -> TypeExpr -> ConstrDecl
RecordDecl
:: Pos -> [Ident] -> Ident -> [FieldDecl] -> ConstrDecl
Constructors:
NewConstrDecl
:: Pos -> [Ident] -> Ident -> TypeExpr -> NewConstrDecl
NewRecordDecl
:: Pos -> [Ident] -> Ident -> (Ident,TypeExpr) -> NewConstrDecl
Constructors:
Constructors:
CallConvPrimitive
:: CallConv
CallConvCCall
:: CallConv
Constructors:
ConstructorType
:: QualIdent -> [TypeExpr] -> TypeExpr
VariableType
:: Ident -> TypeExpr
TupleType
:: [TypeExpr] -> TypeExpr
ListType
:: TypeExpr -> TypeExpr
ArrowType
:: TypeExpr -> TypeExpr -> TypeExpr
ParenType
:: TypeExpr -> TypeExpr
Constructors:
Constructors:
FunLhs
:: Ident -> [Pattern] -> Lhs
OpLhs
:: Pattern -> Ident -> Pattern -> Lhs
ApLhs
:: Lhs -> [Pattern] -> Lhs
Constructors:
SimpleRhs
:: Pos -> Expression -> [Decl] -> Rhs
GuardedRhs
:: [CondExpr] -> [Decl] -> Rhs
Constructors:
CondExpr
:: Pos -> Expression -> Expression -> CondExpr
Constructors:
Char
:: Char -> Literal
Int
:: Ident -> Int -> Literal
Float
:: Float -> Literal
String
:: String -> Literal
Constructors:
LiteralPattern
:: Literal -> Pattern
NegativePattern
:: Ident -> Literal -> Pattern
VariablePattern
:: Ident -> Pattern
ConstructorPattern
:: QualIdent -> [Pattern] -> Pattern
InfixPattern
:: Pattern -> QualIdent -> Pattern -> Pattern
ParenPattern
:: Pattern -> Pattern
RecordPattern
:: QualIdent -> [Field Pattern] -> Pattern
TuplePattern
:: [Pattern] -> Pattern
ListPattern
:: [Pattern] -> Pattern
AsPattern
:: Ident -> Pattern -> Pattern
LazyPattern
:: Pattern -> Pattern
FunctionPattern
:: QualIdent -> [Pattern] -> Pattern
InfixFuncPattern
:: Pattern -> QualIdent -> Pattern -> Pattern
Constructors:
Literal
:: Literal -> Expression
Variable
:: QualIdent -> Expression
Constructor
:: QualIdent -> Expression
Paren
:: Expression -> Expression
Typed
:: Expression -> TypeExpr -> Expression
Record
:: QualIdent -> [Field Expression] -> Expression
RecordUpdate
:: Expression -> [Field Expression] -> Expression
Tuple
:: [Expression] -> Expression
List
:: [Expression] -> Expression
ListCompr
:: Expression -> [Statement] -> Expression
EnumFrom
:: Expression -> Expression
EnumFromThen
:: Expression -> Expression -> Expression
EnumFromTo
:: Expression -> Expression -> Expression
EnumFromThenTo
:: Expression -> Expression -> Expression -> Expression
UnaryMinus
:: Ident -> Expression -> Expression
Apply
:: Expression -> Expression -> Expression
InfixApply
:: Expression -> InfixOp -> Expression -> Expression
LeftSection
:: Expression -> InfixOp -> Expression
RightSection
:: InfixOp -> Expression -> Expression
Lambda
:: [Pattern] -> Expression -> Expression
Let
:: [Decl] -> Expression -> Expression
Do
:: [Statement] -> Expression -> Expression
IfThenElse
:: Expression -> Expression -> Expression -> Expression
Case
:: CaseType -> Expression -> [Alt] -> Expression
Constructors:
Constructors:
StmtExpr
:: Expression -> Statement
StmtDecl
:: [Decl] -> Statement
StmtBind
:: Pattern -> Expression -> Statement
Constructors:
Rigid
:: CaseType
Flex
:: CaseType
Constructors:
Constructors:
|
|
|