Safe Haskell | None |
---|---|
Language | Haskell2010 |
- data Pat id
- = WildPat (PostTc id Type)
- | VarPat (Located id)
- | LazyPat (LPat id)
- | AsPat (Located id) (LPat id)
- | ParPat (LPat id)
- | BangPat (LPat id)
- | ListPat [LPat id] (PostTc id Type) (Maybe (PostTc id Type, SyntaxExpr id))
- | TuplePat [LPat id] Boxity [PostTc id Type]
- | PArrPat [LPat id] (PostTc id Type)
- | ConPatIn (Located id) (HsConPatDetails id)
- | ConPatOut { }
- | ViewPat (LHsExpr id) (LPat id) (PostTc id Type)
- | SplicePat (HsSplice id)
- | LitPat HsLit
- | NPat (Located (HsOverLit id)) (Maybe (SyntaxExpr id)) (SyntaxExpr id) (PostTc id Type)
- | NPlusKPat (Located id) (Located (HsOverLit id)) (HsOverLit id) (SyntaxExpr id) (SyntaxExpr id) (PostTc id Type)
- | SigPatIn (LPat id) (LHsSigWcType id)
- | SigPatOut (LPat id) Type
- | CoPat HsWrapper (Pat id) Type
- type InPat id = LPat id
- type OutPat id = LPat id
- type LPat id = Located (Pat id)
- type HsConPatDetails id = HsConDetails (LPat id) (HsRecFields id (LPat id))
- hsConPatArgs :: HsConPatDetails id -> [LPat id]
- data HsRecFields id arg = HsRecFields {
- rec_flds :: [LHsRecField id arg]
- rec_dotdot :: Maybe Int
- data HsRecField' id arg = HsRecField {
- hsRecFieldLbl :: Located id
- hsRecFieldArg :: arg
- hsRecPun :: Bool
- type LHsRecField' id arg = Located (HsRecField' id arg)
- type HsRecField id arg = HsRecField' (FieldOcc id) arg
- type LHsRecField id arg = Located (HsRecField id arg)
- type HsRecUpdField id = HsRecField' (AmbiguousFieldOcc id) (LHsExpr id)
- type LHsRecUpdField id = Located (HsRecUpdField id)
- hsRecFields :: HsRecFields id arg -> [PostRn id id]
- hsRecFieldSel :: HsRecField name arg -> Located (PostRn name name)
- hsRecFieldId :: HsRecField Id arg -> Located Id
- hsRecFieldsArgs :: HsRecFields id arg -> [arg]
- hsRecUpdFieldId :: HsRecField' (AmbiguousFieldOcc Id) arg -> Located Id
- hsRecUpdFieldOcc :: HsRecField' (AmbiguousFieldOcc Id) arg -> LFieldOcc Id
- hsRecUpdFieldRdr :: HsRecUpdField id -> Located RdrName
- mkPrefixConPat :: DataCon -> [OutPat id] -> [Type] -> OutPat id
- mkCharLitPat :: String -> Char -> OutPat id
- mkNilPat :: Type -> OutPat id
- isUnliftedHsBind :: HsBind id -> Bool
- looksLazyPatBind :: HsBind id -> Bool
- isUnliftedLPat :: LPat id -> Bool
- isBangedLPat :: LPat id -> Bool
- isBangedPatBind :: HsBind id -> Bool
- hsPatNeedsParens :: Pat a -> Bool
- isIrrefutableHsPat :: OutputableBndr id => LPat id -> Bool
- collectEvVarsPats :: [Pat id] -> Bag EvVar
- pprParendLPat :: OutputableBndr name => LPat name -> SDoc
- pprConArgs :: OutputableBndr id => HsConPatDetails id -> SDoc
Documentation
WildPat (PostTc id Type) | |
VarPat (Located id) | |
LazyPat (LPat id) | |
AsPat (Located id) (LPat id) | |
ParPat (LPat id) |
|
BangPat (LPat id) | |
ListPat [LPat id] (PostTc id Type) (Maybe (PostTc id Type, SyntaxExpr id)) |
|
TuplePat [LPat id] Boxity [PostTc id Type] |
|
PArrPat [LPat id] (PostTc id Type) |
|
ConPatIn (Located id) (HsConPatDetails id) | |
ConPatOut | |
ViewPat (LHsExpr id) (LPat id) (PostTc id Type) | |
SplicePat (HsSplice id) |
|
LitPat HsLit | |
NPat (Located (HsOverLit id)) (Maybe (SyntaxExpr id)) (SyntaxExpr id) (PostTc id Type) | |
NPlusKPat (Located id) (Located (HsOverLit id)) (HsOverLit id) (SyntaxExpr id) (SyntaxExpr id) (PostTc id Type) | |
SigPatIn (LPat id) (LHsSigWcType id) | |
SigPatOut (LPat id) Type | |
CoPat HsWrapper (Pat id) Type |
DataId id => Data (Pat id) # | |
OutputableBndr name => Outputable (Pat name) # | |
type HsConPatDetails id = HsConDetails (LPat id) (HsRecFields id (LPat id)) Source #
hsConPatArgs :: HsConPatDetails id -> [LPat id] Source #
data HsRecFields id arg Source #
HsRecFields | |
|
Functor (HsRecFields id) # | |
Foldable (HsRecFields id) # | |
Traversable (HsRecFields id) # | |
(DataId id, Data arg) => Data (HsRecFields id arg) # | |
Outputable arg => Outputable (HsRecFields id arg) # | |
data HsRecField' id arg Source #
For details on above see note [Api annotations] in ApiAnnotation
HsRecField | |
|
Functor (HsRecField' id) # | |
Foldable (HsRecField' id) # | |
Traversable (HsRecField' id) # | |
(Data id, Data arg) => Data (HsRecField' id arg) # | |
(Outputable id, Outputable arg) => Outputable (HsRecField' id arg) # | |
type LHsRecField' id arg = Located (HsRecField' id arg) Source #
type HsRecField id arg = HsRecField' (FieldOcc id) arg Source #
type LHsRecField id arg = Located (HsRecField id arg) Source #
type HsRecUpdField id = HsRecField' (AmbiguousFieldOcc id) (LHsExpr id) Source #
type LHsRecUpdField id = Located (HsRecUpdField id) Source #
hsRecFields :: HsRecFields id arg -> [PostRn id id] Source #
hsRecFieldSel :: HsRecField name arg -> Located (PostRn name name) Source #
hsRecFieldId :: HsRecField Id arg -> Located Id Source #
hsRecFieldsArgs :: HsRecFields id arg -> [arg] Source #
hsRecUpdFieldId :: HsRecField' (AmbiguousFieldOcc Id) arg -> Located Id Source #
hsRecUpdFieldOcc :: HsRecField' (AmbiguousFieldOcc Id) arg -> LFieldOcc Id Source #
hsRecUpdFieldRdr :: HsRecUpdField id -> Located RdrName Source #
isUnliftedHsBind :: HsBind id -> Bool Source #
looksLazyPatBind :: HsBind id -> Bool Source #
isUnliftedLPat :: LPat id -> Bool Source #
isBangedLPat :: LPat id -> Bool Source #
isBangedPatBind :: HsBind id -> Bool Source #
hsPatNeedsParens :: Pat a -> Bool Source #
isIrrefutableHsPat :: OutputableBndr id => LPat id -> Bool Source #
pprParendLPat :: OutputableBndr name => LPat name -> SDoc Source #
pprConArgs :: OutputableBndr id => HsConPatDetails id -> SDoc Source #