Safe Haskell	None
Language	Haskell2010

HsPat

Synopsis

Documentation

data Pat id Source

AnnKeywordId : AnnBang

Constructors

WildPat (PostTc id Type)
VarPat (Located id)
LazyPat (LPat id)	`AnnKeywordId` : `AnnTilde`
AsPat (Located id) (LPat id)	`AnnKeywordId` : `AnnAt`
ParPat (LPat id)	`AnnKeywordId` : `AnnOpen` `'('`, `AnnClose` `')'`
BangPat (LPat id)	`AnnKeywordId` : `AnnBang`
ListPat [LPat id] (PostTc id Type) (Maybe (PostTc id Type, SyntaxExpr id))	`AnnKeywordId` : `AnnOpen` `'['`, `AnnClose` `']'`
TuplePat [LPat id] Boxity [PostTc id Type]	`AnnKeywordId` : `AnnOpen` `'('` or `'(#'`, `AnnClose` `')'` or `'#)'`
PArrPat [LPat id] (PostTc id Type)	`AnnKeywordId` : `AnnOpen` `'[:'`, `AnnClose` `':]'`
ConPatIn (Located id) (HsConPatDetails id)
ConPatOut
Fields pat_con :: Located ConLike pat_arg_tys :: [Type] pat_tvs :: [TyVar] pat_dicts :: [EvVar] pat_binds :: TcEvBinds pat_args :: HsConPatDetails id pat_wrap :: HsWrapper
ViewPat (LHsExpr id) (LPat id) (PostTc id Type)	`AnnKeywordId` : `AnnRarrow`
SplicePat (HsSplice id)	`AnnKeywordId` : `AnnOpen` `'$('` `AnnClose` `')'`
LitPat HsLit
NPat (Located (HsOverLit id)) (Maybe (SyntaxExpr id)) (SyntaxExpr id) (PostTc id Type)
NPlusKPat (Located id) (Located (HsOverLit id)) (HsOverLit id) (SyntaxExpr id) (SyntaxExpr id) (PostTc id Type)	`AnnKeywordId` : `AnnVal` `+`
SigPatIn (LPat id) (LHsSigWcType id)	`AnnKeywordId` : `AnnDcolon`
SigPatOut (LPat id) Type
CoPat HsWrapper (Pat id) Type

Instances

DataId id => Data (Pat id)
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Pat id -> c (Pat id) Source gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Pat id) Source toConstr :: Pat id -> Constr Source dataTypeOf :: Pat id -> DataType Source dataCast1 :: Typeable (TYPE Lifted -> TYPE Lifted) t => (forall d. Data d => c (t d)) -> Maybe (c (Pat id)) Source dataCast2 :: Typeable (TYPE Lifted -> TYPE Lifted -> TYPE Lifted) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Pat id)) Source gmapT :: (forall b. Data b => b -> b) -> Pat id -> Pat id Source gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Pat id -> r Source gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Pat id -> r Source gmapQ :: (forall d. Data d => d -> u) -> Pat id -> [u] Source gmapQi :: Int -> (forall d. Data d => d -> u) -> Pat id -> u Source gmapM :: Monad m => (forall d. Data d => d -> m d) -> Pat id -> m (Pat id) Source gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Pat id -> m (Pat id) Source gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Pat id -> m (Pat id) Source
OutputableBndr name => Outputable (Pat name)
Methods ppr :: Pat name -> SDoc Source pprPrec :: Rational -> Pat name -> SDoc Source

type InPat id = LPat id Source

type OutPat id = LPat id Source

type LPat id = Located (Pat id) Source

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 :: [LHsRecField id arg] rec_dotdot :: Maybe Int

Instances

(DataId id, Data arg) => Data (HsRecFields id arg)
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> HsRecFields id arg -> c (HsRecFields id arg) Source gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (HsRecFields id arg) Source toConstr :: HsRecFields id arg -> Constr Source dataTypeOf :: HsRecFields id arg -> DataType Source dataCast1 :: Typeable (TYPE Lifted -> TYPE Lifted) t => (forall d. Data d => c (t d)) -> Maybe (c (HsRecFields id arg)) Source dataCast2 :: Typeable (TYPE Lifted -> TYPE Lifted -> TYPE Lifted) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (HsRecFields id arg)) Source gmapT :: (forall b. Data b => b -> b) -> HsRecFields id arg -> HsRecFields id arg Source gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> HsRecFields id arg -> r Source gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> HsRecFields id arg -> r Source gmapQ :: (forall d. Data d => d -> u) -> HsRecFields id arg -> [u] Source gmapQi :: Int -> (forall d. Data d => d -> u) -> HsRecFields id arg -> u Source gmapM :: Monad m => (forall d. Data d => d -> m d) -> HsRecFields id arg -> m (HsRecFields id arg) Source gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> HsRecFields id arg -> m (HsRecFields id arg) Source gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> HsRecFields id arg -> m (HsRecFields id arg) Source
Outputable arg => Outputable (HsRecFields id arg)
Methods ppr :: HsRecFields id arg -> SDoc Source pprPrec :: Rational -> HsRecFields id arg -> SDoc Source

data HsRecField' id arg Source

AnnKeywordId : AnnEqual,

For details on above see note [Api annotations] in ApiAnnotation

Constructors

HsRecField
Fields hsRecFieldLbl :: Located id hsRecFieldArg :: arg Filled in by renamer when punning hsRecPun :: Bool Note [Punning]

Instances

(Data id, Data arg) => Data (HsRecField' id arg)
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> HsRecField' id arg -> c (HsRecField' id arg) Source gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (HsRecField' id arg) Source toConstr :: HsRecField' id arg -> Constr Source dataTypeOf :: HsRecField' id arg -> DataType Source dataCast1 :: Typeable (TYPE Lifted -> TYPE Lifted) t => (forall d. Data d => c (t d)) -> Maybe (c (HsRecField' id arg)) Source dataCast2 :: Typeable (TYPE Lifted -> TYPE Lifted -> TYPE Lifted) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (HsRecField' id arg)) Source gmapT :: (forall b. Data b => b -> b) -> HsRecField' id arg -> HsRecField' id arg Source gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> HsRecField' id arg -> r Source gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> HsRecField' id arg -> r Source gmapQ :: (forall d. Data d => d -> u) -> HsRecField' id arg -> [u] Source gmapQi :: Int -> (forall d. Data d => d -> u) -> HsRecField' id arg -> u Source gmapM :: Monad m => (forall d. Data d => d -> m d) -> HsRecField' id arg -> m (HsRecField' id arg) Source gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> HsRecField' id arg -> m (HsRecField' id arg) Source gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> HsRecField' id arg -> m (HsRecField' id arg) Source
(Outputable id, Outputable arg) => Outputable (HsRecField' id arg)
Methods ppr :: HsRecField' id arg -> SDoc Source pprPrec :: Rational -> HsRecField' id arg -> SDoc Source