TcPat

ghc-8.10.6: The GHC API

Safe Haskell | None
Language | Haskell2010

TcPat

Synopsis

- tcLetPat :: (Name -> Maybe TcId) -> LetBndrSpec -> LPat GhcRn -> ExpSigmaType -> TcM a -> TcM (LPat GhcTcId, a)
- newLetBndr :: LetBndrSpec -> Name -> TcType -> TcM TcId
- data LetBndrSpec
  - = LetLclBndr
  - | LetGblBndr TcPragEnv
- tcPat :: HsMatchContext Name -> LPat GhcRn -> ExpSigmaType -> TcM a -> TcM (LPat GhcTcId, a)
- tcPat_O :: HsMatchContext Name -> CtOrigin -> LPat GhcRn -> ExpSigmaType -> TcM a -> TcM (LPat GhcTcId, a)
- tcPats :: HsMatchContext Name -> [LPat GhcRn] -> [ExpSigmaType] -> TcM a -> TcM ([LPat GhcTcId], a)
- addDataConStupidTheta :: DataCon -> [TcType] -> TcM ()
- badFieldCon :: ConLike -> FieldLabelString -> SDoc
- polyPatSig :: TcType -> SDoc

# Documentation

tcLetPat :: (Name -> Maybe TcId) -> LetBndrSpec -> LPat GhcRn -> ExpSigmaType -> TcM a -> TcM (LPat GhcTcId, a) #

newLetBndr :: LetBndrSpec -> Name -> TcType -> TcM TcId #

data LetBndrSpec #

Constructors

LetLclBndr |
LetGblBndr TcPragEnv |

#### Instances

Instances details

Outputable LetBndrSpec # |
Instance details Defined in TcPat Methods ppr :: LetBndrSpec -> SDoc # pprPrec :: Rational -> LetBndrSpec -> SDoc #

tcPat :: HsMatchContext Name -> LPat GhcRn -> ExpSigmaType -> TcM a -> TcM (LPat GhcTcId, a) #

tcPat_O #

Arguments

:: HsMatchContext Name |
-> CtOrigin | origin to use if the type needs inst'ing
-> LPat GhcRn |
-> ExpSigmaType |
-> TcM a |
-> TcM (LPat GhcTcId, a) |

A variant of `tcPat` that takes a custom origin

tcPats :: HsMatchContext Name -> [LPat GhcRn] -> [ExpSigmaType] -> TcM a -> TcM ([LPat GhcTcId], a) #

addDataConStupidTheta :: DataCon -> [TcType] -> TcM () #

badFieldCon :: ConLike -> FieldLabelString -> SDoc #

polyPatSig :: TcType -> SDoc #