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