HORIZON HASKELLDocslts/ghc-9.10.xc74966e2026-09-27Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27

Modulehaskell-src-exts-1.23.1Haskell98

Language.Haskell.Exts.Syntax

A suite of datatypes describing the (semi-concrete) abstract syntax of Haskell 98 http://www.haskell.org/onlinereport/ plus registered extensions, including:

  • multi-parameter type classes with functional dependencies (MultiParamTypeClasses, FunctionalDependencies)

  • parameters of type class assertions are unrestricted (FlexibleContexts)

  • forall types as universal and existential quantification (RankNTypes, ExistentialQuantification, etc)

  • pattern guards (PatternGuards)

  • implicit parameters (ImplicitParameters)

  • generalised algebraic data types (GADTs)

  • template haskell (TemplateHaskell)

  • empty data type declarations (EmptyDataDecls)

  • unboxed tuples (UnboxedTuples)

  • regular patterns (RegularPatterns)

  • HSP-style XML expressions and patterns (XmlSyntax)

All nodes in the syntax tree are annotated with something of a user-definable data type. When parsing, this annotation will contain information about the source location that the particular node comes from.

  • 79 types
  • 1 class
  • 49 values

Modules

11 declarations
datadata Module l
#

A complete Haskell source module.

Constructors

Instances14Functor, Foldable, Traversable, ExactP, AppFixity, Annotated, …
datadata ModuleHead l
#

The head of a module, including the name and export specification.

Constructors

Instances12Functor, Foldable, Traversable, ExactP, Annotated, Eq, …
datadata WarningText l
#

Warning text to optionally use in the module header of e.g. a deprecated module.

Constructors

Instances11Functor, Foldable, Traversable, ExactP, Annotated, Eq, …
datadata ExportSpecList l
#

An explicit export specification.

Constructors

Instances12Functor, Foldable, Traversable, ExactP, Annotated, Eq, …
datadata ExportSpec l
#

An item in a module's export specification.

Constructors

Instances12Functor, Foldable, Traversable, ExactP, Annotated, Eq, …
datadata EWildcard l
#

Indicates the position of the wildcard in an export list

Constructors

Instances10Functor, Foldable, Traversable, Annotated, Eq, Data, …
datadata ImportDecl l
#

An import declaration.

Constructors

Instances13Functor, Foldable, Traversable, ExactP, Annotated, Eq, …
datadata ImportSpecList l
#

An explicit import specification list.

Constructors

Instances12Functor, Foldable, Traversable, ExactP, Annotated, Eq, …
datadata ImportSpec l
#

An import specification, representing a single explicit item imported (or hidden) from a module.

Constructors

  • IVar l (Name l)

    variable

  • IAbs l (Namespace l) (Name l)

    T: the name of a class, datatype or type synonym.

  • IThingAll l (Name l)

    T(..): a class imported with all of its methods, or a datatype imported with all of its constructors.

  • IThingWith l (Name l) [CName l]

    T(C_1,...,C_n): a class imported with some of its methods, or a datatype imported with some of its constructors.

Instances12Functor, Foldable, Traversable, ExactP, Annotated, Eq, …
datadata Assoc l
#

Associativity of an operator.

Constructors

  • AssocNone l

    non-associative operator (declared with infix)

  • AssocLeft l

    left-associative operator (declared with infixl).

  • AssocRight l

    right-associative operator (declared with infixr)

Instances12Functor, Foldable, Traversable, ExactP, Annotated, Eq, …
datadata Namespace l
#

Namespaces for imports/exports.

Constructors

Instances12Functor, Foldable, Traversable, ExactP, Annotated, Eq, …

Declarations

9 declarations
datadata Decl l
#

A top-level declaration.

Constructors

Instances15Functor, Foldable, Traversable, ExactP, AppFixity, Annotated, …
datadata DeclHead l
#

The head of a type or class declaration, which consists of the type or class name applied to some type variables

class C a b is represented as

DHApp
   ()
   (DHApp
      () (DHead () (Ident () "C")) (UnkindedVar () (Ident () "a")))
   (UnkindedVar () (Ident () "b"))

(where the annotation type l is instantiated with ())

class (a :< b) c is represented as

DHApp
   ()
   (DHParen
      ()
      (DHApp
         ()
         (DHInfix () (UnkindedVar () (Ident () "a")) (Symbol () ":<"))
         (UnkindedVar () (Ident () "b"))))
   (UnkindedVar () (Ident () "c"))

Constructors

Instances12Functor, Foldable, Traversable, ExactP, Annotated, Eq, …
datadata InstRule l
#

The instance declaration rule, which is, roughly, the part of the instance declaration before the where keyword.

Example: instance Ord a => Ord (Maybe a) is represented as

IRule
   ()
   Nothing
   (Just
      (CxSingle
         ()
         (ClassA
            () (UnQual () (Ident () "Ord")) [ TyVar () (Ident () "a") ])))
   (IHApp
      ()
      (IHCon () (UnQual () (Ident () "Ord")))
      (TyParen
         ()
         (TyApp
            ()
            (TyCon () (UnQual () (Ident () "Maybe")))
            (TyVar () (Ident () "a")))))

An optional explicit forall after instance is supported: instance forall a . Ord a => Ord (Maybe a) where becomes

IRule
   ()
   (Just [ UnkindedVar () (Ident () "a") ])
   ...

Constructors

Instances12Functor, Foldable, Traversable, ExactP, Annotated, Eq, …
datadata InstHead l
#

The instance head. The split between rule/head allow us to represent instance (Bounded a => Bounded [a]) where faithfully.

The structure of InstHead follows one of DeclHead.

For example, instance C (Maybe a) Int where is represented as

IHApp
   ()
   (IHApp
      ()
      (IHCon () (UnQual () (Ident () "C")))
      (TyParen
         ()
         (TyApp
            ()
            (TyCon () (UnQual () (Ident () "Maybe")))
            (TyVar () (Ident () "a")))))
   (TyCon () (UnQual () (Ident () "Int")))))

Constructors

Instances12Functor, Foldable, Traversable, ExactP, Annotated, Eq, …
datadata Binds l
#

A binding group inside a let or where clause.

Constructors

Instances12Functor, Foldable, Traversable, ExactP, AppFixity, Annotated, …
datadata IPBind l
#

A binding of an implicit parameter.

Constructors

Instances14Functor, Foldable, Traversable, ExactP, AppFixity, Annotated, …
datadata PatternSynDirection l
#

Constructors

Instances10Functor, Foldable, Traversable, AppFixity, Eq, Data, …
datadata InjectivityInfo l
#

Injectivity info for injective type families

Constructors

Instances12Functor, Foldable, Traversable, ExactP, Annotated, Eq, …
datadata ResultSig l
#

Constructors

Instances12Functor, Foldable, Traversable, ExactP, Annotated, Eq, …

Type classes and instances

datadata ClassDecl l
#

Declarations inside a class declaration.

Constructors

Instances14Functor, Foldable, Traversable, ExactP, AppFixity, Annotated, …
datadata InstDecl l
#

Declarations inside an instance declaration.

Constructors

Instances14Functor, Foldable, Traversable, ExactP, AppFixity, Annotated, …
datadata Deriving l
#

A deriving clause following a data type declaration.

Constructors

Instances12Functor, Foldable, Traversable, ExactP, Annotated, Eq, …
datadata DerivStrategy l
#

Which technique the user explicitly requested when deriving an instance.

Constructors

  • DerivStock l

    GHC's "standard" strategy, which is to implement a custom instance for the data type. This only works for certain types that GHC knows about (e.g., Eq, Show, Functor when -XDeriveFunctor is enabled, etc.)

  • DerivAnyclass l
    -XDeriveAnyClass
  • DerivNewtype l
    -XGeneralizedNewtypeDeriving
  • DerivVia l (Type l)
    -XDerivingVia
Instances12Functor, Foldable, Traversable, ExactP, Annotated, Eq, …

Data type declarations

datadata DataOrNew l
#

A flag stating whether a declaration is a data or newtype declaration.

Constructors

Instances12Functor, Foldable, Traversable, ExactP, Annotated, Eq, …
datadata ConDecl l
#

Declaration of an ordinary data constructor.

Constructors

Instances12Functor, Foldable, Traversable, ExactP, Annotated, Eq, …
datadata FieldDecl l
#

Declaration of a (list of) named field(s).

Constructors

Instances12Functor, Foldable, Traversable, ExactP, Annotated, Eq, …
datadata QualConDecl l
#

A single constructor declaration within a data type declaration, which may have an existential quantification binding.

Constructors

Instances12Functor, Foldable, Traversable, ExactP, Annotated, Eq, …
datadata GadtDecl l
#

A single constructor declaration in a GADT data type declaration.

If the GADT is declared using the record syntax, e.g.

data Ty where
  TCon :: { field1 :: Int, field2 :: Bool } -> Ty

then the fields are stored as a list of FieldDecls, and the final type (Ty in the above example) is stored in the last Type field.

If the GADT is declared using the ordinary syntax, e.g.

data Ty where
  TCon :: Int -> Bool -> Ty

then Maybe [FieldDecl l] is Nothing, and the whole constructor's type (such as Int -> Bool -> Ty) is stored in the last Type field.

Constructors

Instances12Functor, Foldable, Traversable, ExactP, Annotated, Eq, …
datadata BangType l
#

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

Constructors

Instances12Functor, Foldable, Traversable, ExactP, Annotated, Eq, …
datadata Unpackedness l
#

Constructors

Instances12Functor, Foldable, Traversable, ExactP, Annotated, Eq, …

Function bindings

datadata Match l
#

Clauses of a function binding.

Constructors

  • Match l (Name l) [Pat l] (Rhs l) (Maybe (Binds l))

    A clause defined with prefix notation, i.e. the function name followed by its argument patterns, the right-hand side and an optional where clause.

  • InfixMatch l (Pat l) (Name l) [Pat l] (Rhs l) (Maybe (Binds l))

    A clause defined with infix notation, i.e. first its first argument pattern, then the function name, then its following argument(s), the right-hand side and an optional where clause. Note that there can be more than two arguments to a function declared infix, hence the list of pattern arguments.

Instances13Functor, Foldable, Traversable, ExactP, AppFixity, Annotated, …
datadata Rhs l
#

The right hand side of a function binding, pattern binding, or a case alternative.

Constructors

Instances13Functor, Foldable, Traversable, ExactP, AppFixity, Annotated, …
datadata GuardedRhs l
#

A guarded right hand side | stmts = exp, or | stmts -> exp for case alternatives. The guard is a series of statements when using pattern guards, otherwise it will be a single qualifier expression.

Constructors

Instances13Functor, Foldable, Traversable, ExactP, AppFixity, Annotated, …

Class Assertions and Contexts

3 declarations
datadata Context l
#

A context is a set of assertions

Constructors

Instances12Functor, Foldable, Traversable, ExactP, Annotated, Eq, …
datadata FunDep l
#

A functional dependency, given on the form l1 l2 ... ln -> r2 r3 .. rn

Constructors

Instances12Functor, Foldable, Traversable, ExactP, Annotated, Eq, …
datadata Asst l
#

Class assertions.

Constructors

Instances12Functor, Foldable, Traversable, ExactP, Annotated, Eq, …

Types

6 declarations
datadata Type l
#

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

Constructors

Instances13Functor, Foldable, Traversable, ExactP, Annotated, Eq, …
datadata Boxed
#

Flag denoting whether a tuple is boxed or unboxed.

BoxedUnboxed
Instances6Eq, Data, Ord, Show, Generic, Rep
  • Eq BoxedDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Data BoxedDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Ord BoxedDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Show BoxedDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Generic BoxedDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • type Rep Boxed = D1 ('MetaData "Boxed" "Language.Haskell.Exts.Syntax" "haskell-src-exts-1.23.1-DFmdx3QFAK119MdeK32KB4" 'False) (C1 ('MetaCons "Boxed" 'PrefixI 'False) U1 :+: C1 ('MetaCons "Unboxed" 'PrefixI 'False) U1)Defined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
typetype Kind = Type
#

An explicit kind annotation.

datadata TyVarBind l
#

A type variable declaration, optionally with an explicit kind annotation.

Constructors

Instances12Functor, Foldable, Traversable, ExactP, Annotated, Eq, …
datadata Promoted l
#

Bools here are True if there was a leading quote which may be left out. For example '[k1,k2] means the same thing as [k1,k2].

Constructors

Instances12Functor, Foldable, Traversable, ExactP, Annotated, Eq, …
datadata TypeEqn l
#

A type equation as found in closed type families.

Constructors

Instances12Functor, Foldable, Traversable, ExactP, Annotated, Eq, …

Expressions

6 declarations
datadata Exp l
#

Haskell expressions.

Constructors

Instances14Functor, Foldable, Traversable, ExactP, AppFixity, Annotated, …
datadata Stmt l
#

A statement, representing both a stmt in a do-expression, an ordinary qual in a list comprehension, as well as a stmt in a pattern guard.

Constructors

  • Generator l (Pat l) (Exp l)

    a generator: pat <- exp

  • Qualifier l (Exp l)

    an exp by itself: in a do-expression, an action whose result is discarded; in a list comprehension and pattern guard, a guard expression

  • LetStmt l (Binds l)

    local bindings

  • RecStmt l [Stmt l]

    a recursive binding group for arrows

Instances14Functor, Foldable, Traversable, ExactP, AppFixity, Annotated, …
datadata QualStmt l
#

A general transqual in a list comprehension, which could potentially be a transform of the kind enabled by TransformListComp.

Constructors

Instances13Functor, Foldable, Traversable, ExactP, AppFixity, Annotated, …
datadata FieldUpdate l
#

An fbind in a labeled construction or update expression.

Constructors

Instances13Functor, Foldable, Traversable, ExactP, AppFixity, Annotated, …
datadata Alt l
#

An alt alternative in a case expression.

Constructors

Instances13Functor, Foldable, Traversable, ExactP, AppFixity, Annotated, …
datadata XAttr l
#

An xml attribute, which is a name-expression pair.

Constructors

Instances13Functor, Foldable, Traversable, ExactP, AppFixity, Annotated, …

Patterns

5 declarations
datadata Pat l
#

A pattern, to be matched against a value.

Constructors

Instances14Functor, Foldable, Traversable, ExactP, AppFixity, Annotated, …
datadata PatField l
#

An fpat in a labeled record pattern.

Constructors

Instances13Functor, Foldable, Traversable, ExactP, AppFixity, Annotated, …
datadata PXAttr l
#

An XML attribute in a pattern.

Constructors

Instances13Functor, Foldable, Traversable, ExactP, AppFixity, Annotated, …
datadata RPat l
#

An entity in a regular pattern.

Constructors

Instances13Functor, Foldable, Traversable, ExactP, AppFixity, Annotated, …
datadata RPatOp l
#

A regular pattern operator.

Constructors

Instances12Functor, Foldable, Traversable, ExactP, Annotated, Eq, …

Literals

2 declarations
datadata Literal l
#

literal Values of this type hold the abstract value of the literal, along with the precise string representation used. For example, 10, 0o12 and 0xa have the same value representation, but each carry a different string representation.

Constructors

Instances12Functor, Foldable, Traversable, ExactP, Annotated, Eq, …
datadata Sign l
#

An indication whether a literal pattern has been negated or not.

Constructors

Instances11Functor, Foldable, Traversable, ExactP, Annotated, Eq, …

Variables, Constructors and Operators

11 declarations
datadata ModuleName l
#

The name of a Haskell module.

Constructors

Instances12Functor, Foldable, Traversable, ExactP, Annotated, Eq, …
datadata QName l
#

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

Constructors

Instances12Functor, Foldable, Traversable, ExactP, Annotated, Eq, …
datadata Name l
#

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

Constructors

Instances12Functor, Foldable, Traversable, ExactP, Annotated, Eq, …
datadata QOp l
#

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

Constructors

Instances12Functor, Foldable, Traversable, ExactP, Annotated, Eq, …
datadata Op l
#

Operators appearing in infix declarations are never qualified.

Constructors

Instances12Functor, Foldable, Traversable, ExactP, Annotated, Eq, …
datadata SpecialCon l
#

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

Constructors

  • UnitCon l

    unit type and data constructor ()

  • ListCon l

    list type and data constructor []

  • FunCon l

    function type constructor ->

  • TupleCon l Boxed Int

    n-ary tuple type and data constructors (,) etc, possibly boxed (#,#)

  • Cons l

    list data constructor (:)

  • UnboxedSingleCon l

    unboxed singleton tuple constructor (# #)

  • ExprHole l

    An expression hole _

Instances12Functor, Foldable, Traversable, ExactP, Annotated, Eq, …
datadata CName l
#

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

Constructors

Instances12Functor, Foldable, Traversable, ExactP, Annotated, Eq, …
datadata IPName l
#

An implicit parameter name.

Constructors

Instances12Functor, Foldable, Traversable, ExactP, Annotated, Eq, …
datadata XName l
#

The name of an xml element or attribute, possibly qualified with a namespace.

Constructors

Instances12Functor, Foldable, Traversable, ExactP, Annotated, Eq, …
datadata Role l
#

Constructors

Instances12Functor, Foldable, Traversable, ExactP, Annotated, Eq, …
datadata MaybePromotedName l
#

Constructors

Instances12Functor, Foldable, Traversable, ExactP, Annotated, Eq, …

Template Haskell

2 declarations
datadata Bracket l
#

A template haskell bracket expression.

Constructors

Instances13Functor, Foldable, Traversable, ExactP, AppFixity, Annotated, …
datadata Splice l
#

A template haskell splice expression

Constructors

Instances13Functor, Foldable, Traversable, ExactP, AppFixity, Annotated, …

FFI

2 declarations
datadata Safety l
#

The safety of a foreign function call.

Constructors

Instances12Functor, Foldable, Traversable, ExactP, Annotated, Eq, …
datadata CallConv l
#

The calling convention of a foreign function call.

Constructors

Instances12Functor, Foldable, Traversable, ExactP, Annotated, Eq, …

Pragmas

8 declarations
datadata ModulePragma l
#

A top level options pragma, preceding the module header.

Constructors

Instances13Functor, Foldable, Traversable, ExactP, Annotated, Eq, …
datadata Tool
#

Recognised tools for OPTIONS pragmas.

Constructors

Instances7Eq, Data, Ord, Show, Generic, Pretty, …
datadata Overlap l
#

Recognised overlaps for overlap pragmas.

Constructors

Instances12Functor, Foldable, Traversable, ExactP, Annotated, Eq, …
datadata Rule l
#

The body of a RULES pragma.

Constructors

Instances12Functor, Foldable, Traversable, ExactP, Annotated, Eq, …
datadata RuleVar l
#

Variables used in a RULES pragma, optionally annotated with types

Constructors

Instances12Functor, Foldable, Traversable, ExactP, Annotated, Eq, …
datadata Activation l
#

Activation clause of a RULES pragma.

Constructors

Instances12Functor, Foldable, Traversable, ExactP, Annotated, Eq, …
datadata Annotation l
#

An annotation through an ANN pragma.

Constructors

Instances13Functor, Foldable, Traversable, ExactP, AppFixity, Annotated, …
datadata BooleanFormula l
#

A boolean formula for MINIMAL pragmas.

Constructors

Instances12Functor, Foldable, Traversable, ExactP, Annotated, Eq, …

Builtin names

0 declarations

Modules

Main function of a program

Constructors

Special identifiers

Type constructors

Source coordinates

0 declarations

Annotated trees

2 declarations
classclass Functor ast => Annotated (ast :: Type -> Type) where
#

AST nodes are annotated, and this class allows manipulation of the annotations.

Methods

  • ann :: ast l -> l

    Retrieve the annotation of an AST node.

  • amap :: (l -> l) -> ast l -> ast l

    Change the annotation of an AST node. Note that only the annotation of the node itself is affected, and not the annotations of any child nodes. if all nodes in the AST tree are to be affected, use fmap.

Instances83Annotated, …
  • Annotated GuardedAltDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.ExactPrint
  • Annotated GuardedAltsDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.ExactPrint
  • Annotated PAsstDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.ParseSyntax
  • Annotated PContextDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.ParseSyntax
  • Annotated PExpDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.ParseSyntax
  • Annotated PFieldUpdateDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.ParseSyntax
  • Annotated PTypeDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.ParseSyntax
  • Annotated ParseXAttrDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.ParseSyntax
  • Annotated ActivationDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated AltDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated AnnotationDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated AssocDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated AsstDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated BangTypeDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated BindsDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated BooleanFormulaDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated BracketDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated CNameDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated CallConvDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated ClassDeclDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated ConDeclDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated ContextDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated DataOrNewDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated DeclDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated DeclHeadDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated DerivStrategyDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated DerivingDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated EWildcardDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated ExpDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated ExportSpecDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated ExportSpecListDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated FieldDeclDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated FieldUpdateDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated FunDepDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated GadtDeclDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated GuardedRhsDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated IPBindDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated IPNameDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated ImportDeclDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated ImportSpecDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated ImportSpecListDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated InjectivityInfoDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated InstDeclDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated InstHeadDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated InstRuleDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated LiteralDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated MatchDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated MaybePromotedNameDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated ModuleDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated ModuleHeadDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated ModuleNameDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated ModulePragmaDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated NameDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated NamespaceDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated OpDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated OverlapDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated PXAttrDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated PatDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated PatFieldDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated PromotedDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated QNameDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated QOpDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated QualConDeclDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated QualStmtDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated RPatDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated RPatOpDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated ResultSigDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated RhsDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated RoleDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated RuleDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated RuleVarDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated SafetyDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated SignDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated SpecialConDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated SpliceDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated StmtDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated TyVarBindDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated TypeDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated TypeEqnDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated UnpackednessDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated WarningTextDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated XAttrDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
  • Annotated XNameDefined in haskell-src-exts-1.23.1 · Language.Haskell.Exts.Syntax
value(=~=) :: (Annotated a, Eq (a ())) => a l1 -> a l2 -> Bool
#

Test if two AST elements are equal modulo annotations.