ghc-9.12: The GHC API
Safe HaskellNone
LanguageGHC2021

GHC.Tc.Gen.Sig

Synopsis

Documentation

data TcSigInfo Source #

Instances

Instances details
Outputable TcSigInfo Source # 
Instance details

Defined in GHC.Tc.Types.BasicTypes

Methods

ppr :: TcSigInfo -> SDoc Source #

data TcIdSig Source #

Instances

Instances details
Outputable TcIdSig Source # 
Instance details

Defined in GHC.Tc.Types.BasicTypes

Methods

ppr :: TcIdSig -> SDoc Source #

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

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