ghc-9.14.0.20251128: The GHC API
Safe HaskellNone
LanguageGHC2021

GHC.Tc.Gen.Sig

Synopsis

Documentation

data TcSigInfo #

Constructors

TcIdSig TcIdSig 
TcPatSynSig TcPatSynSig 

Instances

Instances details
Outputable TcSigInfo # 
Instance details

Defined in GHC.Tc.Types.BasicTypes

Methods

ppr :: TcSigInfo -> SDoc #

data TcIdSig #

Constructors

TcCompleteSig TcCompleteSig 
TcPartialSig TcPartialSig 

Instances

Instances details
Outputable TcIdSig # 
Instance details

Defined in GHC.Tc.Types.BasicTypes

Methods

ppr :: TcIdSig -> SDoc #

type TcSigFun = Name -> Maybe TcSigInfo #

isPartialSig :: TcIdSigInst -> Bool #

hasCompleteSig :: TcSigFun -> Name -> Bool #

No signature or a partial signature

tcSigInfoName :: TcSigInfo -> Name #

tcIdSigLoc :: TcIdSig -> SrcSpan #

completeSigPolyId_maybe :: TcSigInfo -> Maybe TcId #

isCompleteHsSig :: LHsSigWcType GhcRn -> Bool #

If there are no wildcards, return a LHsSigWcType

lhsSigWcTypeContextSpan :: LHsSigWcType GhcRn -> ReportRedundantConstraints #

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 #

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 #

tcRules :: [LRuleDecls GhcRn] -> TcM [LRuleDecls GhcTc] #