ghc-7.2.2: The GHC API

HsPat

Documentation

data Pat id Source

Constructors

WildPat PostTcType 
VarPat 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 

Fields

pat_con :: Located DataCon
 
pat_tvs :: [TyVar]
 
pat_dicts :: [EvVar]
 
pat_binds :: TcEvBinds
 
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) 
SigPatIn (LPat id) (LHsType id) 
SigPatOut (LPat id) Type 
CoPat HsWrapper (Pat id) Type 

Instances

Typeable1 Pat 
Data id => Data (Pat id) 
OutputableBndr name => Outputable (Pat name) 

type InPat id = LPat idSource

type OutPat id = LPat idSource

type LPat id = Located (Pat id)Source

data HsConDetails arg rec Source

Constructors

PrefixCon [arg] 
RecCon rec 
InfixCon arg arg 

Instances

Typeable2 HsConDetails 
(Data arg, Data rec) => Data (HsConDetails arg rec) 

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

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

data HsRecFields id arg Source

Constructors

HsRecFields 

Fields

rec_flds :: [HsRecField id arg]
 
rec_dotdot :: Maybe Int
 

Instances

data HsRecField id arg Source

Constructors

HsRecField 

Fields

hsRecFieldId :: Located id
 
hsRecFieldArg :: arg
 
hsRecPun :: Bool
 

Instances

Typeable2 HsRecField 
(Data id, Data arg) => Data (HsRecField id arg) 
(OutputableBndr id, Outputable arg) => Outputable (HsRecField id arg) 

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

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

mkCharLitPat :: Char -> OutPat idSource

mkNilPat :: Type -> OutPat idSource

isBangHsBind :: HsBind id -> BoolSource

isLiftedPatBind :: HsBind id -> BoolSource

isBangLPat :: LPat id -> BoolSource

hsPatNeedsParens :: Pat a -> BoolSource

isIrrefutableHsPat :: OutputableBndr id => LPat id -> BoolSource

pprParendLPat :: OutputableBndr name => LPat name -> SDocSource