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

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 TParenSplice :: Exp -> Splice
pattern ParenSplice :: Exp -> Splice
pattern TIdSplice :: String -> Splice
pattern IdSplice :: String -> Splice
pattern DeclBracket :: [Decl] -> Bracket
pattern TypeBracket :: Type -> Bracket
pattern PatBracket :: Pat -> Bracket
pattern TExpBracket :: Exp -> 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 ParenA :: Asst -> Asst
pattern IParam :: IPName -> Type -> Asst
pattern TypeA :: 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 TSpliceDecl :: Exp -> 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 #

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 TParenSplice :: Exp -> Splice Source #

pattern ParenSplice :: Exp -> Splice Source #

pattern TIdSplice :: String -> Splice Source #

pattern IdSplice :: String -> Splice Source #

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

pattern TypeBracket :: Type -> Bracket Source #

pattern PatBracket :: Pat -> Bracket Source #

pattern TExpBracket :: Exp -> 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 ParenA :: Asst -> Asst Source #

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

pattern TypeA :: 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 TSpliceDecl :: Exp -> 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 #

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.22.0-5tSwDhjCyZb5AQf9d2FsEo" 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.22.0-5tSwDhjCyZb5AQf9d2FsEo" 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)))))