ghc-9.12.0.20241114: The GHC API

Safe Haskell	None
Language	GHC2021

GHC.Tc.Gen.Sig

Synopsis

data TcSigInfo
- = TcIdSig TcIdSig
- | TcPatSynSig TcPatSynSig
data TcIdSig
- = TcCompleteSig TcCompleteSig
- | TcPartialSig TcPartialSig
type TcSigFun = Name -> Maybe TcSigInfo
isPartialSig :: TcIdSigInst -> Bool
hasCompleteSig :: TcSigFun -> Name -> Bool
tcSigInfoName :: TcSigInfo -> Name
tcIdSigLoc :: TcIdSig -> SrcSpan
completeSigPolyId_maybe :: TcSigInfo -> Maybe TcId
isCompleteHsSig :: LHsSigWcType GhcRn -> Bool
lhsSigWcTypeContextSpan :: LHsSigWcType GhcRn -> ReportRedundantConstraints
lhsSigTypeContextSpan :: LHsSigType GhcRn -> ReportRedundantConstraints
tcTySigs :: [LSig GhcRn] -> TcM ([TcId], TcSigFun)
tcUserTypeSig :: SrcSpan -> LHsSigWcType GhcRn -> Maybe Name -> TcM TcIdSig
completeSigFromId :: UserTypeCtxt -> Id -> TcCompleteSig
tcInstSig :: TcIdSig -> TcM TcIdSigInst
type TcPragEnv = NameEnv [LSig GhcRn]
emptyPragEnv :: TcPragEnv
lookupPragEnv :: TcPragEnv -> Name -> [LSig GhcRn]
extendPragEnv :: TcPragEnv -> (Name, LSig GhcRn) -> TcPragEnv
mkPragEnv :: [LSig GhcRn] -> LHsBinds GhcRn -> TcPragEnv
tcSpecPrags :: Id -> [LSig GhcRn] -> TcM [LTcSpecPrag]
tcSpecWrapper :: UserTypeCtxt -> TcType -> TcType -> TcM HsWrapper
tcImpPrags :: [LSig GhcRn] -> TcM [LTcSpecPrag]
addInlinePrags :: TcId -> [LSig GhcRn] -> TcM TcId
addInlinePragArity :: Arity -> LSig GhcRn -> LSig GhcRn

Documentation

data TcSigInfo Source #

Constructors

TcIdSig TcIdSig
TcPatSynSig TcPatSynSig

Instances

Instances details

Outputable TcSigInfo Source #
Instance details Defined in GHC.Tc.Types.BasicTypes Methods ppr :: TcSigInfo -> SDoc Source #

data TcIdSig Source #

Constructors

TcCompleteSig TcCompleteSig
TcPartialSig TcPartialSig

Instances

Instances details

Outputable TcIdSig Source #
Instance details Defined in GHC.Tc.Types.BasicTypes Methods ppr :: TcIdSig -> SDoc Source #

type TcSigFun = Name -> Maybe TcSigInfo Source #

isPartialSig :: TcIdSigInst -> Bool Source #

hasCompleteSig :: TcSigFun -> Name -> Bool Source #

No signature or a partial signature

tcSigInfoName :: TcSigInfo -> Name Source #

tcIdSigLoc :: TcIdSig -> SrcSpan Source #

completeSigPolyId_maybe :: TcSigInfo -> Maybe TcId Source #

isCompleteHsSig :: LHsSigWcType GhcRn -> Bool Source #

If there are no wildcards, return a LHsSigWcType

lhsSigWcTypeContextSpan :: LHsSigWcType GhcRn -> ReportRedundantConstraints Source #

Find the location of the top-level context of a HsType. For example:

  forall a b. (Eq a, Ord b) => blah
              ^^^^^^^^^^^^^

If there is none, return Nothing

lhsSigTypeContextSpan :: LHsSigType GhcRn -> ReportRedundantConstraints Source #

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

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

completeSigFromId :: UserTypeCtxt -> Id -> TcCompleteSig Source #

tcInstSig :: TcIdSig -> TcM TcIdSigInst Source #

type TcPragEnv = NameEnv [LSig GhcRn] Source #

emptyPragEnv :: TcPragEnv 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 #

addInlinePragArity :: Arity -> LSig GhcRn -> LSig GhcRn Source #