ghc-6.10.1: The GHC API Contents Index

HsPat

Documentation

data Pat id

Constructors WildPat PostTcType VarPat id VarPatOut id (DictBinds 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 pat_con :: Located DataCon pat_tvs :: [TyVar] pat_dicts :: [id] pat_binds :: DictBinds id pat_args :: HsConPatDetails id pat_ty :: Type 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) TypePat (LHsType id) SigPatIn (LPat id) (LHsType id) SigPatOut (LPat id) Type CoPat HsWrapper (Pat id) Type Instances OutputableBndr name => Outputable (Pat name)

type InPat id = LPat id

type OutPat id = LPat id

type LPat id = Located (Pat id)

data HsConDetails arg rec

Constructors PrefixCon [arg] RecCon rec InfixCon arg arg

type HsConPatDetails id = HsConDetails (LPat id) (HsRecFields id (LPat id))

hsConPatArgs :: HsConPatDetails id -> [LPat id]

data HsRecFields id arg

Constructors HsRecFields rec_flds :: [HsRecField id arg] rec_dotdot :: Maybe Int Instances (OutputableBndr id, Outputable arg) => Outputable (HsRecFields id arg)

data HsRecField id arg

Constructors HsRecField hsRecFieldId :: Located id hsRecFieldArg :: arg hsRecPun :: Bool Instances (OutputableBndr id, Outputable arg) => Outputable (HsRecField id arg)

hsRecFields :: HsRecFields id arg -> [id]

data HsQuasiQuote id

Constructors HsQuasiQuote id id SrcSpan FastString Instances OutputableBndr id => Outputable (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

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