ghc-lib-9.0.1.20210205: The GHC API, decoupled from GHC versions
Safe HaskellNone
LanguageHaskell2010

GHC.Tc.Gen.Sig

Documentation

data TcSigInfo #

Instances

Instances details
Outputable TcSigInfo 
Instance details

Defined in GHC.Tc.Types

Methods

ppr :: TcSigInfo -> SDoc

pprPrec :: Rational -> TcSigInfo -> SDoc

data TcIdSigInfo #

Constructors

CompleteSig 
PartialSig 

Fields

Instances

Instances details
Outputable TcIdSigInfo 
Instance details

Defined in GHC.Tc.Types

Methods

ppr :: TcIdSigInfo -> SDoc

pprPrec :: Rational -> TcIdSigInfo -> SDoc

data TcIdSigInst #

Instances

Instances details
Outputable TcIdSigInst 
Instance details

Defined in GHC.Tc.Types

Methods

ppr :: TcIdSigInst -> SDoc

pprPrec :: Rational -> TcIdSigInst -> SDoc

data TcPatSynInfo #

Constructors

TPSI 

Fields

Instances

Instances details
Outputable TcPatSynInfo 
Instance details

Defined in GHC.Tc.Types

Methods

ppr :: TcPatSynInfo -> SDoc

pprPrec :: Rational -> TcPatSynInfo -> SDoc

tcTySigs :: [LSig GhcRn] -> TcM ([TcId], TcSigFun) Source #

tcUserTypeSig :: SrcSpan -> LHsSigWcType GhcRn -> Maybe Name -> TcM TcIdSigInfo Source #

type TcPragEnv = NameEnv [LSig GhcRn] Source #

lookupPragEnv :: TcPragEnv -> Name -> [LSig GhcRn] Source #

extendPragEnv :: TcPragEnv -> (Name, LSig GhcRn) -> TcPragEnv Source #

mkPragEnv :: [LSig GhcRn] -> LHsBinds GhcRn -> TcPragEnv Source #

tcSpecPrags :: Id -> [LSig GhcRn] -> TcM [LTcSpecPrag] Source #

tcSpecWrapper :: UserTypeCtxt -> TcType -> TcType -> TcM HsWrapper Source #

tcImpPrags :: [LSig GhcRn] -> TcM [LTcSpecPrag] Source #

addInlinePrags :: TcId -> [LSig GhcRn] -> TcM TcId Source #