| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Documentation | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| data Pat id | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| type InPat id = LPat id | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| type OutPat id = LPat id | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| type LPat id = Located (Pat id) | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| data HsConDetails arg rec | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| type HsConPatDetails id = HsConDetails (LPat id) (HsRecFields id (LPat id)) | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| hsConPatArgs :: HsConPatDetails id -> [LPat id] | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| data HsRecFields id arg | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| data HsRecField id arg | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| hsRecFields :: HsRecFields id arg -> [id] | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| data HsQuasiQuote id | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| mkPrefixConPat :: DataCon -> [OutPat id] -> Type -> OutPat id | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| mkCharLitPat :: Char -> OutPat id | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| mkNilPat :: Type -> OutPat id | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| mkCoPat :: HsWrapper -> Pat id -> Type -> Pat id | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| mkCoPatCoI :: CoercionI -> Pat id -> Type -> Pat id | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| isBangHsBind :: HsBind id -> Bool | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| hsPatNeedsParens :: Pat a -> Bool | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| patsAreAllCons :: [Pat id] -> Bool | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| isConPat :: Pat id -> Bool | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| isSigPat :: Pat id -> Bool | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| isWildPat :: Pat id -> Bool | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| patsAreAllLits :: [Pat id] -> Bool | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| isLitPat :: Pat id -> Bool | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| isIrrefutableHsPat :: OutputableBndr id => LPat id -> Bool | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Produced by Haddock version 2.7.2 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||