Safe Haskell	Safe
Language	Haskell2010

Language.Haskell.Exts.Simple.Syntax

Description

This module reexports a simplified view on Language.Haskell.Exts.Syntax. The idea is to expose datatypes like

data Name l = Ident l String | Symbol l String

using ghc's pattern synonyms:

type Name = H.Name ()
pattern Ident a = H.Ident () a
pattern Symbol a = H.Symbol () a

This works nicely for all datatypes with two exception:

ImportDecl has a record constructor. Record type synonyms are only supported ghc-8.0 and later, so for ghc-7.10 and earlier, the constructor is exported as a plain constructor, and the record fields as function.
Literal has constructors with an extra String argument that is not used by Pretty. This module uses explicitly bidirectional pattern synonyms to support this type, but support for that is only available in ghc-7.10 and later.

IMPORTANT: if you require compatiblity with ghc 7.8, you should use the functions charL, stringL etc. for constructing Literal values!

Synopsis

type Alt = Alt ()
type FieldUpdate = FieldUpdate ()
type QualStmt = QualStmt ()
type Stmt = Stmt ()
type PatField = PatField ()
type RPat = RPat ()
type RPatOp = RPatOp ()
type PXAttr = PXAttr ()
type Pat = Pat ()
type WarningText = WarningText ()
type RuleVar = RuleVar ()
type Rule = Rule ()
type Activation = Activation ()
type Overlap = Overlap ()
type ModulePragma = ModulePragma ()
type CallConv = CallConv ()
type Safety = Safety ()
type Splice = Splice ()
type Bracket = Bracket ()
type XAttr = XAttr ()
type XName = XName ()
type Exp = Exp ()
type Sign = Sign ()
type Literal = Literal ()
type Asst = Asst ()
type Context = Context ()
type FunDep = FunDep ()
type Kind = Kind ()
type TyVarBind = TyVarBind ()
type Promoted = Promoted ()
type MaybePromotedName = MaybePromotedName ()
type Type = Type ()
type GuardedRhs = GuardedRhs ()
type Rhs = Rhs ()
type Unpackedness = Unpackedness ()
type BangType = BangType ()
type InstDecl = InstDecl ()
type ClassDecl = ClassDecl ()
type GadtDecl = GadtDecl ()
type FieldDecl = FieldDecl ()
type ConDecl = ConDecl ()
type QualConDecl = QualConDecl ()
type Match = Match ()
type IPBind = IPBind ()
type Binds = Binds ()
type DerivStrategy = DerivStrategy ()
type Deriving = Deriving ()
type InstHead = InstHead ()
type InstRule = InstRule ()
type DeclHead = DeclHead ()
type ResultSig = ResultSig ()
type InjectivityInfo = InjectivityInfo ()
type DataOrNew = DataOrNew ()
type Role = Role ()
type BooleanFormula = BooleanFormula ()
type Annotation = Annotation ()
type TypeEqn = TypeEqn ()
type PatternSynDirection = PatternSynDirection ()
type Decl = Decl ()
type Assoc = Assoc ()
type ImportSpec = ImportSpec ()
type ImportSpecList = ImportSpecList ()
type ImportDecl = ImportDecl ()
type Namespace = Namespace ()
type EWildcard = EWildcard ()
type ExportSpec = ExportSpec ()
type ExportSpecList = ExportSpecList ()
type ModuleHead = ModuleHead ()
type Module = Module ()
type CName = CName ()
type Op = Op ()
type QOp = QOp ()
type IPName = IPName ()
type Name = Name ()
type QName = QName ()
type SpecialCon = SpecialCon ()
type ModuleName = ModuleName ()
pattern Alt :: Pat -> Rhs -> Maybe Binds -> Alt
pattern FieldWildcard :: FieldUpdate
pattern FieldPun :: QName -> FieldUpdate
pattern FieldUpdate :: QName -> Exp -> FieldUpdate
pattern GroupByUsing :: Exp -> Exp -> QualStmt
pattern GroupUsing :: Exp -> QualStmt
pattern GroupBy :: Exp -> QualStmt
pattern ThenBy :: Exp -> Exp -> QualStmt
pattern ThenTrans :: Exp -> QualStmt
pattern QualStmt :: Stmt -> QualStmt
pattern RecStmt :: [Stmt] -> Stmt
pattern LetStmt :: Binds -> Stmt
pattern Qualifier :: Exp -> Stmt
pattern Generator :: Pat -> Exp -> Stmt
pattern PFieldWildcard :: PatField
pattern PFieldPun :: QName -> PatField
pattern PFieldPat :: QName -> Pat -> PatField
pattern RPPat :: Pat -> RPat
pattern RPParen :: RPat -> RPat
pattern RPAs :: Name -> RPat -> RPat
pattern RPCAs :: Name -> RPat -> RPat
pattern RPGuard :: Pat -> [Stmt] -> RPat
pattern RPSeq :: [RPat] -> RPat
pattern RPEither :: RPat -> RPat -> RPat
pattern RPOp :: RPat -> RPatOp -> RPat
pattern RPOptG :: RPatOp
pattern RPOpt :: RPatOp
pattern RPPlusG :: RPatOp
pattern RPPlus :: RPatOp
pattern RPStarG :: RPatOp
pattern RPStar :: RPatOp
pattern PXAttr :: XName -> Pat -> PXAttr
pattern PBangPat :: Pat -> Pat
pattern PQuasiQuote :: String -> String -> Pat
pattern PSplice :: Splice -> Pat
pattern PXRPats :: [RPat] -> Pat
pattern PXPatTag :: Pat -> Pat
pattern PXPcdata :: String -> Pat
pattern PXETag :: XName -> [PXAttr] -> Maybe Pat -> Pat
pattern PXTag :: XName -> [PXAttr] -> Maybe Pat -> [Pat] -> Pat
pattern PRPat :: [RPat] -> Pat
pattern PViewPat :: Exp -> Pat -> Pat
pattern PatTypeSig :: Pat -> Type -> Pat
pattern PIrrPat :: Pat -> Pat
pattern PWildCard :: Pat
pattern PAsPat :: Name -> Pat -> Pat
pattern PRec :: QName -> [PatField] -> Pat
pattern PParen :: Pat -> Pat
pattern PList :: [Pat] -> Pat
pattern PUnboxedSum :: Int -> Int -> Pat -> Pat
pattern PTuple :: Boxed -> [Pat] -> Pat
pattern PApp :: QName -> [Pat] -> Pat
pattern PInfixApp :: Pat -> QName -> Pat -> Pat
pattern PNPlusK :: Name -> Integer -> Pat
pattern PLit :: Sign -> Literal -> Pat
pattern PVar :: Name -> Pat
pattern WarnText :: String -> WarningText
pattern DeprText :: String -> WarningText
pattern TypedRuleVar :: Name -> Type -> RuleVar
pattern RuleVar :: Name -> RuleVar
pattern Rule :: String -> Maybe Activation -> Maybe [RuleVar] -> Exp -> Exp -> Rule
pattern ActiveUntil :: Int -> Activation
pattern ActiveFrom :: Int -> Activation
pattern Incoherent :: Overlap
pattern Overlappable :: Overlap
pattern Overlaps :: Overlap
pattern Overlapping :: Overlap
pattern Overlap :: Overlap
pattern NoOverlap :: Overlap
pattern AnnModulePragma :: Annotation -> ModulePragma
pattern OptionsPragma :: Maybe Tool -> String -> ModulePragma
pattern LanguagePragma :: [Name] -> ModulePragma
pattern CApi :: CallConv
pattern JavaScript :: CallConv
pattern Js :: CallConv
pattern Jvm :: CallConv
pattern DotNet :: CallConv
pattern CPlusPlus :: CallConv
pattern CCall :: CallConv
pattern StdCall :: CallConv
pattern PlayInterruptible :: Safety
pattern PlaySafe :: Bool -> Safety
pattern PlayRisky :: Safety
pattern ParenSplice :: Exp -> Splice
pattern IdSplice :: String -> Splice
pattern DeclBracket :: [Decl] -> Bracket
pattern TypeBracket :: Type -> Bracket
pattern PatBracket :: Pat -> Bracket
pattern ExpBracket :: Exp -> Bracket
pattern XAttr :: XName -> Exp -> XAttr
pattern XDomName :: String -> String -> XName
pattern XName :: String -> XName
pattern LCase :: [Alt] -> Exp
pattern RightArrHighApp :: Exp -> Exp -> Exp
pattern LeftArrHighApp :: Exp -> Exp -> Exp
pattern RightArrApp :: Exp -> Exp -> Exp
pattern LeftArrApp :: Exp -> Exp -> Exp
pattern Proc :: Pat -> Exp -> Exp
pattern GenPragma :: String -> (Int, Int) -> (Int, Int) -> Exp -> Exp
pattern SCCPragma :: String -> Exp -> Exp
pattern CorePragma :: String -> Exp -> Exp
pattern XChildTag :: [Exp] -> Exp
pattern XExpTag :: Exp -> Exp
pattern XPcdata :: String -> Exp
pattern XETag :: XName -> [XAttr] -> Maybe Exp -> Exp
pattern XTag :: XName -> [XAttr] -> Maybe Exp -> [Exp] -> Exp
pattern TypeApp :: Type -> Exp
pattern QuasiQuote :: String -> String -> Exp
pattern SpliceExp :: Splice -> Exp
pattern BracketExp :: Bracket -> Exp
pattern TypQuote :: QName -> Exp
pattern VarQuote :: QName -> Exp
pattern ExpTypeSig :: Exp -> Type -> Exp
pattern ParArrayComp :: Exp -> [[QualStmt]] -> Exp
pattern ParComp :: Exp -> [[QualStmt]] -> Exp
pattern ListComp :: Exp -> [QualStmt] -> Exp
pattern ParArrayFromThenTo :: Exp -> Exp -> Exp -> Exp
pattern ParArrayFromTo :: Exp -> Exp -> Exp
pattern EnumFromThenTo :: Exp -> Exp -> Exp -> Exp
pattern EnumFromThen :: Exp -> Exp -> Exp
pattern EnumFromTo :: Exp -> Exp -> Exp
pattern EnumFrom :: Exp -> Exp
pattern RecUpdate :: Exp -> [FieldUpdate] -> Exp
pattern RecConstr :: QName -> [FieldUpdate] -> Exp
pattern RightSection :: QOp -> Exp -> Exp
pattern LeftSection :: Exp -> QOp -> Exp
pattern Paren :: Exp -> Exp
pattern ParArray :: [Exp] -> Exp
pattern List :: [Exp] -> Exp
pattern TupleSection :: Boxed -> [Maybe Exp] -> Exp
pattern UnboxedSum :: Int -> Int -> Exp -> Exp
pattern Tuple :: Boxed -> [Exp] -> Exp
pattern MDo :: [Stmt] -> Exp
pattern Do :: [Stmt] -> Exp
pattern Case :: Exp -> [Alt] -> Exp
pattern MultiIf :: [GuardedRhs] -> Exp
pattern If :: Exp -> Exp -> Exp -> Exp
pattern Let :: Binds -> Exp -> Exp
pattern Lambda :: [Pat] -> Exp -> Exp
pattern NegApp :: Exp -> Exp
pattern App :: Exp -> Exp -> Exp
pattern InfixApp :: Exp -> QOp -> Exp -> Exp
pattern Lit :: Literal -> Exp
pattern Con :: QName -> Exp
pattern IPVar :: IPName -> Exp
pattern OverloadedLabel :: String -> Exp
pattern Var :: QName -> Exp
pattern Negative :: Sign
pattern Signless :: Sign
pattern PrimString :: String -> Literal
pattern PrimChar :: Char -> Literal
pattern PrimDouble :: Rational -> Literal
pattern PrimFloat :: Rational -> Literal
pattern PrimWord :: Integer -> Literal
pattern PrimInt :: Integer -> Literal
pattern Frac :: Rational -> Literal
pattern Int :: Integer -> Literal
pattern String :: String -> Literal
pattern Char :: Char -> Literal
pattern WildCardA :: Maybe Name -> Asst
pattern ParenA :: Asst -> Asst
pattern EqualP :: Type -> Type -> Asst
pattern IParam :: IPName -> Type -> Asst
pattern InfixA :: Type -> QName -> Type -> Asst
pattern AppA :: Name -> [Type] -> Asst
pattern ClassA :: QName -> [Type] -> Asst
pattern CxEmpty :: Context
pattern CxTuple :: [Asst] -> Context
pattern CxSingle :: Asst -> Context
pattern FunDep :: [Name] -> [Name] -> FunDep
pattern UnkindedVar :: Name -> TyVarBind
pattern KindedVar :: Name -> Kind -> TyVarBind
pattern PromotedUnit :: Promoted
pattern PromotedTuple :: [Type] -> Promoted
pattern PromotedList :: Bool -> [Type] -> Promoted
pattern PromotedCon :: Bool -> QName -> Promoted
pattern PromotedString :: String -> String -> Promoted
pattern PromotedInteger :: Integer -> String -> Promoted
pattern UnpromotedName :: QName -> MaybePromotedName
pattern PromotedName :: QName -> MaybePromotedName
pattern TyQuasiQuote :: String -> String -> Type
pattern TyWildCard :: Maybe Name -> Type
pattern TyBang :: BangType -> Unpackedness -> Type -> Type
pattern TySplice :: Splice -> Type
pattern TyEquals :: Type -> Type -> Type
pattern TyPromoted :: Promoted -> Type
pattern TyKind :: Type -> Kind -> Type
pattern TyInfix :: Type -> MaybePromotedName -> Type -> Type
pattern TyParen :: Type -> Type
pattern TyCon :: QName -> Type
pattern TyVar :: Name -> Type
pattern TyApp :: Type -> Type -> Type
pattern TyParArray :: Type -> Type
pattern TyList :: Type -> Type
pattern TyUnboxedSum :: [Type] -> Type
pattern TyTuple :: Boxed -> [Type] -> Type
pattern TyFun :: Type -> Type -> Type
pattern TyStar :: Type
pattern TyForall :: Maybe [TyVarBind] -> Maybe Context -> Type -> Type
pattern GuardedRhs :: [Stmt] -> Exp -> GuardedRhs
pattern GuardedRhss :: [GuardedRhs] -> Rhs
pattern UnGuardedRhs :: Exp -> Rhs
pattern NoUnpackPragma :: Unpackedness
pattern NoUnpack :: Unpackedness
pattern Unpack :: Unpackedness
pattern NoStrictAnnot :: BangType
pattern LazyTy :: BangType
pattern BangedTy :: BangType
pattern InsGData :: DataOrNew -> Type -> Maybe Kind -> [GadtDecl] -> [Deriving] -> InstDecl
pattern InsData :: DataOrNew -> Type -> [QualConDecl] -> [Deriving] -> InstDecl
pattern InsType :: Type -> Type -> InstDecl
pattern InsDecl :: Decl -> InstDecl
pattern ClsDefSig :: Name -> Type -> ClassDecl
pattern ClsTyDef :: TypeEqn -> ClassDecl
pattern ClsTyFam :: DeclHead -> Maybe ResultSig -> Maybe InjectivityInfo -> ClassDecl
pattern ClsDataFam :: Maybe Context -> DeclHead -> Maybe ResultSig -> ClassDecl
pattern ClsDecl :: Decl -> ClassDecl
pattern GadtDecl :: Name -> Maybe [TyVarBind] -> Maybe Context -> Maybe [FieldDecl] -> Type -> GadtDecl
pattern FieldDecl :: [Name] -> Type -> FieldDecl
pattern RecDecl :: Name -> [FieldDecl] -> ConDecl
pattern InfixConDecl :: Type -> Name -> Type -> ConDecl
pattern ConDecl :: Name -> [Type] -> ConDecl
pattern QualConDecl :: Maybe [TyVarBind] -> Maybe Context -> ConDecl -> QualConDecl
pattern InfixMatch :: Pat -> Name -> [Pat] -> Rhs -> Maybe Binds -> Match
pattern Match :: Name -> [Pat] -> Rhs -> Maybe Binds -> Match
pattern IPBind :: IPName -> Exp -> IPBind
pattern IPBinds :: [IPBind] -> Binds
pattern BDecls :: [Decl] -> Binds
pattern DerivVia :: Type -> DerivStrategy
pattern DerivNewtype :: DerivStrategy
pattern DerivAnyclass :: DerivStrategy
pattern DerivStock :: DerivStrategy
pattern Deriving :: Maybe DerivStrategy -> [InstRule] -> Deriving
pattern IHApp :: InstHead -> Type -> InstHead
pattern IHParen :: InstHead -> InstHead
pattern IHInfix :: Type -> QName -> InstHead
pattern IHCon :: QName -> InstHead
pattern IParen :: InstRule -> InstRule
pattern IRule :: Maybe [TyVarBind] -> Maybe Context -> InstHead -> InstRule
pattern DHApp :: DeclHead -> TyVarBind -> DeclHead
pattern DHParen :: DeclHead -> DeclHead
pattern DHInfix :: TyVarBind -> Name -> DeclHead
pattern DHead :: Name -> DeclHead
pattern TyVarSig :: TyVarBind -> ResultSig
pattern KindSig :: Kind -> ResultSig
pattern InjectivityInfo :: Name -> [Name] -> InjectivityInfo
pattern NewType :: DataOrNew
pattern DataType :: DataOrNew
pattern RoleWildcard :: Role
pattern Phantom :: Role
pattern Representational :: Role
pattern Nominal :: Role
pattern ParenFormula :: BooleanFormula -> BooleanFormula
pattern OrFormula :: [BooleanFormula] -> BooleanFormula
pattern AndFormula :: [BooleanFormula] -> BooleanFormula
pattern VarFormula :: Name -> BooleanFormula
pattern ModuleAnn :: Exp -> Annotation
pattern TypeAnn :: Name -> Exp -> Annotation
pattern Ann :: Name -> Exp -> Annotation
pattern TypeEqn :: Type -> Type -> TypeEqn
pattern ExplicitBidirectional :: [Decl] -> PatternSynDirection
pattern ImplicitBidirectional :: PatternSynDirection
pattern Unidirectional :: PatternSynDirection
pattern CompletePragma :: [Name] -> Maybe QName -> Decl
pattern RoleAnnotDecl :: QName -> [Role] -> Decl
pattern MinimalPragma :: Maybe BooleanFormula -> Decl
pattern AnnPragma :: Annotation -> Decl
pattern InstSig :: InstRule -> Decl
pattern SpecInlineSig :: Bool -> Maybe Activation -> QName -> [Type] -> Decl
pattern SpecSig :: Maybe Activation -> QName -> [Type] -> Decl
pattern InlineConlikeSig :: Maybe Activation -> QName -> Decl
pattern InlineSig :: Bool -> Maybe Activation -> QName -> Decl
pattern WarnPragmaDecl :: [([Name], String)] -> Decl
pattern DeprPragmaDecl :: [([Name], String)] -> Decl
pattern RulePragmaDecl :: [Rule] -> Decl
pattern ForExp :: CallConv -> Maybe String -> Name -> Type -> Decl
pattern ForImp :: CallConv -> Maybe Safety -> Maybe String -> Name -> Type -> Decl
pattern PatSyn :: Pat -> Pat -> PatternSynDirection -> Decl
pattern PatBind :: Pat -> Rhs -> Maybe Binds -> Decl
pattern FunBind :: [Match] -> Decl
pattern PatSynSig :: [Name] -> Maybe [TyVarBind] -> Maybe Context -> Maybe [TyVarBind] -> Maybe Context -> Type -> Decl
pattern TypeSig :: [Name] -> Type -> Decl
pattern SpliceDecl :: Exp -> Decl
pattern DefaultDecl :: [Type] -> Decl
pattern InfixDecl :: Assoc -> Maybe Int -> [Op] -> Decl
pattern DerivDecl :: Maybe DerivStrategy -> Maybe Overlap -> InstRule -> Decl
pattern InstDecl :: Maybe Overlap -> InstRule -> Maybe [InstDecl] -> Decl
pattern ClassDecl :: Maybe Context -> DeclHead -> [FunDep] -> Maybe [ClassDecl] -> Decl
pattern GDataInsDecl :: DataOrNew -> Type -> Maybe Kind -> [GadtDecl] -> [Deriving] -> Decl
pattern DataInsDecl :: DataOrNew -> Type -> [QualConDecl] -> [Deriving] -> Decl
pattern TypeInsDecl :: Type -> Type -> Decl
pattern DataFamDecl :: Maybe Context -> DeclHead -> Maybe ResultSig -> Decl
pattern GDataDecl :: DataOrNew -> Maybe Context -> DeclHead -> Maybe Kind -> [GadtDecl] -> [Deriving] -> Decl
pattern DataDecl :: DataOrNew -> Maybe Context -> DeclHead -> [QualConDecl] -> [Deriving] -> Decl
pattern ClosedTypeFamDecl :: DeclHead -> Maybe ResultSig -> Maybe InjectivityInfo -> [TypeEqn] -> Decl
pattern TypeFamDecl :: DeclHead -> Maybe ResultSig -> Maybe InjectivityInfo -> Decl
pattern TypeDecl :: DeclHead -> Type -> Decl
pattern AssocRight :: Assoc
pattern AssocLeft :: Assoc
pattern AssocNone :: Assoc
pattern IThingWith :: Name -> [CName] -> ImportSpec
pattern IThingAll :: Name -> ImportSpec
pattern IAbs :: Namespace -> Name -> ImportSpec
pattern IVar :: Name -> ImportSpec
pattern ImportSpecList :: Bool -> [ImportSpec] -> ImportSpecList
pattern ImportDecl :: ModuleName () -> Bool -> Bool -> Bool -> Maybe String -> Maybe (ModuleName ()) -> Maybe (ImportSpecList ()) -> ImportDecl
importModule :: ImportDecl -> ModuleName ()
importQualified :: ImportDecl -> Bool
importSrc :: ImportDecl -> Bool
importSafe :: ImportDecl -> Bool
importPkg :: ImportDecl -> Maybe String
importAs :: ImportDecl -> Maybe (ModuleName ())
importSpecs :: ImportDecl -> Maybe (ImportSpecList ())
pattern PatternNamespace :: Namespace
pattern TypeNamespace :: Namespace
pattern NoNamespace :: Namespace
pattern EWildcard :: Int -> EWildcard
pattern NoWildcard :: EWildcard
pattern EModuleContents :: ModuleName -> ExportSpec
pattern EThingWith :: EWildcard -> QName -> [CName] -> ExportSpec
pattern EAbs :: Namespace -> QName -> ExportSpec
pattern EVar :: QName -> ExportSpec
pattern ExportSpecList :: [ExportSpec] -> ExportSpecList
pattern ModuleHead :: ModuleName -> Maybe WarningText -> Maybe ExportSpecList -> ModuleHead
pattern XmlHybrid :: Maybe ModuleHead -> [ModulePragma] -> [ImportDecl] -> [Decl] -> XName -> [XAttr] -> Maybe Exp -> [Exp] -> Module
pattern XmlPage :: ModuleName -> [ModulePragma] -> XName -> [XAttr] -> Maybe Exp -> [Exp] -> Module
pattern Module :: Maybe ModuleHead -> [ModulePragma] -> [ImportDecl] -> [Decl] -> Module
pattern ConName :: Name -> CName
pattern VarName :: Name -> CName
pattern ConOp :: Name -> Op
pattern VarOp :: Name -> Op
pattern QConOp :: QName -> QOp
pattern QVarOp :: QName -> QOp
pattern IPLin :: String -> IPName
pattern IPDup :: String -> IPName
pattern Symbol :: String -> Name
pattern Ident :: String -> Name
pattern Special :: SpecialCon -> QName
pattern UnQual :: Name -> QName
pattern Qual :: ModuleName -> Name -> QName
pattern ExprHole :: SpecialCon
pattern UnboxedSingleCon :: SpecialCon
pattern Cons :: SpecialCon
pattern TupleCon :: Boxed -> Int -> SpecialCon
pattern FunCon :: SpecialCon
pattern ListCon :: SpecialCon
pattern UnitCon :: SpecialCon
pattern ModuleName :: String -> ModuleName
charL :: Char -> Literal
stringL :: String -> Literal
intL :: Integer -> Literal
fracL :: Rational -> Literal
primIntL :: Integer -> Literal
primWordL :: Integer -> Literal
primFloatL :: Rational -> Literal
primDoubleL :: Rational -> Literal
primCharL :: Char -> Literal
primStringL :: String -> Literal
prelude_mod :: ModuleName
main_mod :: ModuleName
main_name :: Name
unit_con_name :: QName
tuple_con_name :: Boxed -> Int -> QName
list_con_name :: QName
list_cons_name :: QName
unboxed_singleton_con_name :: QName
unit_con :: Exp
tuple_con :: Boxed -> Int -> Exp
unboxed_singleton_con :: Exp
as_name :: Name
qualified_name :: Name
hiding_name :: Name
minus_name :: Name
bang_name :: Name
dot_name :: Name
star_name :: Name
hole_name :: QName
export_name :: Name
safe_name :: Name
unsafe_name :: Name
interruptible_name :: Name
threadsafe_name :: Name
stdcall_name :: Name
ccall_name :: Name
cplusplus_name :: Name
dotnet_name :: Name
jvm_name :: Name
js_name :: Name
javascript_name :: Name
capi_name :: Name
forall_name :: Name
family_name :: Name
role_name :: Name
stock_name :: Name
anyclass_name :: Name
via_name :: Name
unit_tycon_name :: QName
fun_tycon_name :: QName
list_tycon_name :: QName
unboxed_singleton_tycon_name :: QName
tuple_tycon_name :: Boxed -> Int -> QName
unit_tycon :: Type
fun_tycon :: Type
list_tycon :: Type
unboxed_singleton_tycon :: Type
tuple_tycon :: Boxed -> Int -> Type
data Boxed
- = Boxed
- | Unboxed
data Tool
- = GHC
- | HUGS
- | NHC98
- | YHC
- | HADDOCK
- | UnknownTool String

Documentation

type Alt = Alt () Source #

type FieldUpdate = FieldUpdate () Source #

type QualStmt = QualStmt () Source #

type Stmt = Stmt () Source #

type PatField = PatField () Source #

type RPat = RPat () Source #

type RPatOp = RPatOp () Source #

type PXAttr = PXAttr () Source #

type Pat = Pat () Source #

type WarningText = WarningText () Source #

type RuleVar = RuleVar () Source #

type Rule = Rule () Source #

type Activation = Activation () Source #

type Overlap = Overlap () Source #

type ModulePragma = ModulePragma () Source #

type CallConv = CallConv () Source #

type Safety = Safety () Source #

type Splice = Splice () Source #

type Bracket = Bracket () Source #

type XAttr = XAttr () Source #

type XName = XName () Source #

type Exp = Exp () Source #

type Sign = Sign () Source #

type Literal = Literal () Source #

Beware that the constructors only work in a pattern context in ghc-7.8, because that version does not support explicitly bidirectional pattern synonyms.

For code that needs to work with ghc-7.8, we provide functions charL, stringL, intL, fracL, etc. for constructing Literal values.

type Asst = Asst () Source #

type Context = Context () Source #

type FunDep = FunDep () Source #

type Kind = Kind () Source #

Note that Kind is an alias for Type since haskell-src-exts-1.21.

type TyVarBind = TyVarBind () Source #

type Promoted = Promoted () Source #

type MaybePromotedName = MaybePromotedName () Source #

type Type = Type () Source #

type GuardedRhs = GuardedRhs () Source #

type Rhs = Rhs () Source #

type Unpackedness = Unpackedness () Source #

type BangType = BangType () Source #

type InstDecl = InstDecl () Source #

type ClassDecl = ClassDecl () Source #

type GadtDecl = GadtDecl () Source #

type FieldDecl = FieldDecl () Source #

type ConDecl = ConDecl () Source #

type QualConDecl = QualConDecl () Source #

type Match = Match () Source #

type IPBind = IPBind () Source #

type Binds = Binds () Source #

type DerivStrategy = DerivStrategy () Source #

type Deriving = Deriving () Source #

type InstHead = InstHead () Source #

type InstRule = InstRule () Source #

type DeclHead = DeclHead () Source #

type ResultSig = ResultSig () Source #

type InjectivityInfo = InjectivityInfo () Source #

type DataOrNew = DataOrNew () Source #

type Role = Role () Source #

type BooleanFormula = BooleanFormula () Source #

type Annotation = Annotation () Source #

type TypeEqn = TypeEqn () Source #

type PatternSynDirection = PatternSynDirection () Source #

type Decl = Decl () Source #

type Assoc = Assoc () Source #

type ImportSpec = ImportSpec () Source #

type ImportSpecList = ImportSpecList () Source #

type ImportDecl = ImportDecl () Source #

type Namespace = Namespace () Source #

type EWildcard = EWildcard () Source #

type ExportSpec = ExportSpec () Source #

type ExportSpecList = ExportSpecList () Source #

type ModuleHead = ModuleHead () Source #

type Module = Module () Source #

type CName = CName () Source #

type Op = Op () Source #

type QOp = QOp () Source #

type IPName = IPName () Source #

type Name = Name () Source #

type QName = QName () Source #

type SpecialCon = SpecialCon () Source #

type ModuleName = ModuleName () Source #

pattern Alt :: Pat -> Rhs -> Maybe Binds -> Alt Source #

pattern FieldWildcard :: FieldUpdate Source #

pattern FieldPun :: QName -> FieldUpdate Source #

pattern FieldUpdate :: QName -> Exp -> FieldUpdate Source #

pattern GroupByUsing :: Exp -> Exp -> QualStmt Source #

pattern GroupUsing :: Exp -> QualStmt Source #

pattern GroupBy :: Exp -> QualStmt Source #

pattern ThenBy :: Exp -> Exp -> QualStmt Source #

pattern ThenTrans :: Exp -> QualStmt Source #

pattern QualStmt :: Stmt -> QualStmt Source #

pattern RecStmt :: [Stmt] -> Stmt Source #

pattern LetStmt :: Binds -> Stmt Source #

pattern Qualifier :: Exp -> Stmt Source #

pattern Generator :: Pat -> Exp -> Stmt Source #

pattern PFieldWildcard :: PatField Source #

pattern PFieldPun :: QName -> PatField Source #

pattern PFieldPat :: QName -> Pat -> PatField Source #

pattern RPPat :: Pat -> RPat Source #

pattern RPParen :: RPat -> RPat Source #

pattern RPAs :: Name -> RPat -> RPat Source #

pattern RPCAs :: Name -> RPat -> RPat Source #

pattern RPGuard :: Pat -> [Stmt] -> RPat Source #

pattern RPSeq :: [RPat] -> RPat Source #

pattern RPEither :: RPat -> RPat -> RPat Source #

pattern RPOp :: RPat -> RPatOp -> RPat Source #

pattern RPOptG :: RPatOp Source #

pattern RPOpt :: RPatOp Source #

pattern RPPlusG :: RPatOp Source #

pattern RPPlus :: RPatOp Source #

pattern RPStarG :: RPatOp Source #

pattern RPStar :: RPatOp Source #

pattern PXAttr :: XName -> Pat -> PXAttr Source #

pattern PBangPat :: Pat -> Pat Source #

pattern PQuasiQuote :: String -> String -> Pat Source #

pattern PSplice :: Splice -> Pat Source #

pattern PXRPats :: [RPat] -> Pat Source #

pattern PXPatTag :: Pat -> Pat Source #

pattern PXPcdata :: String -> Pat Source #

pattern PXETag :: XName -> [PXAttr] -> Maybe Pat -> Pat Source #

pattern PXTag :: XName -> [PXAttr] -> Maybe Pat -> [Pat] -> Pat Source #

pattern PRPat :: [RPat] -> Pat Source #

pattern PViewPat :: Exp -> Pat -> Pat Source #

pattern PatTypeSig :: Pat -> Type -> Pat Source #

pattern PIrrPat :: Pat -> Pat Source #

pattern PWildCard :: Pat Source #

pattern PAsPat :: Name -> Pat -> Pat Source #

pattern PRec :: QName -> [PatField] -> Pat Source #

pattern PParen :: Pat -> Pat Source #

pattern PList :: [Pat] -> Pat Source #

pattern PUnboxedSum :: Int -> Int -> Pat -> Pat Source #

pattern PTuple :: Boxed -> [Pat] -> Pat Source #

pattern PApp :: QName -> [Pat] -> Pat Source #

pattern PInfixApp :: Pat -> QName -> Pat -> Pat Source #

pattern PNPlusK :: Name -> Integer -> Pat Source #

pattern PLit :: Sign -> Literal -> Pat Source #

pattern PVar :: Name -> Pat Source #

pattern WarnText :: String -> WarningText Source #

pattern DeprText :: String -> WarningText Source #

pattern TypedRuleVar :: Name -> Type -> RuleVar Source #

pattern RuleVar :: Name -> RuleVar Source #

pattern Rule :: String -> Maybe Activation -> Maybe [RuleVar] -> Exp -> Exp -> Rule Source #

pattern ActiveUntil :: Int -> Activation Source #

pattern ActiveFrom :: Int -> Activation Source #

pattern Incoherent :: Overlap Source #

pattern Overlappable :: Overlap Source #

pattern Overlaps :: Overlap Source #

pattern Overlapping :: Overlap Source #

pattern Overlap :: Overlap Source #

pattern NoOverlap :: Overlap Source #

pattern AnnModulePragma :: Annotation -> ModulePragma Source #

pattern OptionsPragma :: Maybe Tool -> String -> ModulePragma Source #

pattern LanguagePragma :: [Name] -> ModulePragma Source #

pattern CApi :: CallConv Source #

pattern JavaScript :: CallConv Source #

pattern Js :: CallConv Source #

pattern Jvm :: CallConv Source #

pattern DotNet :: CallConv Source #

pattern CPlusPlus :: CallConv Source #

pattern CCall :: CallConv Source #

pattern StdCall :: CallConv Source #

pattern PlayInterruptible :: Safety Source #

pattern PlaySafe :: Bool -> Safety Source #

pattern PlayRisky :: Safety Source #

pattern ParenSplice :: Exp -> Splice Source #

pattern IdSplice :: String -> Splice Source #

pattern DeclBracket :: [Decl] -> Bracket Source #

pattern TypeBracket :: Type -> Bracket Source #

pattern PatBracket :: Pat -> Bracket Source #

pattern ExpBracket :: Exp -> Bracket Source #

pattern XAttr :: XName -> Exp -> XAttr Source #

pattern XDomName :: String -> String -> XName Source #

pattern XName :: String -> XName Source #

pattern LCase :: [Alt] -> Exp Source #

pattern RightArrHighApp :: Exp -> Exp -> Exp Source #

pattern LeftArrHighApp :: Exp -> Exp -> Exp Source #

pattern RightArrApp :: Exp -> Exp -> Exp Source #

pattern LeftArrApp :: Exp -> Exp -> Exp Source #

pattern Proc :: Pat -> Exp -> Exp Source #

pattern GenPragma :: String -> (Int, Int) -> (Int, Int) -> Exp -> Exp Source #

pattern SCCPragma :: String -> Exp -> Exp Source #

pattern CorePragma :: String -> Exp -> Exp Source #

pattern XChildTag :: [Exp] -> Exp Source #

pattern XExpTag :: Exp -> Exp Source #

pattern XPcdata :: String -> Exp Source #

pattern XETag :: XName -> [XAttr] -> Maybe Exp -> Exp Source #

pattern XTag :: XName -> [XAttr] -> Maybe Exp -> [Exp] -> Exp Source #

pattern TypeApp :: Type -> Exp Source #

pattern QuasiQuote :: String -> String -> Exp Source #

pattern SpliceExp :: Splice -> Exp Source #

pattern BracketExp :: Bracket -> Exp Source #

pattern TypQuote :: QName -> Exp Source #

pattern VarQuote :: QName -> Exp Source #

pattern ExpTypeSig :: Exp -> Type -> Exp Source #

pattern ParArrayComp :: Exp -> [[QualStmt]] -> Exp Source #

pattern ParComp :: Exp -> [[QualStmt]] -> Exp Source #

pattern ListComp :: Exp -> [QualStmt] -> Exp Source #

pattern ParArrayFromThenTo :: Exp -> Exp -> Exp -> Exp Source #

pattern ParArrayFromTo :: Exp -> Exp -> Exp Source #

pattern EnumFromThenTo :: Exp -> Exp -> Exp -> Exp Source #

pattern EnumFromThen :: Exp -> Exp -> Exp Source #

pattern EnumFromTo :: Exp -> Exp -> Exp Source #

pattern EnumFrom :: Exp -> Exp Source #

pattern RecUpdate :: Exp -> [FieldUpdate] -> Exp Source #

pattern RecConstr :: QName -> [FieldUpdate] -> Exp Source #

pattern RightSection :: QOp -> Exp -> Exp Source #

pattern LeftSection :: Exp -> QOp -> Exp Source #

pattern Paren :: Exp -> Exp Source #

pattern ParArray :: [Exp] -> Exp Source #

pattern List :: [Exp] -> Exp Source #

pattern TupleSection :: Boxed -> [Maybe Exp] -> Exp Source #

pattern UnboxedSum :: Int -> Int -> Exp -> Exp Source #

pattern Tuple :: Boxed -> [Exp] -> Exp Source #

pattern MDo :: [Stmt] -> Exp Source #

pattern Do :: [Stmt] -> Exp Source #

pattern Case :: Exp -> [Alt] -> Exp Source #

pattern MultiIf :: [GuardedRhs] -> Exp Source #

pattern If :: Exp -> Exp -> Exp -> Exp Source #

pattern Let :: Binds -> Exp -> Exp Source #

pattern Lambda :: [Pat] -> Exp -> Exp Source #

pattern NegApp :: Exp -> Exp Source #

pattern App :: Exp -> Exp -> Exp Source #

pattern InfixApp :: Exp -> QOp -> Exp -> Exp Source #

pattern Lit :: Literal -> Exp Source #

pattern Con :: QName -> Exp Source #

pattern IPVar :: IPName -> Exp Source #

pattern OverloadedLabel :: String -> Exp Source #

pattern Var :: QName -> Exp Source #

pattern Negative :: Sign Source #

pattern Signless :: Sign Source #

pattern PrimString :: String -> Literal Source #

pattern PrimChar :: Char -> Literal Source #

pattern PrimDouble :: Rational -> Literal Source #

pattern PrimFloat :: Rational -> Literal Source #

pattern PrimWord :: Integer -> Literal Source #

pattern PrimInt :: Integer -> Literal Source #

pattern Frac :: Rational -> Literal Source #

pattern Int :: Integer -> Literal Source #

pattern String :: String -> Literal Source #

pattern Char :: Char -> Literal Source #

pattern WildCardA :: Maybe Name -> Asst Source #

pattern ParenA :: Asst -> Asst Source #

pattern EqualP :: Type -> Type -> Asst Source #

pattern IParam :: IPName -> Type -> Asst Source #

pattern InfixA :: Type -> QName -> Type -> Asst Source #

pattern AppA :: Name -> [Type] -> Asst Source #

pattern ClassA :: QName -> [Type] -> Asst Source #

pattern CxEmpty :: Context Source #

pattern CxTuple :: [Asst] -> Context Source #

pattern CxSingle :: Asst -> Context Source #

pattern FunDep :: [Name] -> [Name] -> FunDep Source #

pattern UnkindedVar :: Name -> TyVarBind Source #

pattern KindedVar :: Name -> Kind -> TyVarBind Source #

pattern PromotedUnit :: Promoted Source #

pattern PromotedTuple :: [Type] -> Promoted Source #

pattern PromotedList :: Bool -> [Type] -> Promoted Source #

pattern PromotedCon :: Bool -> QName -> Promoted Source #

pattern PromotedString :: String -> String -> Promoted Source #

pattern PromotedInteger :: Integer -> String -> Promoted Source #

pattern UnpromotedName :: QName -> MaybePromotedName Source #

pattern PromotedName :: QName -> MaybePromotedName Source #

pattern TyQuasiQuote :: String -> String -> Type Source #

pattern TyWildCard :: Maybe Name -> Type Source #

pattern TyBang :: BangType -> Unpackedness -> Type -> Type Source #

pattern TySplice :: Splice -> Type Source #

pattern TyEquals :: Type -> Type -> Type Source #

pattern TyPromoted :: Promoted -> Type Source #

pattern TyKind :: Type -> Kind -> Type Source #

pattern TyInfix :: Type -> MaybePromotedName -> Type -> Type Source #

pattern TyParen :: Type -> Type Source #

pattern TyCon :: QName -> Type Source #

pattern TyVar :: Name -> Type Source #

pattern TyApp :: Type -> Type -> Type Source #

pattern TyParArray :: Type -> Type Source #

pattern TyList :: Type -> Type Source #

pattern TyUnboxedSum :: [Type] -> Type Source #

pattern TyTuple :: Boxed -> [Type] -> Type Source #

pattern TyFun :: Type -> Type -> Type Source #

pattern TyStar :: Type Source #

pattern TyForall :: Maybe [TyVarBind] -> Maybe Context -> Type -> Type Source #

pattern GuardedRhs :: [Stmt] -> Exp -> GuardedRhs Source #

pattern GuardedRhss :: [GuardedRhs] -> Rhs Source #

pattern UnGuardedRhs :: Exp -> Rhs Source #

pattern NoUnpackPragma :: Unpackedness Source #

pattern NoUnpack :: Unpackedness Source #

pattern Unpack :: Unpackedness Source #

pattern NoStrictAnnot :: BangType Source #

pattern LazyTy :: BangType Source #

pattern BangedTy :: BangType Source #

pattern InsGData :: DataOrNew -> Type -> Maybe Kind -> [GadtDecl] -> [Deriving] -> InstDecl Source #

pattern InsData :: DataOrNew -> Type -> [QualConDecl] -> [Deriving] -> InstDecl Source #

pattern InsType :: Type -> Type -> InstDecl Source #

pattern InsDecl :: Decl -> InstDecl Source #

pattern ClsDefSig :: Name -> Type -> ClassDecl Source #

pattern ClsTyDef :: TypeEqn -> ClassDecl Source #

pattern ClsTyFam :: DeclHead -> Maybe ResultSig -> Maybe InjectivityInfo -> ClassDecl Source #

pattern ClsDataFam :: Maybe Context -> DeclHead -> Maybe ResultSig -> ClassDecl Source #

pattern ClsDecl :: Decl -> ClassDecl Source #

pattern GadtDecl :: Name -> Maybe [TyVarBind] -> Maybe Context -> Maybe [FieldDecl] -> Type -> GadtDecl Source #

pattern FieldDecl :: [Name] -> Type -> FieldDecl Source #

pattern RecDecl :: Name -> [FieldDecl] -> ConDecl Source #

pattern InfixConDecl :: Type -> Name -> Type -> ConDecl Source #

pattern ConDecl :: Name -> [Type] -> ConDecl Source #

pattern QualConDecl :: Maybe [TyVarBind] -> Maybe Context -> ConDecl -> QualConDecl Source #

pattern InfixMatch :: Pat -> Name -> [Pat] -> Rhs -> Maybe Binds -> Match Source #

pattern Match :: Name -> [Pat] -> Rhs -> Maybe Binds -> Match Source #

pattern IPBind :: IPName -> Exp -> IPBind Source #

pattern IPBinds :: [IPBind] -> Binds Source #

pattern BDecls :: [Decl] -> Binds Source #

pattern DerivVia :: Type -> DerivStrategy Source #

pattern DerivNewtype :: DerivStrategy Source #

pattern DerivAnyclass :: DerivStrategy Source #

pattern DerivStock :: DerivStrategy Source #

pattern Deriving :: Maybe DerivStrategy -> [InstRule] -> Deriving Source #

pattern IHApp :: InstHead -> Type -> InstHead Source #

pattern IHParen :: InstHead -> InstHead Source #

pattern IHInfix :: Type -> QName -> InstHead Source #

pattern IHCon :: QName -> InstHead Source #

pattern IParen :: InstRule -> InstRule Source #

pattern IRule :: Maybe [TyVarBind] -> Maybe Context -> InstHead -> InstRule Source #

pattern DHApp :: DeclHead -> TyVarBind -> DeclHead Source #

pattern DHParen :: DeclHead -> DeclHead Source #

pattern DHInfix :: TyVarBind -> Name -> DeclHead Source #

pattern DHead :: Name -> DeclHead Source #

pattern TyVarSig :: TyVarBind -> ResultSig Source #

pattern KindSig :: Kind -> ResultSig Source #

pattern InjectivityInfo :: Name -> [Name] -> InjectivityInfo Source #

pattern NewType :: DataOrNew Source #

pattern DataType :: DataOrNew Source #

pattern RoleWildcard :: Role Source #

pattern Phantom :: Role Source #

pattern Representational :: Role Source #

pattern Nominal :: Role Source #

pattern ParenFormula :: BooleanFormula -> BooleanFormula Source #

pattern OrFormula :: [BooleanFormula] -> BooleanFormula Source #

pattern AndFormula :: [BooleanFormula] -> BooleanFormula Source #

pattern VarFormula :: Name -> BooleanFormula Source #

pattern ModuleAnn :: Exp -> Annotation Source #

pattern TypeAnn :: Name -> Exp -> Annotation Source #

pattern Ann :: Name -> Exp -> Annotation Source #

pattern TypeEqn :: Type -> Type -> TypeEqn Source #

pattern ExplicitBidirectional :: [Decl] -> PatternSynDirection Source #

pattern ImplicitBidirectional :: PatternSynDirection Source #

pattern Unidirectional :: PatternSynDirection Source #

pattern CompletePragma :: [Name] -> Maybe QName -> Decl Source #

pattern RoleAnnotDecl :: QName -> [Role] -> Decl Source #

pattern MinimalPragma :: Maybe BooleanFormula -> Decl Source #

pattern AnnPragma :: Annotation -> Decl Source #

pattern InstSig :: InstRule -> Decl Source #

pattern SpecInlineSig :: Bool -> Maybe Activation -> QName -> [Type] -> Decl Source #

pattern SpecSig :: Maybe Activation -> QName -> [Type] -> Decl Source #

pattern InlineConlikeSig :: Maybe Activation -> QName -> Decl Source #

pattern InlineSig :: Bool -> Maybe Activation -> QName -> Decl Source #

pattern WarnPragmaDecl :: [([Name], String)] -> Decl Source #

pattern DeprPragmaDecl :: [([Name], String)] -> Decl Source #

pattern RulePragmaDecl :: [Rule] -> Decl Source #

pattern ForExp :: CallConv -> Maybe String -> Name -> Type -> Decl Source #

pattern ForImp :: CallConv -> Maybe Safety -> Maybe String -> Name -> Type -> Decl Source #

pattern PatSyn :: Pat -> Pat -> PatternSynDirection -> Decl Source #

pattern PatBind :: Pat -> Rhs -> Maybe Binds -> Decl Source #

pattern FunBind :: [Match] -> Decl Source #

pattern PatSynSig :: [Name] -> Maybe [TyVarBind] -> Maybe Context -> Maybe [TyVarBind] -> Maybe Context -> Type -> Decl Source #

pattern TypeSig :: [Name] -> Type -> Decl Source #

pattern SpliceDecl :: Exp -> Decl Source #

pattern DefaultDecl :: [Type] -> Decl Source #

pattern InfixDecl :: Assoc -> Maybe Int -> [Op] -> Decl Source #

pattern DerivDecl :: Maybe DerivStrategy -> Maybe Overlap -> InstRule -> Decl Source #

pattern InstDecl :: Maybe Overlap -> InstRule -> Maybe [InstDecl] -> Decl Source #

pattern ClassDecl :: Maybe Context -> DeclHead -> [FunDep] -> Maybe [ClassDecl] -> Decl Source #

pattern GDataInsDecl :: DataOrNew -> Type -> Maybe Kind -> [GadtDecl] -> [Deriving] -> Decl Source #

pattern DataInsDecl :: DataOrNew -> Type -> [QualConDecl] -> [Deriving] -> Decl Source #

pattern TypeInsDecl :: Type -> Type -> Decl Source #

pattern DataFamDecl :: Maybe Context -> DeclHead -> Maybe ResultSig -> Decl Source #

pattern GDataDecl :: DataOrNew -> Maybe Context -> DeclHead -> Maybe Kind -> [GadtDecl] -> [Deriving] -> Decl Source #

pattern DataDecl :: DataOrNew -> Maybe Context -> DeclHead -> [QualConDecl] -> [Deriving] -> Decl Source #

pattern ClosedTypeFamDecl :: DeclHead -> Maybe ResultSig -> Maybe InjectivityInfo -> [TypeEqn] -> Decl Source #

pattern TypeFamDecl :: DeclHead -> Maybe ResultSig -> Maybe InjectivityInfo -> Decl Source #

pattern TypeDecl :: DeclHead -> Type -> Decl Source #

pattern AssocRight :: Assoc Source #

pattern AssocLeft :: Assoc Source #

pattern AssocNone :: Assoc Source #

pattern IThingWith :: Name -> [CName] -> ImportSpec Source #

pattern IThingAll :: Name -> ImportSpec Source #

pattern IAbs :: Namespace -> Name -> ImportSpec Source #

pattern IVar :: Name -> ImportSpec Source #

pattern ImportSpecList :: Bool -> [ImportSpec] -> ImportSpecList Source #

pattern ImportDecl :: ModuleName () -> Bool -> Bool -> Bool -> Maybe String -> Maybe (ModuleName ()) -> Maybe (ImportSpecList ()) -> ImportDecl Source #

Note, this is originally a record constructor, and we use a pattern record synonym for ghc-8.0. But for earlier ghc versions, ImportDecl is a plain pattern synonym, and the selectors are exported as functions.

importModule :: ImportDecl -> ModuleName () Source #

importQualified :: ImportDecl -> Bool Source #

importSrc :: ImportDecl -> Bool Source #

importSafe :: ImportDecl -> Bool Source #

importPkg :: ImportDecl -> Maybe String Source #

importAs :: ImportDecl -> Maybe (ModuleName ()) Source #

importSpecs :: ImportDecl -> Maybe (ImportSpecList ()) Source #

pattern PatternNamespace :: Namespace Source #

pattern TypeNamespace :: Namespace Source #

pattern NoNamespace :: Namespace Source #

pattern EWildcard :: Int -> EWildcard Source #

pattern NoWildcard :: EWildcard Source #

pattern EModuleContents :: ModuleName -> ExportSpec Source #

pattern EThingWith :: EWildcard -> QName -> [CName] -> ExportSpec Source #

pattern EAbs :: Namespace -> QName -> ExportSpec Source #

pattern EVar :: QName -> ExportSpec Source #

pattern ExportSpecList :: [ExportSpec] -> ExportSpecList Source #

pattern ModuleHead :: ModuleName -> Maybe WarningText -> Maybe ExportSpecList -> ModuleHead Source #

pattern XmlHybrid :: Maybe ModuleHead -> [ModulePragma] -> [ImportDecl] -> [Decl] -> XName -> [XAttr] -> Maybe Exp -> [Exp] -> Module Source #

pattern XmlPage :: ModuleName -> [ModulePragma] -> XName -> [XAttr] -> Maybe Exp -> [Exp] -> Module Source #

pattern Module :: Maybe ModuleHead -> [ModulePragma] -> [ImportDecl] -> [Decl] -> Module Source #

pattern ConName :: Name -> CName Source #

pattern VarName :: Name -> CName Source #

pattern ConOp :: Name -> Op Source #

pattern VarOp :: Name -> Op Source #

pattern QConOp :: QName -> QOp Source #

pattern QVarOp :: QName -> QOp Source #

pattern IPLin :: String -> IPName Source #

pattern IPDup :: String -> IPName Source #

pattern Symbol :: String -> Name Source #

pattern Ident :: String -> Name Source #

pattern Special :: SpecialCon -> QName Source #

pattern UnQual :: Name -> QName Source #

pattern Qual :: ModuleName -> Name -> QName Source #

pattern ExprHole :: SpecialCon Source #

pattern UnboxedSingleCon :: SpecialCon Source #

pattern Cons :: SpecialCon Source #

pattern TupleCon :: Boxed -> Int -> SpecialCon Source #

pattern FunCon :: SpecialCon Source #

pattern ListCon :: SpecialCon Source #

pattern UnitCon :: SpecialCon Source #

pattern ModuleName :: String -> ModuleName Source #

charL :: Char -> Literal Source #

stringL :: String -> Literal Source #

intL :: Integer -> Literal Source #

fracL :: Rational -> Literal Source #

primIntL :: Integer -> Literal Source #

primWordL :: Integer -> Literal Source #

primFloatL :: Rational -> Literal Source #

primDoubleL :: Rational -> Literal Source #

primCharL :: Char -> Literal Source #

primStringL :: String -> Literal Source #

prelude_mod :: ModuleName Source #

main_mod :: ModuleName Source #

main_name :: Name Source #

unit_con_name :: QName Source #

tuple_con_name :: Boxed -> Int -> QName Source #

list_con_name :: QName Source #

list_cons_name :: QName Source #

unboxed_singleton_con_name :: QName Source #

unit_con :: Exp Source #

tuple_con :: Boxed -> Int -> Exp Source #

unboxed_singleton_con :: Exp Source #

as_name :: Name Source #

qualified_name :: Name Source #

hiding_name :: Name Source #

minus_name :: Name Source #

bang_name :: Name Source #

dot_name :: Name Source #

star_name :: Name Source #

hole_name :: QName Source #

export_name :: Name Source #

safe_name :: Name Source #

unsafe_name :: Name Source #

interruptible_name :: Name Source #

threadsafe_name :: Name Source #

stdcall_name :: Name Source #

ccall_name :: Name Source #

cplusplus_name :: Name Source #

dotnet_name :: Name Source #

jvm_name :: Name Source #

js_name :: Name Source #

javascript_name :: Name Source #

capi_name :: Name Source #

forall_name :: Name Source #

family_name :: Name Source #

role_name :: Name Source #

stock_name :: Name Source #

anyclass_name :: Name Source #

via_name :: Name Source #

unit_tycon_name :: QName Source #

fun_tycon_name :: QName Source #

list_tycon_name :: QName Source #

unboxed_singleton_tycon_name :: QName Source #

tuple_tycon_name :: Boxed -> Int -> QName Source #

unit_tycon :: Type Source #

fun_tycon :: Type Source #

list_tycon :: Type Source #

unboxed_singleton_tycon :: Type Source #

tuple_tycon :: Boxed -> Int -> Type Source #

data Boxed #

Flag denoting whether a tuple is boxed or unboxed.

Constructors

Boxed
Unboxed

Instances

Eq Boxed
Instance details Defined in Language.Haskell.Exts.Syntax Methods (==) :: Boxed -> Boxed -> Bool # (/=) :: Boxed -> Boxed -> Bool #
Data Boxed
Instance details Defined in Language.Haskell.Exts.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Boxed -> c Boxed # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Boxed # toConstr :: Boxed -> Constr # dataTypeOf :: Boxed -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Boxed) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Boxed) # gmapT :: (forall b. Data b => b -> b) -> Boxed -> Boxed # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Boxed -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Boxed -> r # gmapQ :: (forall d. Data d => d -> u) -> Boxed -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Boxed -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Boxed -> m Boxed # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Boxed -> m Boxed # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Boxed -> m Boxed #
Ord Boxed
Instance details Defined in Language.Haskell.Exts.Syntax Methods compare :: Boxed -> Boxed -> Ordering # (<) :: Boxed -> Boxed -> Bool # (<=) :: Boxed -> Boxed -> Bool # (>) :: Boxed -> Boxed -> Bool # (>=) :: Boxed -> Boxed -> Bool # max :: Boxed -> Boxed -> Boxed # min :: Boxed -> Boxed -> Boxed #
Show Boxed
Instance details Defined in Language.Haskell.Exts.Syntax Methods showsPrec :: Int -> Boxed -> ShowS # show :: Boxed -> String # showList :: [Boxed] -> ShowS #
Generic Boxed
Instance details Defined in Language.Haskell.Exts.Syntax Associated Types type Rep Boxed :: Type -> Type # Methods from :: Boxed -> Rep Boxed x # to :: Rep Boxed x -> Boxed #
type Rep Boxed
Instance details Defined in Language.Haskell.Exts.Syntax type Rep Boxed = D1 (MetaData "Boxed" "Language.Haskell.Exts.Syntax" "haskell-src-exts-1.21.0-1MqMUIJU7y29AVS9NHxlR4" False) (C1 (MetaCons "Boxed" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Unboxed" PrefixI False) (U1 :: Type -> Type))

data Tool #

Recognised tools for OPTIONS pragmas.

Constructors

GHC
HUGS
NHC98
YHC
HADDOCK
UnknownTool String

Instances

Eq Tool
Instance details Defined in Language.Haskell.Exts.Syntax Methods (==) :: Tool -> Tool -> Bool # (/=) :: Tool -> Tool -> Bool #
Data Tool
Instance details Defined in Language.Haskell.Exts.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Tool -> c Tool # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Tool # toConstr :: Tool -> Constr # dataTypeOf :: Tool -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Tool) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Tool) # gmapT :: (forall b. Data b => b -> b) -> Tool -> Tool # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Tool -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Tool -> r # gmapQ :: (forall d. Data d => d -> u) -> Tool -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Tool -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Tool -> m Tool # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Tool -> m Tool # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Tool -> m Tool #
Ord Tool
Instance details Defined in Language.Haskell.Exts.Syntax Methods compare :: Tool -> Tool -> Ordering # (<) :: Tool -> Tool -> Bool # (<=) :: Tool -> Tool -> Bool # (>) :: Tool -> Tool -> Bool # (>=) :: Tool -> Tool -> Bool # max :: Tool -> Tool -> Tool # min :: Tool -> Tool -> Tool #
Show Tool
Instance details Defined in Language.Haskell.Exts.Syntax Methods showsPrec :: Int -> Tool -> ShowS # show :: Tool -> String # showList :: [Tool] -> ShowS #
Generic Tool
Instance details Defined in Language.Haskell.Exts.Syntax Associated Types type Rep Tool :: Type -> Type # Methods from :: Tool -> Rep Tool x # to :: Rep Tool x -> Tool #
Pretty Tool
Instance details Defined in Language.Haskell.Exts.Pretty Methods pretty :: Tool -> Doc prettyPrec :: Int -> Tool -> Doc
type Rep Tool
Instance details Defined in Language.Haskell.Exts.Syntax type Rep Tool = D1 (MetaData "Tool" "Language.Haskell.Exts.Syntax" "haskell-src-exts-1.21.0-1MqMUIJU7y29AVS9NHxlR4" False) ((C1 (MetaCons "GHC" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "HUGS" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "NHC98" PrefixI False) (U1 :: Type -> Type))) :+: (C1 (MetaCons "YHC" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "HADDOCK" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "UnknownTool" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))))