| Safe Haskell | None |
|---|
HsPat
Documentation
Constructors
| WildPat PostTcType | |
| VarPat id | |
| LazyPat (LPat id) | |
| AsPat (Located id) (LPat id) | |
| ParPat (LPat id) | |
| BangPat (LPat id) | |
| ListPat [LPat id] PostTcType | |
| TuplePat [LPat id] Boxity PostTcType | |
| PArrPat [LPat id] PostTcType | |
| ConPatIn (Located id) (HsConPatDetails id) | |
| ConPatOut | |
| ViewPat (LHsExpr id) (LPat id) PostTcType | |
| QuasiQuotePat (HsQuasiQuote id) | |
| LitPat HsLit | |
| NPat (HsOverLit id) (Maybe (SyntaxExpr id)) (SyntaxExpr id) | |
| NPlusKPat (Located id) (HsOverLit id) (SyntaxExpr id) (SyntaxExpr id) | |
| SigPatIn (LPat id) (HsWithBndrs (LHsType id)) | |
| SigPatOut (LPat id) Type | |
| CoPat HsWrapper (Pat id) Type | |
Instances
| Typeable1 Pat | |
| Data id => Data (Pat id) | |
| OutputableBndr name => Outputable (Pat name) |
data HsConDetails arg rec Source
Instances
| Typeable2 HsConDetails | |
| (Data arg, Data rec) => Data (HsConDetails arg rec) |
type HsConPatDetails id = HsConDetails (LPat id) (HsRecFields id (LPat id))Source
hsConPatArgs :: HsConPatDetails id -> [LPat id]Source
data HsRecFields id arg Source
Constructors
| HsRecFields | |
Fields
| |
Instances
| Typeable2 HsRecFields | |
| (Data id, Data arg) => Data (HsRecFields id arg) | |
| (OutputableBndr id, Outputable arg) => Outputable (HsRecFields id arg) |
data HsRecField id arg Source
Constructors
| HsRecField | |
Fields
| |
Instances
| Typeable2 HsRecField | |
| (Data id, Data arg) => Data (HsRecField id arg) | |
| (OutputableBndr id, Outputable arg) => Outputable (HsRecField id arg) |
hsRecFields :: HsRecFields id arg -> [id]Source
mkCharLitPat :: Char -> OutPat idSource
isBangHsBind :: HsBind id -> BoolSource
isLiftedPatBind :: HsBind id -> BoolSource
isBangLPat :: LPat id -> BoolSource
hsPatNeedsParens :: Pat a -> BoolSource
isIrrefutableHsPat :: OutputableBndr id => LPat id -> BoolSource
pprParendLPat :: OutputableBndr name => LPat name -> SDocSource