Moduleghc-9.10.3GHC2021

Language.Haskell.Syntax.Pat

12 types
7 values

Packageghc-9.10.3
Exports21
LanguageGHC2021
LicenceBSD-3-Clause
SourcePat.hs

datadata Pat p

Pattern

AnnKeywordId : AnnBang

Constructors

WildPat (XWildPat p)
Wildcard Pattern The sole reason for a type on a WildPat is to support hsPatType :: Pat Id -> Type
VarPat (XVarPat p) (LIdP p)
Variable Pattern
LazyPat (XLazyPat p) (LPat p)
Lazy Pattern ^ - AnnKeywordId : AnnTilde
AsPat (XAsPat p) (LIdP p) (LPat p)
As pattern ^ - AnnKeywordId : GHC.Parser.Annotation.AnnAt
ParPat (XParPat p) (LPat p)
Parenthesised pattern See Note [Parens in HsSyn] in GHC.Hs.Expr ^ - AnnKeywordId : AnnOpen '(', AnnClose ')'
BangPat (XBangPat p) (LPat p)
Bang pattern ^ - AnnKeywordId : AnnBang
ListPat (XListPat p) [LPat p]
Syntactic List
- AnnKeywordId : AnnOpen '[', AnnClose ']'
TuplePat (XTuplePat p) [LPat p] Boxity
Tuple sub-patterns
- AnnKeywordId : AnnOpen '(' or '(#', AnnClose ')' or '#)'
SumPat (XSumPat p) (LPat p) ConTag SumWidth
Anonymous sum pattern
- AnnKeywordId : AnnOpen '(#', AnnClose '#)'
ConPat
Constructor Pattern
- pat_con_ext :: XConPat p
- pat_con :: XRec p (ConLikeP p)
- pat_args :: HsConPatDetails p
ViewPat (XViewPat p) (LHsExpr p) (LPat p)
- AnnKeywordId : AnnRarrow
SplicePat (XSplicePat p) (HsUntypedSplice p)
- AnnKeywordId : AnnOpen '$(' AnnClose ')'
LitPat (XLitPat p) (HsLit p)
Literal Pattern Used for *non-overloaded* literal patterns: Int#, Char#, Int, Char, String, etc.
NPat (XNPat p) (XRec p (HsOverLit p)) (Maybe (SyntaxExpr p)) (SyntaxExpr p)
Natural Pattern
- AnnKeywordId : AnnVal +
NPlusKPat (XNPlusKPat p) (LIdP p) (XRec p (HsOverLit p)) (HsOverLit p) (SyntaxExpr p) (SyntaxExpr p)
n+k pattern
SigPat (XSigPat p) (LPat p) (HsPatSigType (NoGhcTc p))
- AnnKeywordId : AnnDcolon
EmbTyPat (XEmbTyPat p) (HsTyPat (NoGhcTc p))
InvisPat (XInvisPat p) (HsTyPat (NoGhcTc p))
XPat !(XXPat p)

Instances7Data, Outputable, HasType, ToHie, Anno, …

Data (Pat GhcPs)Defined in ghc-9.10.3 · GHC.Hs.Instances · orphan
Data (Pat GhcRn)Defined in ghc-9.10.3 · GHC.Hs.Instances · orphan
Data (Pat GhcTc)Defined in ghc-9.10.3 · GHC.Hs.Instances · orphan
OutputableBndrId p => Outputable (Pat (GhcPass p))Defined in ghc-9.10.3 · GHC.Hs.Pat · orphan
HiePass p => HasType (LocatedA (Pat (GhcPass p)))Defined in ghc-9.10.3 · GHC.Iface.Ext.Ast
HiePass p => ToHie (PScoped (LocatedA (Pat (GhcPass p))))Defined in ghc-9.10.3 · GHC.Iface.Ext.Ast
type Anno (Pat (GhcPass p)) = SrcSpanAnnADefined in ghc-9.10.3 · GHC.Hs.Pat · orphan

typetype LPat p = XRec p (Pat p)

familytype family ConLikeP x

Instances3ConLikeP

type ConLikeP GhcPs = RdrNameDefined in ghc-9.10.3 · GHC.Hs.Pat · orphan
type ConLikeP GhcRn = NameDefined in ghc-9.10.3 · GHC.Hs.Pat · orphan
type ConLikeP GhcTc = ConLikeDefined in ghc-9.10.3 · GHC.Hs.Pat · orphan

valueisInvisArgPat :: Pat p -> Bool

valueisVisArgPat :: Pat p -> Bool

typetype HsConPatDetails p = HsConDetails (HsConPatTyArg (NoGhcTc p)) (LPat p) (HsRecFields p (LPat p))

Haskell Constructor Pattern Details

valuehsConPatArgs :: UnXRec p => HsConPatDetails p -> [LPat p]

valuehsConPatTyArgs :: HsConPatDetails p -> [HsConPatTyArg (NoGhcTc p)]

datadata HsConPatTyArg p

Type argument in a data constructor pattern, e.g. the @a in f (Just @a x) = ....

Constructors

HsConPatTyArg !(XConPatTyArg p) (HsTyPat p)

Instances4Data, Outputable

Data (HsConPatTyArg GhcPs)Defined in ghc-9.10.3 · GHC.Hs.Instances · orphan
Data (HsConPatTyArg GhcRn)Defined in ghc-9.10.3 · GHC.Hs.Instances · orphan
Data (HsConPatTyArg GhcTc)Defined in ghc-9.10.3 · GHC.Hs.Instances · orphan
Outputable (HsTyPat p) => Outputable (HsConPatTyArg p)Defined in ghc-9.10.3 · GHC.Hs.Pat · orphan

familytype family XConPatTyArg p

Instances3XConPatTyArg

type XConPatTyArg GhcPs = EpToken "@"Defined in ghc-9.10.3 · GHC.Hs.Pat · orphan
type XConPatTyArg GhcRn = NoExtFieldDefined in ghc-9.10.3 · GHC.Hs.Pat · orphan
type XConPatTyArg GhcTc = NoExtFieldDefined in ghc-9.10.3 · GHC.Hs.Pat · orphan

datadata HsRecFields p arg

Haskell Record Fields

HsRecFields is used only for patterns and expressions (not data type declarations)

Constructors

HsRecFields
- rec_flds :: [LHsRecField p arg]
- rec_dotdot :: Maybe (XRec p RecFieldsDotDot)

Instances5ToHie, Data, Outputable

(ToHie arg, HasLoc arg, Data arg, HiePass p) => ToHie (RContext (HsRecFields (GhcPass p) arg))Defined in ghc-9.10.3 · GHC.Iface.Ext.Ast
Data body => Data (HsRecFields GhcPs body)Defined in ghc-9.10.3 · GHC.Hs.Instances · orphan
Data body => Data (HsRecFields GhcRn body)Defined in ghc-9.10.3 · GHC.Hs.Instances · orphan
Data body => Data (HsRecFields GhcTc body)Defined in ghc-9.10.3 · GHC.Hs.Instances · orphan
(Outputable arg, Outputable (XRec p (HsRecField p arg)), XRec p RecFieldsDotDot ~ LocatedE RecFieldsDotDot) => Outputable (HsRecFields p arg)Defined in ghc-9.10.3 · GHC.Hs.Pat · orphan

datadata HsFieldBind lhs rhs

Haskell Field Binding

AnnKeywordId : AnnEqual,

For details on above see Note [exact print annotations] in GHC.Parser.Annotation

Constructors

HsFieldBind
- hfbAnn :: XHsFieldBind lhs
- hfbLHS :: lhs
- hfbRHS :: rhs
  Filled in by renamer when punning
- hfbPun :: Bool
  Note [Punning]

Instances7Functor, Foldable, Traversable, ToHie, Data, Outputable, …

Functor (HsFieldBind lhs)Defined in ghc-9.10.3 · Language.Haskell.Syntax.Pat
Foldable (HsFieldBind lhs)Defined in ghc-9.10.3 · Language.Haskell.Syntax.Pat
Traversable (HsFieldBind lhs)Defined in ghc-9.10.3 · Language.Haskell.Syntax.Pat
(ToHie (RFContext label), ToHie arg, HasLoc arg, Data arg, Data label) => ToHie (RContext (LocatedA (HsFieldBind label arg)))Defined in ghc-9.10.3 · GHC.Iface.Ext.Ast
(Data a, Data b) => Data (HsFieldBind a b)Defined in ghc-9.10.3 · GHC.Hs.Instances · orphan
(Outputable p, OutputableBndr p, Outputable arg) => Outputable (HsFieldBind p arg)Defined in ghc-9.10.3 · GHC.Hs.Pat · orphan
type Anno (HsFieldBind lhs rhs) = SrcSpanAnnADefined in ghc-9.10.3 · GHC.Hs.Pat · orphan

typetype LHsFieldBind p id arg = XRec p (HsFieldBind id arg)

Located Haskell Record Field

typetype HsRecField p arg = HsFieldBind (LFieldOcc p) arg

Haskell Record Field

typetype LHsRecField p arg = XRec p (HsRecField p arg)

Located Haskell Record Field

typetype HsRecUpdField p q = HsFieldBind (LAmbiguousFieldOcc p) (LHsExpr q)

Haskell Record Update Field

typetype LHsRecUpdField p q = XRec p (HsRecUpdField p q)

Located Haskell Record Update Field

newtypenewtype RecFieldsDotDot

Newtype to be able to have a specific XRec instance for the Int in rec_dotdot

Constructors

RecFieldsDotDot
- unRecFieldsDotDot :: Int

Instances4Eq, Data, Ord, Anno

Eq RecFieldsDotDotDefined in ghc-9.10.3 · Language.Haskell.Syntax.Pat
Data RecFieldsDotDotDefined in ghc-9.10.3 · Language.Haskell.Syntax.Pat
Ord RecFieldsDotDotDefined in ghc-9.10.3 · Language.Haskell.Syntax.Pat
type Anno RecFieldsDotDot = EpaLocationDefined in ghc-9.10.3 · GHC.Hs.Pat · orphan

valuehsRecFields :: UnXRec p => HsRecFields p arg -> [XCFieldOcc p]

valuehsRecFieldSel :: UnXRec p => HsRecField p arg -> XCFieldOcc p

valuehsRecFieldsArgs :: UnXRec p => HsRecFields p arg -> [arg]