| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
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.6.0 |