 | Haskell Hierarchical Libraries (haskell-src package) | Contents | Index |
|
| Language.Haskell.Syntax | | Portability | portable | | Stability | experimental | | Maintainer | libraries@haskell.org |
|
|
|
|
|
| Description |
A suite of datatypes describing the abstract syntax of Haskell 98
http://www.haskell.org/onlinereport/ plus a few extensions:
- multi-parameter type classes
- parameters of type class assertions are unrestricted
This module has been changed so that show is a real show.
For GHC, we also derive Typeable and Data for all types.
|
|
| Synopsis |
|
|
|
|
| Modules
|
|
| data HsModule |
| A Haskell source module.
| | Constructors | |  Instances | |
|
|
| data HsExportSpec |
| 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.
|
| | Instances | |
|
|
| data HsImportDecl |
| 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.
|
|
| | Instances | |
|
|
| data HsImportSpec |
| 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.
|
| | Instances | |
|
|
| data HsAssoc |
| 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)
|
| | Instances | |
|
|
| Declarations
|
|
| data HsDecl |
| Constructors | | | Instances | |
|
|
| data HsConDecl |
| Declaration of a data constructor.
| | Constructors | | | Instances | |
|
|
| data HsBangType |
| 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
|
| | Instances | |
|
|
| data HsMatch |
| Clauses of a function binding.
| | Constructors | | | Instances | |
|
|
| data HsRhs |
| 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)
|
| | Instances | |
|
|
| data HsGuardedRhs |
| A guarded right hand side | exp = exp.
The first expression will be Boolean-valued.
| | Constructors | | | Instances | |
|
|
| Class Assertions and Contexts
|
|
| data HsQualType |
| A type qualified with a context.
An unqualified type has an empty context.
| | Constructors | | | Instances | |
|
|
| type HsContext = [HsAsst] |
|
| type HsAsst = (HsQName, [HsType]) |
| Class assertions.
In Haskell 98, the argument would be a tyvar, but this definition
allows multiple parameters, and allows them to be types.
|
|
| Types
|
|
| data HsType |
| Haskell types and type constructors.
| | Constructors | | | Instances | |
|
|
| Expressions
|
|
| data HsExp |
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 | | | Instances | |
|
|
| data HsStmt |
| 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
|
| | Instances | |
|
|
| data HsFieldUpdate |
| An fbind in a labeled record construction or update expression.
| | Constructors | | | Instances | |
|
|
| data HsAlt |
| An alt in a case expression.
| | Constructors | | | Instances | |
|
|
| data HsGuardedAlts |
| Constructors | | | Instances | |
|
|
| data HsGuardedAlt |
| A guarded alternative | exp -> exp.
The first expression will be Boolean-valued.
| | Constructors | | | Instances | |
|
|
| Patterns
|
|
| data HsPat |
| A pattern, to be matched against a value.
| | Constructors | | | Instances | |
|
|
| data HsPatField |
| An fpat in a labeled record pattern.
| | Constructors | | | Instances | |
|
|
| Literals
|
|
| data HsLiteral |
| 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
|
| | Instances | |
|
|
| Variables, Constructors and Operators
|
|
| newtype Module |
| The name of a Haskell module.
| | Constructors | | | Instances | |
|
|
| data HsQName |
| This type is used to represent qualified variables, and also
qualified constructors.
| | Constructors | | | Instances | |
|
|
| data HsName |
| This type is used to represent variables, and also constructors.
| | Constructors | | HsIdent String | varid or conid
| | HsSymbol String | varsym or consym
|
| | Instances | |
|
|
| data HsQOp |
| Possibly qualified infix operators (qop), appearing in expressions.
| | Constructors | | HsQVarOp HsQName | variable operator (qvarop)
| | HsQConOp HsQName | constructor operator (qconop)
|
| | Instances | |
|
|
| data HsOp |
| Operators, appearing in infix declarations.
| | Constructors | | HsVarOp HsName | variable operator (varop)
| | HsConOp HsName | constructor operator (conop)
|
| | Instances | |
|
|
| data HsSpecialCon |
| 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 (:)
|
| | Instances | |
|
|
| data HsCName |
| 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
|
| | Instances | |
|
|
| Builtin names
|
|
| Modules
|
|
| prelude_mod :: Module |
|
| main_mod :: Module |
|
| Main function of a program
|
|
| main_name :: HsName |
|
| Constructors
|
|
| unit_con_name :: HsQName |
|
| tuple_con_name :: Int -> HsQName |
|
| list_cons_name :: HsQName |
|
| unit_con :: HsExp |
|
| tuple_con :: Int -> HsExp |
|
| Special identifiers
|
|
| as_name :: HsName |
|
| qualified_name :: HsName |
|
| hiding_name :: HsName |
|
| minus_name :: HsName |
|
| pling_name :: HsName |
|
| Type constructors
|
|
| unit_tycon_name :: HsQName |
|
| fun_tycon_name :: HsQName |
|
| list_tycon_name :: HsQName |
|
| tuple_tycon_name :: Int -> HsQName |
|
| unit_tycon :: HsType |
|
| fun_tycon :: HsType |
|
| list_tycon :: HsType |
|
| tuple_tycon :: Int -> HsType |
|
| Source coordinates
|
|
| data SrcLoc |
| A position in the source.
| | Constructors | | | Instances | |
|
|
| Produced by Haddock version 0.7 |