Language.Haskell.Tools.AST.Base

Simple AST elements of Haskell

Documentation

data Operator dom stage

Constructors

BacktickOp

Backtick operator name: a mod b

Fields

• _operatorName :: Ann QualifiedName dom stage

NormalOp

Fields

• _operatorName :: Ann QualifiedName dom stage

Instances

type Rep (Operator dom stage)

type Rep (Operator dom stage) = D1 (MetaData "Operator" "Language.Haskell.Tools.AST.Base" "haskell-tools-ast-0.2.0.0-5y5XIph7fmGIUhHQZ35OfD" False) ((:+:) (C1 (MetaCons "BacktickOp" PrefixI True) (S1 (MetaSel (Just Symbol "_operatorName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann QualifiedName dom stage)))) (C1 (MetaCons "NormalOp" PrefixI True) (S1 (MetaSel (Just Symbol "_operatorName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann QualifiedName dom stage)))))

data Name dom stage

Constructors

ParenName

Parenthesized name: foldl (+) 0

Fields

• _simpleName :: Ann QualifiedName dom stage

NormalName

Fields

• _simpleName :: Ann QualifiedName dom stage

ImplicitName

Implicit name: ?var

Fields

• _simpleName :: Ann QualifiedName dom stage

Instances

type Rep (Name dom stage)

type Rep (Name dom stage) = D1 (MetaData "Name" "Language.Haskell.Tools.AST.Base" "haskell-tools-ast-0.2.0.0-5y5XIph7fmGIUhHQZ35OfD" False) ((:+:) (C1 (MetaCons "ParenName" PrefixI True) (S1 (MetaSel (Just Symbol "_simpleName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann QualifiedName dom stage)))) ((:+:) (C1 (MetaCons "NormalName" PrefixI True) (S1 (MetaSel (Just Symbol "_simpleName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann QualifiedName dom stage)))) (C1 (MetaCons "ImplicitName" PrefixI True) (S1 (MetaSel (Just Symbol "_simpleName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann QualifiedName dom stage))))))

data QualifiedName dom stage

Possible qualified names. Contains also implicit names. Linear implicit parameter: %x. Non-linear implicit parameter: ?x.

Constructors

QualifiedName

Fields

• _qualifiers :: AnnList UnqualName dom stage
• _unqualifiedName :: Ann UnqualName dom stage

Instances

type Rep (QualifiedName dom stage)

type Rep (QualifiedName dom stage) = D1 (MetaData "QualifiedName" "Language.Haskell.Tools.AST.Base" "haskell-tools-ast-0.2.0.0-5y5XIph7fmGIUhHQZ35OfD" False) (C1 (MetaCons "QualifiedName" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "_qualifiers") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (AnnList UnqualName dom stage))) (S1 (MetaSel (Just Symbol "_unqualifiedName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann UnqualName dom stage)))))

nameFromList :: AnnList UnqualName dom stage -> QualifiedName dom stage

data UnqualName dom stage

Parts of a qualified name.

Constructors

UnqualName

Fields

• _simpleNameStr :: String

Instances

type Rep (UnqualName dom stage)

type Rep (UnqualName dom stage) = D1 (MetaData "UnqualName" "Language.Haskell.Tools.AST.Base" "haskell-tools-ast-0.2.0.0-5y5XIph7fmGIUhHQZ35OfD" False) (C1 (MetaCons "UnqualName" PrefixI True) (S1 (MetaSel (Just Symbol "_simpleNameStr") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))

data StringNode dom stage

Program elements formatted as string literals (import packages, pragma texts)

Constructors

StringNode

Fields

• _stringNodeStr :: String

Instances

type Rep (StringNode dom stage)

type Rep (StringNode dom stage) = D1 (MetaData "StringNode" "Language.Haskell.Tools.AST.Base" "haskell-tools-ast-0.2.0.0-5y5XIph7fmGIUhHQZ35OfD" False) (C1 (MetaCons "StringNode" PrefixI True) (S1 (MetaSel (Just Symbol "_stringNodeStr") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))

data ModuleName dom stage

The name of a module

Constructors

ModuleName

Fields

• _moduleNameString :: String

Instances

type Rep (ModuleName dom stage)

type Rep (ModuleName dom stage) = D1 (MetaData "ModuleName" "Language.Haskell.Tools.AST.Base" "haskell-tools-ast-0.2.0.0-5y5XIph7fmGIUhHQZ35OfD" False) (C1 (MetaCons "ModuleName" PrefixI True) (S1 (MetaSel (Just Symbol "_moduleNameString") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))

data DataOrNewtypeKeyword dom stage

The data or the newtype keyword to define ADTs.

Constructors

DataKeyword

NewtypeKeyword

Instances

type Rep (DataOrNewtypeKeyword dom stage)

type Rep (DataOrNewtypeKeyword dom stage) = D1 (MetaData "DataOrNewtypeKeyword" "Language.Haskell.Tools.AST.Base" "haskell-tools-ast-0.2.0.0-5y5XIph7fmGIUhHQZ35OfD" False) ((:+:) (C1 (MetaCons "DataKeyword" PrefixI False) U1) (C1 (MetaCons "NewtypeKeyword" PrefixI False) U1))

data DoKind dom stage

Keywords do or mdo to start a do-block

Constructors

DoKeyword

MDoKeyword

Instances

type Rep (DoKind dom stage)

type Rep (DoKind dom stage) = D1 (MetaData "DoKind" "Language.Haskell.Tools.AST.Base" "haskell-tools-ast-0.2.0.0-5y5XIph7fmGIUhHQZ35OfD" False) ((:+:) (C1 (MetaCons "DoKeyword" PrefixI False) U1) (C1 (MetaCons "MDoKeyword" PrefixI False) U1))

data TypeKeyword dom stage

The type keyword used to qualify that the type and not the constructor of the same name is referred

Constructors

TypeKeyword

Instances

type Rep (TypeKeyword dom stage)

type Rep (TypeKeyword dom stage) = D1 (MetaData "TypeKeyword" "Language.Haskell.Tools.AST.Base" "haskell-tools-ast-0.2.0.0-5y5XIph7fmGIUhHQZ35OfD" False) (C1 (MetaCons "TypeKeyword" PrefixI False) U1)

data OverlapPragma dom stage

Recognised overlaps for overlap pragmas. Can be applied to class declarations and class instance declarations.

Constructors

EnableOverlap

OVERLAP pragma

DisableOverlap

NO_OVERLAP pragma

Overlappable

OVERLAPPABLE pragma

Overlapping

OVERLAPPING pragma

Overlaps

OVERLAPS pragma

IncoherentOverlap

INCOHERENT pragma

Instances

type Rep (OverlapPragma dom stage)

type Rep (OverlapPragma dom stage) = D1 (MetaData "OverlapPragma" "Language.Haskell.Tools.AST.Base" "haskell-tools-ast-0.2.0.0-5y5XIph7fmGIUhHQZ35OfD" False) ((:+:) ((:+:) (C1 (MetaCons "EnableOverlap" PrefixI False) U1) ((:+:) (C1 (MetaCons "DisableOverlap" PrefixI False) U1) (C1 (MetaCons "Overlappable" PrefixI False) U1))) ((:+:) (C1 (MetaCons "Overlapping" PrefixI False) U1) ((:+:) (C1 (MetaCons "Overlaps" PrefixI False) U1) (C1 (MetaCons "IncoherentOverlap" PrefixI False) U1))))

data CallConv dom stage

Call conventions of foreign functions

Constructors

StdCall

CCall

CPlusPlus

DotNet

Jvm

Js

JavaScript

CApi

Instances

type Rep (CallConv dom stage)

type Rep (CallConv dom stage) = D1 (MetaData "CallConv" "Language.Haskell.Tools.AST.Base" "haskell-tools-ast-0.2.0.0-5y5XIph7fmGIUhHQZ35OfD" False) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "StdCall" PrefixI False) U1) (C1 (MetaCons "CCall" PrefixI False) U1)) ((:+:) (C1 (MetaCons "CPlusPlus" PrefixI False) U1) (C1 (MetaCons "DotNet" PrefixI False) U1))) ((:+:) ((:+:) (C1 (MetaCons "Jvm" PrefixI False) U1) (C1 (MetaCons "Js" PrefixI False) U1)) ((:+:) (C1 (MetaCons "JavaScript" PrefixI False) U1) (C1 (MetaCons "CApi" PrefixI False) U1))))

data ArrowAppl dom stage

Constructors

LeftAppl

Left arrow application: -<

RightAppl

Right arrow application: >-

LeftHighApp

Left arrow high application: -<<

RightHighApp

Right arrow high application: >>-

Instances

type Rep (ArrowAppl dom stage)

type Rep (ArrowAppl dom stage) = D1 (MetaData "ArrowAppl" "Language.Haskell.Tools.AST.Base" "haskell-tools-ast-0.2.0.0-5y5XIph7fmGIUhHQZ35OfD" False) ((:+:) ((:+:) (C1 (MetaCons "LeftAppl" PrefixI False) U1) (C1 (MetaCons "RightAppl" PrefixI False) U1)) ((:+:) (C1 (MetaCons "LeftHighApp" PrefixI False) U1) (C1 (MetaCons "RightHighApp" PrefixI False) U1)))

data Safety dom stage

Safety annotations for foreign calls

Constructors

Safe

ThreadSafe

Unsafe

Interruptible

Instances

type Rep (Safety dom stage)

type Rep (Safety dom stage) = D1 (MetaData "Safety" "Language.Haskell.Tools.AST.Base" "haskell-tools-ast-0.2.0.0-5y5XIph7fmGIUhHQZ35OfD" False) ((:+:) ((:+:) (C1 (MetaCons "Safe" PrefixI False) U1) (C1 (MetaCons "ThreadSafe" PrefixI False) U1)) ((:+:) (C1 (MetaCons "Unsafe" PrefixI False) U1) (C1 (MetaCons "Interruptible" PrefixI False) U1)))

data Assoc dom stage

Associativity of an operator.

Constructors

AssocNone

non-associative operator (declared with infix)

AssocLeft

left-associative operator (declared with infixl)

AssocRight

right-associative operator (declared with infixr)

Instances

type Rep (Assoc dom stage)

type Rep (Assoc dom stage) = D1 (MetaData "Assoc" "Language.Haskell.Tools.AST.Base" "haskell-tools-ast-0.2.0.0-5y5XIph7fmGIUhHQZ35OfD" False) ((:+:) (C1 (MetaCons "AssocNone" PrefixI False) U1) ((:+:) (C1 (MetaCons "AssocLeft" PrefixI False) U1) (C1 (MetaCons "AssocRight" PrefixI False) U1)))

data Role dom stage

Constructors

Nominal

Representational

Phantom

Instances

type Rep (Role dom stage)

type Rep (Role dom stage) = D1 (MetaData "Role" "Language.Haskell.Tools.AST.Base" "haskell-tools-ast-0.2.0.0-5y5XIph7fmGIUhHQZ35OfD" False) ((:+:) (C1 (MetaCons "Nominal" PrefixI False) U1) ((:+:) (C1 (MetaCons "Representational" PrefixI False) U1) (C1 (MetaCons "Phantom" PrefixI False) U1)))

data ConlikeAnnot dom stage

Constructors

ConlikeAnnot

Instances

type Rep (ConlikeAnnot dom stage)

type Rep (ConlikeAnnot dom stage) = D1 (MetaData "ConlikeAnnot" "Language.Haskell.Tools.AST.Base" "haskell-tools-ast-0.2.0.0-5y5XIph7fmGIUhHQZ35OfD" False) (C1 (MetaCons "ConlikeAnnot" PrefixI False) U1)

data Precedence dom stage

Numeric precedence of an operator

Constructors

Precedence

Fields

• _precedenceValue :: Int

Instances

type Rep (Precedence dom stage)

type Rep (Precedence dom stage) = D1 (MetaData "Precedence" "Language.Haskell.Tools.AST.Base" "haskell-tools-ast-0.2.0.0-5y5XIph7fmGIUhHQZ35OfD" False) (C1 (MetaCons "Precedence" PrefixI True) (S1 (MetaSel (Just Symbol "_precedenceValue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))

data LineNumber dom stage

Constructors

LineNumber

Fields

• _lineNumber :: Int

Instances

type Rep (LineNumber dom stage)

type Rep (LineNumber dom stage) = D1 (MetaData "LineNumber" "Language.Haskell.Tools.AST.Base" "haskell-tools-ast-0.2.0.0-5y5XIph7fmGIUhHQZ35OfD" False) (C1 (MetaCons "LineNumber" PrefixI True) (S1 (MetaSel (Just Symbol "_lineNumber") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))

data PhaseControl dom stage

Controls the activation of a rewrite rule ( [1] )

Constructors

PhaseControl

Fields

• _phaseUntil :: AnnMaybe PhaseInvert dom stage
• _phaseNumber :: Ann PhaseNumber dom stage

Instances

type Rep (PhaseControl dom stage)

type Rep (PhaseControl dom stage) = D1 (MetaData "PhaseControl" "Language.Haskell.Tools.AST.Base" "haskell-tools-ast-0.2.0.0-5y5XIph7fmGIUhHQZ35OfD" False) (C1 (MetaCons "PhaseControl" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "_phaseUntil") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (AnnMaybe PhaseInvert dom stage))) (S1 (MetaSel (Just Symbol "_phaseNumber") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann PhaseNumber dom stage)))))

data PhaseNumber dom stage

Phase number for rewrite rules

Constructors

PhaseNumber

Fields

• _phaseNum :: Integer

Instances

type Rep (PhaseNumber dom stage)

type Rep (PhaseNumber dom stage) = D1 (MetaData "PhaseNumber" "Language.Haskell.Tools.AST.Base" "haskell-tools-ast-0.2.0.0-5y5XIph7fmGIUhHQZ35OfD" False) (C1 (MetaCons "PhaseNumber" PrefixI True) (S1 (MetaSel (Just Symbol "_phaseNum") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)))

data PhaseInvert dom stage

A tilde that marks the inversion of the phase number

Constructors

PhaseInvert

Instances

type Rep (PhaseInvert dom stage)

type Rep (PhaseInvert dom stage) = D1 (MetaData "PhaseInvert" "Language.Haskell.Tools.AST.Base" "haskell-tools-ast-0.2.0.0-5y5XIph7fmGIUhHQZ35OfD" False) (C1 (MetaCons "PhaseInvert" PrefixI False) U1)