Modulehaskell-src-1.0.4.2Haskell98

Language.Haskell.Syntax

A suite of datatypes describing the abstract syntax of Haskell 98 plus a few extensions:

multi-parameter type classes
parameters of type class assertions are unrestricted

For GHC, we also derive Data for all types.

Contents

Modules
Declarations
Class Assertions and Contexts
Types
Expressions
Patterns
Literals
Variables, Constructors and Operators
Builtin names
Modules
Main function of a program
Constructors
Type constructors
Source coordinates

Synopsis

data HsModule
data HsExportSpec
data HsImportDecl
data HsImportSpec
data HsAssoc
data HsDecl
data HsConDecl
data HsBangType
data HsMatch
data HsRhs
data HsGuardedRhs
data HsSafety
data HsQualType
type HsContext
type HsAsst
data HsType
data HsExp
data HsStmt
data HsFieldUpdate
data HsAlt
data HsGuardedAlts
data HsGuardedAlt
data HsPat
data HsPatField
data HsLiteral
newtype Module
data HsQName
data HsName
data HsQOp
data HsOp
data HsSpecialCon
data HsCName
value prelude_mod
value main_mod
value main_name
value unit_con_name
value tuple_con_name
value list_cons_name
value unit_con
value tuple_con
value unit_tycon_name
value fun_tycon_name
value list_tycon_name
value tuple_tycon_name
value unit_tycon
value fun_tycon
value list_tycon
value tuple_tycon
data SrcLoc

Packagehaskell-src-1.0.4.2
Exports49
LanguageHaskell98
LicenceBSD-3-Clause
SourceSyntax.hs

Modules

datadata HsModule

Source#

A Haskell source module.

Constructors

HsModule SrcLoc Module (Maybe [HsExportSpec]) [HsImportDecl] [HsDecl]

Instances4Eq, Data, Show, Pretty

Eq HsModuleDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Data HsModuleDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Show HsModuleDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Pretty HsModuleDefined in haskell-src-1.0.4.2 · Language.Haskell.Pretty

datadata HsExportSpec

Source#

Export specification.

Constructors

HsEVar HsQName
Variable.
HsEAbs HsQName
T: A class or datatype exported abstractly, or a type synonym.
HsEThingAll HsQName
T(..): A class exported with all of its methods, or a datatype exported with all of its constructors.
HsEThingWith HsQName [HsCName]
T(C_1,...,C_n): A class exported with some of its methods, or a datatype exported with some of its constructors.
HsEModuleContents Module
module M: Re-export a module.

Instances4Eq, Data, Show, Pretty

Eq HsExportSpecDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Data HsExportSpecDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Show HsExportSpecDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Pretty HsExportSpecDefined in haskell-src-1.0.4.2 · Language.Haskell.Pretty

datadata HsImportDecl

Source#

Import declaration.

Constructors

HsImportDecl
- importLoc :: SrcLoc
  Position of the import keyword.
- importModule :: Module
  Name of the module imported.
- importQualified :: Bool
  Imported qualified?
- importAs :: Maybe Module
  Optional alias name in an as clause.
- importSpecs :: Maybe (Bool, [HsImportSpec])
  Optional list of import specifications. The Bool is True if the names are excluded by hiding.

Instances4Eq, Data, Show, Pretty

Eq HsImportDeclDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Data HsImportDeclDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Show HsImportDeclDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Pretty HsImportDeclDefined in haskell-src-1.0.4.2 · Language.Haskell.Pretty

datadata HsImportSpec

Source#

Import specification.

Constructors

HsIVar HsName
Variable.
HsIAbs HsName
T: The name of a class, datatype or type synonym.
HsIThingAll HsName
T(..): A class imported with all of its methods, or a datatype imported with all of its constructors.
HsIThingWith HsName [HsCName]
T(C_1,...,C_n): A class imported with some of its methods, or a datatype imported with some of its constructors.

Instances4Eq, Data, Show, Pretty

Eq HsImportSpecDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Data HsImportSpecDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Show HsImportSpecDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Pretty HsImportSpecDefined in haskell-src-1.0.4.2 · Language.Haskell.Pretty

datadata HsAssoc

Source#

Associativity of an operator.

Constructors

HsAssocNone
Non-associative operator (declared with infix).
HsAssocLeft
Left-associative operator (declared with infixl).
HsAssocRight
Right-associative operator (declared with infixr).

Instances4Eq, Data, Show, Pretty

Eq HsAssocDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Data HsAssocDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Show HsAssocDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Pretty HsAssocDefined in haskell-src-1.0.4.2 · Language.Haskell.Pretty

Declarations

datadata HsDecl

Constructors

HsTypeDecl SrcLoc HsName [HsName] HsType
HsDataDecl SrcLoc HsContext HsName [HsName] [HsConDecl] [HsQName]
HsInfixDecl SrcLoc HsAssoc Int [HsOp]
HsNewTypeDecl SrcLoc HsContext HsName [HsName] HsConDecl [HsQName]
HsClassDecl SrcLoc HsContext HsName [HsName] [HsDecl]
HsInstDecl SrcLoc HsContext HsQName [HsType] [HsDecl]
HsDefaultDecl SrcLoc [HsType]
HsTypeSig SrcLoc [HsName] HsQualType
HsFunBind [HsMatch]
HsPatBind SrcLoc HsPat HsRhs [HsDecl]
HsForeignImport SrcLoc String HsSafety String HsName HsType
HsForeignExport SrcLoc String String HsName HsType

Instances4Eq, Data, Show, Pretty

Eq HsDeclDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Data HsDeclDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Show HsDeclDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Pretty HsDeclDefined in haskell-src-1.0.4.2 · Language.Haskell.Pretty

datadata HsConDecl

Source#

Declaration of a data constructor.

Constructors

HsConDecl SrcLoc HsName [HsBangType]
Ordinary data constructor.
HsRecDecl SrcLoc HsName [([HsName], HsBangType)]
Record constructor.

Instances4Eq, Data, Show, Pretty

Eq HsConDeclDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Data HsConDeclDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Show HsConDeclDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Pretty HsConDeclDefined in haskell-src-1.0.4.2 · Language.Haskell.Pretty

datadata HsBangType

Source#

The type of a constructor argument or field, optionally including a strictness annotation.

Constructors

HsBangedTy HsType
Strict component, marked with "!".
HsUnBangedTy HsType
Non-strict component.

Instances4Eq, Data, Show, Pretty

Eq HsBangTypeDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Data HsBangTypeDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Show HsBangTypeDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Pretty HsBangTypeDefined in haskell-src-1.0.4.2 · Language.Haskell.Pretty

datadata HsMatch

Source#

Clauses of a function binding.

Constructors

HsMatch SrcLoc HsName [HsPat] HsRhs [HsDecl]

Instances4Eq, Data, Show, Pretty

Eq HsMatchDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Data HsMatchDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Show HsMatchDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Pretty HsMatchDefined in haskell-src-1.0.4.2 · Language.Haskell.Pretty

datadata HsRhs

Source#

The right hand side of a function or pattern binding.

Constructors

HsUnGuardedRhs HsExp
Unguarded right hand side (exp).
HsGuardedRhss [HsGuardedRhs]
Guarded right hand side (gdrhs).

Instances4Eq, Data, Show, Pretty

Eq HsRhsDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Data HsRhsDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Show HsRhsDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Pretty HsRhsDefined in haskell-src-1.0.4.2 · Language.Haskell.Pretty

datadata HsGuardedRhs

Source#

A guarded right hand side | exp = exp. The first expression will be Boolean-valued.

Constructors

HsGuardedRhs SrcLoc HsExp HsExp

Instances4Eq, Data, Show, Pretty

Eq HsGuardedRhsDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Data HsGuardedRhsDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Show HsGuardedRhsDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Pretty HsGuardedRhsDefined in haskell-src-1.0.4.2 · Language.Haskell.Pretty

datadata HsSafety

Source#

Safety level for invoking a foreign entity.

Constructors

HsSafe
Call may generate callbacks.
HsUnsafe
Call will not generate callbacks.

Instances5Eq, Data, Ord, Show, Pretty

Eq HsSafetyDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Data HsSafetyDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Ord HsSafetyDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Show HsSafetyDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Pretty HsSafetyDefined in haskell-src-1.0.4.2 · Language.Haskell.Pretty

Class Assertions and Contexts

datadata HsQualType

Source#

A type qualified with a context. An unqualified type has an empty context.

Constructors

HsQualType HsContext HsType

Instances4Eq, Data, Show, Pretty

Eq HsQualTypeDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Data HsQualTypeDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Show HsQualTypeDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Pretty HsQualTypeDefined in haskell-src-1.0.4.2 · Language.Haskell.Pretty

typetype HsContext = [HsAsst]

typetype HsAsst = (HsQName, [HsType])

Source#

Class assertions. In Haskell 98, the argument would be a tyvar, but this definition allows multiple parameters, and allows them to be types.

Types

datadata HsType

Source#

Haskell types and type constructors.

Constructors

HsTyFun HsType HsType
Function type.
HsTyTuple [HsType]
Tuple type.
HsTyApp HsType HsType
Application of a type constructor.
HsTyVar HsName
Type variable.
HsTyCon HsQName
Named type or type constructor.

Instances4Eq, Data, Show, Pretty

Eq HsTypeDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Data HsTypeDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Show HsTypeDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Pretty HsTypeDefined in haskell-src-1.0.4.2 · Language.Haskell.Pretty

Expressions

datadata HsExp

Source#

Haskell expressions.

Notes:

Because it is difficult for parsers to distinguish patterns from expressions, they typically parse them in the same way and then check that they have the appropriate form. Hence the expression type includes some forms that are found only in patterns. After these checks, these constructors should not be used.
The parser does not take precedence and associativity into account, so it will leave HsInfixApps associated to the left.
The Pretty instance for HsExp does not add parentheses in printing.

Constructors

HsVar HsQName
Variable.
HsCon HsQName
Data constructor.
HsLit HsLiteral
Literal constant.
HsInfixApp HsExp HsQOp HsExp
Infix application.
HsApp HsExp HsExp
Ordinary application.
HsNegApp HsExp
Negation expression - exp.
HsLambda SrcLoc [HsPat] HsExp
Lambda expression.
HsLet [HsDecl] HsExp
Local declarations with let.
HsIf HsExp HsExp HsExp
If exp then exp else exp.
HsCase HsExp [HsAlt]
Case exp of alts.
HsDo [HsStmt]
Do-expression: The last statement in the list should be an expression.
HsTuple [HsExp]
Tuple expression.
HsList [HsExp]
List expression.
HsParen HsExp
Parenthesized expression.
HsLeftSection HsExp HsQOp
Left section (exp qop).
HsRightSection HsQOp HsExp
Right section (qop exp).
HsRecConstr HsQName [HsFieldUpdate]
Record construction expression.
HsRecUpdate HsExp [HsFieldUpdate]
Record update expression.
HsEnumFrom HsExp
Unbounded arithmetic sequence, incrementing by 1.
HsEnumFromTo HsExp HsExp
Bounded arithmetic sequence, incrementing by 1.
HsEnumFromThen HsExp HsExp
Unbounded arithmetic sequence, with first two elements given.
HsEnumFromThenTo HsExp HsExp HsExp
Bounded arithmetic sequence, with first two elements given.
HsListComp HsExp [HsStmt]
List comprehension.
HsExpTypeSig SrcLoc HsExp HsQualType
Expression type signature.
HsAsPat HsName HsExp
(patterns only)
HsWildCard
(patterns only)
HsIrrPat HsExp
(patterns only)

Instances4Eq, Data, Show, Pretty

Eq HsExpDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Data HsExpDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Show HsExpDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Pretty HsExpDefined in haskell-src-1.0.4.2 · Language.Haskell.Pretty

datadata HsStmt

Source#

This type represents both stmt in a do-expression, and qual in a list comprehension.

Constructors

HsGenerator SrcLoc HsPat HsExp
A generator pat <- exp.
HsQualifier HsExp
An exp by itself: in a do-expression, an action whose result is discarded; in a list comprehension, a guard expression.
HsLetStmt [HsDecl]
Local bindings.

Instances4Eq, Data, Show, Pretty

Eq HsStmtDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Data HsStmtDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Show HsStmtDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Pretty HsStmtDefined in haskell-src-1.0.4.2 · Language.Haskell.Pretty

datadata HsFieldUpdate

Source#

An fbind in a labeled record construction or update expression.

Constructors

HsFieldUpdate HsQName HsExp

Instances4Eq, Data, Show, Pretty

Eq HsFieldUpdateDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Data HsFieldUpdateDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Show HsFieldUpdateDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Pretty HsFieldUpdateDefined in haskell-src-1.0.4.2 · Language.Haskell.Pretty

datadata HsAlt

Source#

An alt in a case expression.

Constructors

HsAlt SrcLoc HsPat HsGuardedAlts [HsDecl]

Instances4Eq, Data, Show, Pretty

Eq HsAltDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Data HsAltDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Show HsAltDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Pretty HsAltDefined in haskell-src-1.0.4.2 · Language.Haskell.Pretty

datadata HsGuardedAlts

Constructors

HsUnGuardedAlt HsExp
-> exp.
HsGuardedAlts [HsGuardedAlt]
gdpat.

Instances4Eq, Data, Show, Pretty

Eq HsGuardedAltsDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Data HsGuardedAltsDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Show HsGuardedAltsDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Pretty HsGuardedAltsDefined in haskell-src-1.0.4.2 · Language.Haskell.Pretty

datadata HsGuardedAlt

Source#

A guarded alternative | exp -> exp. The first expression will be Boolean-valued.

Constructors

HsGuardedAlt SrcLoc HsExp HsExp

Instances4Eq, Data, Show, Pretty

Eq HsGuardedAltDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Data HsGuardedAltDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Show HsGuardedAltDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Pretty HsGuardedAltDefined in haskell-src-1.0.4.2 · Language.Haskell.Pretty

Patterns

datadata HsPat

Source#

A pattern, to be matched against a value.

Constructors

HsPVar HsName
Variable.
HsPLit HsLiteral
Literal constant.
HsPNeg HsPat
Negated pattern.
HsPInfixApp HsPat HsQName HsPat
Pattern with infix data constructor.
HsPApp HsQName [HsPat]
Data constructor and argument patterns.
HsPTuple [HsPat]
Tuple pattern.
HsPList [HsPat]
List pattern.
HsPParen HsPat
Parenthesized pattern.
HsPRec HsQName [HsPatField]
Labelled pattern.
HsPAsPat HsName HsPat
@-Pattern.
HsPWildCard
Wildcard pattern (_).
HsPIrrPat HsPat
Irrefutable pattern (~).

Instances4Eq, Data, Show, Pretty

Eq HsPatDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Data HsPatDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Show HsPatDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Pretty HsPatDefined in haskell-src-1.0.4.2 · Language.Haskell.Pretty

datadata HsPatField

Source#

An fpat in a labeled record pattern.

Constructors

HsPFieldPat HsQName HsPat

Instances4Eq, Data, Show, Pretty

Eq HsPatFieldDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Data HsPatFieldDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Show HsPatFieldDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Pretty HsPatFieldDefined in haskell-src-1.0.4.2 · Language.Haskell.Pretty

Literals

datadata HsLiteral

Source#

literal. Values of this type hold the abstract value of the literal, not the precise string representation used. For example, 10, 0o12 and 0xa have the same representation.

Constructors

HsChar Char
Character literal.
HsString String
String literal.
HsInt Integer
Integer literal.
HsFrac Rational
Floating point literal.
HsCharPrim Char
GHC unboxed character literal.
HsStringPrim String
GHC unboxed string literal.
HsIntPrim Integer
GHC unboxed integer literal.
HsFloatPrim Rational
GHC unboxed float literal.
HsDoublePrim Rational
GHC unboxed double literal.

Instances4Eq, Data, Show, Pretty

Eq HsLiteralDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Data HsLiteralDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Show HsLiteralDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Pretty HsLiteralDefined in haskell-src-1.0.4.2 · Language.Haskell.Pretty

Variables, Constructors and Operators

newtypenewtype Module

Source#

The name of a Haskell module.

Constructors

Module String

Instances5Eq, Data, Ord, Show, Pretty

Eq ModuleDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Data ModuleDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Ord ModuleDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Show ModuleDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Pretty ModuleDefined in haskell-src-1.0.4.2 · Language.Haskell.Pretty

datadata HsQName

Source#

This type is used to represent qualified variables, and also qualified constructors.

Constructors

Qual Module HsName
Name qualified with a module name.
UnQual HsName
Unqualified name.
Special HsSpecialCon
Built-in constructor with special syntax.

Instances5Eq, Data, Ord, Show, Pretty

Eq HsQNameDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Data HsQNameDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Ord HsQNameDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Show HsQNameDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Pretty HsQNameDefined in haskell-src-1.0.4.2 · Language.Haskell.Pretty

datadata HsName

Source#

This type is used to represent variables, and also constructors.

Constructors

HsIdent String
varid or conid.
HsSymbol String
varsym or consym.

Instances5Eq, Data, Ord, Show, Pretty

Eq HsNameDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Data HsNameDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Ord HsNameDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Show HsNameDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Pretty HsNameDefined in haskell-src-1.0.4.2 · Language.Haskell.Pretty

datadata HsQOp

Source#

Possibly qualified infix operators (qop), appearing in expressions.

Constructors

HsQVarOp HsQName
Variable operator (qvarop).
HsQConOp HsQName
Constructor operator (qconop).

Instances5Eq, Data, Ord, Show, Pretty

Eq HsQOpDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Data HsQOpDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Ord HsQOpDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Show HsQOpDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Pretty HsQOpDefined in haskell-src-1.0.4.2 · Language.Haskell.Pretty

datadata HsOp

Source#

Operators, appearing in infix declarations.

Constructors

HsVarOp HsName
Variable operator (varop).
HsConOp HsName
Constructor operator (conop).

Instances5Eq, Data, Ord, Show, Pretty

Eq HsOpDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Data HsOpDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Ord HsOpDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Show HsOpDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Pretty HsOpDefined in haskell-src-1.0.4.2 · Language.Haskell.Pretty

datadata HsSpecialCon

Source#

Constructors with special syntax. These names are never qualified, and always refer to builtin type or data constructors.

Constructors

HsUnitCon
Unit type and data constructor ().
HsListCon
List type constructor [].
HsFunCon
Function type constructor ->.
HsTupleCon Int
n-ary tuple type and data constructors (,) etc.
HsCons
List data constructor (:).

Instances4Eq, Data, Ord, Show

Eq HsSpecialConDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Data HsSpecialConDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Ord HsSpecialConDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Show HsSpecialConDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax

datadata HsCName

Source#

A name (cname) of a component of a class or data type in an import or export specification.

Constructors

HsVarName HsName
Name of a method or field.
HsConName HsName
Name of a data constructor.

Instances5Eq, Data, Ord, Show, Pretty

Eq HsCNameDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Data HsCNameDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Ord HsCNameDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Show HsCNameDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Pretty HsCNameDefined in haskell-src-1.0.4.2 · Language.Haskell.Pretty

Builtin names

Modules

valueprelude_mod :: Module

valuemain_mod :: Module

Main function of a program

valuemain_name :: HsName

Constructors

valueunit_con_name :: HsQName

valuetuple_con_name :: Int -> HsQName

valuelist_cons_name :: HsQName

valueunit_con :: HsExp

valuetuple_con :: Int -> HsExp

Type constructors

valueunit_tycon_name :: HsQName

valuefun_tycon_name :: HsQName

valuelist_tycon_name :: HsQName

valuetuple_tycon_name :: Int -> HsQName

valueunit_tycon :: HsType

valuefun_tycon :: HsType

valuelist_tycon :: HsType

valuetuple_tycon :: Int -> HsType

Source coordinates

datadata SrcLoc

Source#

A position in the source.

Constructors

SrcLoc
- srcFilename :: String
- srcLine :: Int
- srcColumn :: Int

Instances4Eq, Data, Ord, Show

Eq SrcLocDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Data SrcLocDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Ord SrcLocDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax
Show SrcLocDefined in haskell-src-1.0.4.2 · Language.Haskell.Syntax