Constructors:
Module
:: [ModulePragma] -> (Maybe Span) -> ModuleIdent -> (Maybe Span) -> (Maybe ExportSpec) -> [ImportDecl] -> [Decl] -> Module
Constructors:
LanguagePragma
:: Span -> [Extension] -> [Span] -> Span -> ModulePragma
OptionsPragma
:: Span -> (Maybe String) -> String -> Span -> ModulePragma
Constructors:
KnownExtension
:: Span -> KnownExtension -> Extension
UnknownExtension
:: Span -> String -> Extension
Constructors:
Constructors:
Export
:: SymQualIdent -> Export
ExportTypeWith
:: QualIdent -> Span -> [Ident] -> [Span] -> Span -> Export
ExportTypeAll
:: QualIdent -> Span -> Span -> Span -> Export
ExportModule
:: Span -> ModuleIdent -> Export
Constructors:
ImportDecl
:: Span -> (Maybe Span) -> ModuleIdent -> (Maybe Span) -> Qualified -> (Maybe ModuleIdent) -> (Maybe ImportSpec) -> ImportDecl
Type synonym: Qualified = Bool
Constructors:
Importing
:: Span -> [Import] -> [Span] -> Span -> ImportSpec
Hiding
:: Span -> Span -> [Import] -> [Span] -> Span -> ImportSpec
Constructors:
Import
:: SymIdent -> Import
ImportTypeWith
:: Ident -> Span -> [Ident] -> [Span] -> Span -> Import
ImportTypeAll
:: Ident -> Span -> Span -> Span -> Import
Constructors:
InfixDecl
:: Infix -> (Maybe Precedence) -> [SymIdent] -> [Span] -> Decl
DataDecl
:: Span -> Ident -> [Ident] -> (Maybe Span) -> [ConstrDecl] -> [Span] -> Decl
NewtypeDecl
:: Span -> Ident -> [Ident] -> Span -> NewConstrDecl -> Decl
TypeDecl
:: Span -> Ident -> [Ident] -> Span -> TypeExpr -> Decl
TypeSig
:: [SymIdent] -> [Span] -> Span -> TypeExpr -> Decl
FunctionDecl
:: Ident -> [Equation] -> Decl
ForeignDecl
:: Span -> CallConv -> (Maybe (Span,String)) -> SymIdent -> Span -> TypeExpr -> Decl
ExternalDecl
:: [SymIdent] -> [Span] -> Span -> Decl
PatternDecl
:: Pattern -> Rhs -> Decl
FreeDecl
:: [Ident] -> [Span] -> Span -> Decl
Type synonym: Precedence = (Span,Int)
Constructors:
Constructors:
ConstrDecl
:: [Ident] -> Ident -> [TypeExpr] -> ConstrDecl
ConOpDecl
:: [Ident] -> TypeExpr -> Ident -> TypeExpr -> ConstrDecl
RecordDecl
:: [Ident] -> Ident -> Span -> [FieldDecl] -> [Span] -> Span -> ConstrDecl
Constructors:
NewConstrDecl
:: [Ident] -> Ident -> TypeExpr -> NewConstrDecl
NewRecordDecl
:: [Ident] -> Ident -> Span -> (Ident,Span,TypeExpr) -> Span -> NewConstrDecl
Constructors:
Constructors:
Constructors:
ConstructorType
:: (Maybe Span) -> QualIdent -> [TypeExpr] -> (Maybe Span) -> TypeExpr
VariableType
:: Ident -> TypeExpr
TupleType
:: Span -> [TypeExpr] -> [Span] -> Span -> TypeExpr
ListType
:: Span -> TypeExpr -> Span -> TypeExpr
ArrowType
:: TypeExpr -> Span -> TypeExpr -> TypeExpr
ParenType
:: Span -> TypeExpr -> Span -> TypeExpr
Constructors:
Constructors:
FunLhs
:: SymIdent -> [Pattern] -> Lhs
OpLhs
:: Pattern -> SymIdent -> Pattern -> Lhs
ApLhs
:: Lhs -> [Pattern] -> Lhs
Constructors:
SimpleRhs
:: Span -> Expression -> (Maybe Span) -> [Decl] -> Rhs
GuardedRhs
:: Span -> [CondExpr] -> [Span] -> (Maybe Span) -> [Decl] -> Rhs
Constructors:
CondExpr
:: Expression -> Span -> Expression -> CondExpr
Constructors:
Char
:: Span -> Char -> Literal
Int
:: Span -> Int -> Literal
Float
:: Span -> Float -> Literal
String
:: Span -> String -> Literal
Constructors:
LiteralPattern
:: Literal -> Pattern
NegativePattern
:: Ident -> Literal -> Pattern
VariablePattern
:: Ident -> Pattern
ConstructorPattern
:: QualIdent -> [Pattern] -> Pattern
InfixPattern
:: Pattern -> QualIdent -> Pattern -> Pattern
ParenPattern
:: Span -> Pattern -> Span -> Pattern
RecordPattern
:: QualIdent -> Span -> [Field Pattern] -> [Span] -> Span -> Pattern
TuplePattern
:: Span -> [Pattern] -> [Span] -> Span -> Pattern
ListPattern
:: Span -> [Pattern] -> [Span] -> Span -> Pattern
AsPattern
:: Ident -> Span -> Pattern -> Pattern
LazyPattern
:: Span -> Pattern -> Pattern
FunctionPattern
:: QualIdent -> [Pattern] -> Pattern
InfixFuncPattern
:: Pattern -> QualIdent -> Pattern -> Pattern
Constructors:
Literal
:: Literal -> Expression
Variable
:: SymQualIdent -> Expression
Constructor
:: SymQualIdent -> Expression
Paren
:: Span -> Expression -> Span -> Expression
Typed
:: Expression -> Span -> TypeExpr -> Expression
Record
:: QualIdent -> Span -> [Field Expression] -> [Span] -> Span -> Expression
RecordUpdate
:: Expression -> Span -> [Field Expression] -> [Span] -> Span -> Expression
Tuple
:: Span -> [Expression] -> [Span] -> Span -> Expression
List
:: Span -> [Expression] -> [Span] -> Span -> Expression
ListCompr
:: Span -> Expression -> Span -> [Statement] -> [Span] -> Span -> Expression
EnumFrom
:: Span -> Expression -> Span -> Span -> Expression
EnumFromThen
:: Span -> Expression -> Span -> Expression -> Span -> Span -> Expression
EnumFromTo
:: Span -> Expression -> Span -> Expression -> Span -> Expression
EnumFromThenTo
:: Span -> Expression -> Span -> Expression -> Span -> Expression -> Span -> Expression
UnaryMinus
:: Ident -> Expression -> Expression
Apply
:: Expression -> Expression -> Expression
InfixApply
:: Expression -> InfixOp -> Expression -> Expression
LeftSection
:: Span -> Expression -> InfixOp -> Span -> Expression
RightSection
:: Span -> InfixOp -> Expression -> Span -> Expression
Lambda
:: Span -> [Pattern] -> Span -> Expression -> Expression
Let
:: Span -> [Decl] -> Span -> Expression -> Expression
Do
:: Span -> [Statement] -> Expression -> Expression
IfThenElse
:: Span -> Expression -> Span -> Expression -> Span -> Expression -> Expression
Case
:: CaseType -> Span -> Expression -> Span -> [Alt] -> Expression
Constructors:
InfixOp
:: SymQualIdent -> InfixOp
InfixConstr
:: SymQualIdent -> InfixOp
Constructors:
StmtExpr
:: Expression -> Statement
StmtDecl
:: Span -> [Decl] -> Statement
StmtBind
:: Span -> Pattern -> Expression -> Statement
Constructors:
Rigid
:: CaseType
Flex
:: CaseType
Constructors:
Constructors: