ghc-lib-9.6.2.20231121: The GHC API, decoupled from GHC versions
Safe HaskellSafe-Inferred
LanguageHaskell2010

GHC.Tc.Gen.Sig

Synopsis

Documentation

data TcSigInfo #

Instances

Instances details
Outputable TcSigInfo 
Instance details

Defined in GHC.Tc.Types

Methods

ppr :: TcSigInfo -> SDoc #

data TcIdSigInfo #

Instances

Instances details
Outputable TcIdSigInfo 
Instance details

Defined in GHC.Tc.Types

Methods

ppr :: TcIdSigInfo -> SDoc #

data TcIdSigInst #

Instances

Instances details
Outputable TcIdSigInst 
Instance details

Defined in GHC.Tc.Types

Methods

ppr :: TcIdSigInst -> SDoc #

hasCompleteSig :: TcSigFun -> Name -> Bool #

No signature or a partial signature

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