Constructors
Instances1Outputable
Outputable TcSigInfoDefined in ghc-9.14.1 · GHC.Tc.Types.BasicTypes
Moduleghc-9.14.1GHC2021
GHC.Tc.Gen.Sig
Synopsis
- data TcSigInfo
- data TcIdSig
- type TcSigFun
- value isPartialSig
- value hasCompleteSig
- value tcSigInfoName
- value tcIdSigLoc
- value completeSigPolyId_maybe
- value isCompleteHsSig
- value lhsSigWcTypeContextSpan
- value lhsSigTypeContextSpan
- value tcTySigs
- value tcUserTypeSig
- value completeSigFromId
- value tcInstSig
- type TcPragEnv
- value emptyPragEnv
- value lookupPragEnv
- value extendPragEnv
- value mkPragEnv
- value tcSpecPrags
- value tcSpecWrapper
- value tcImpPrags
- value addInlinePrags
- value addInlinePragArity
- value tcRules
- Packageghc-9.14.1
- Exports26
- LanguageGHC2021
- LicenceBSD-3-Clause
- SourceBasicTypes.hs
Constructors
Instances1Outputable
Outputable TcIdSigDefined in ghc-9.14.1 · GHC.Tc.Types.BasicTypes
No signature or a partial signature
If there are no wildcards, return a LHsSigWcType
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