ghc-6.12.3: The GHC API Source code Contents Index

HsPat

Documentation

data Pat id Source

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 Source

type OutPat id = LPat id Source

type LPat id = Located (Pat id) Source

data HsConDetails arg rec Source

Constructors PrefixCon [arg] RecCon rec InfixCon arg arg

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

hsConPatArgs :: HsConPatDetails id -> [LPat id] Source

data HsRecFields id arg Source

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

data HsRecField id arg Source

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

hsRecFields :: HsRecFields id arg -> [id] Source

data HsQuasiQuote id Source

Constructors HsQuasiQuote id id SrcSpan FastString Instances OutputableBndr id => Outputable (HsQuasiQuote id)

mkPrefixConPat :: DataCon -> [OutPat id] -> Type -> OutPat id Source

mkCharLitPat :: Char -> OutPat id Source

mkNilPat :: Type -> OutPat id Source

mkCoPat :: HsWrapper -> Pat id -> Type -> Pat id Source

mkCoPatCoI :: CoercionI -> Pat id -> Type -> Pat id Source

isBangHsBind :: HsBind id -> Bool Source

hsPatNeedsParens :: Pat a -> Bool Source

patsAreAllCons :: [Pat id] -> Bool Source

isConPat :: Pat id -> Bool Source

isSigPat :: Pat id -> Bool Source

isWildPat :: Pat id -> Bool Source

patsAreAllLits :: [Pat id] -> Bool Source

isLitPat :: Pat id -> Bool Source

isIrrefutableHsPat :: OutputableBndr id => LPat id -> Bool Source

Produced by Haddock version 2.6.1