GHC.Tc.Gen.Sig · ghc-10.0.0.20260917

datadata TcSigInfo

#

Constructors

TcIdSig TcIdSig
TcPatSynSig TcPatSynSig

Instances1Outputable

Outputable TcSigInfoDefined in ghc-10.0.0.20260917 · GHC.Tc.Types.BasicTypes

datadata TcIdSig

#

Constructors

Instances1Outputable

Outputable TcIdSigDefined in ghc-10.0.0.20260917 · GHC.Tc.Types.BasicTypes

typetype TcSigFun = Name -> Maybe TcSigInfo

#

valueisPartialSig :: TcIdSigInst -> Bool

#

valuehasCompleteSig :: TcSigFun -> Name -> Bool

#

No signature or a partial signature

valuetcSigInfoName :: TcSigInfo -> Name

#

valuetcIdSigLoc :: TcIdSig -> SrcSpan

#

valuecompleteSigPolyId_maybe :: TcSigInfo -> Maybe TcId

#

valueisCompleteHsSig :: LHsSigWcType GhcRn -> Bool

#

If there are no wildcards, return a LHsSigWcType

valuelhsSigWcTypeContextSpan :: 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

valuelhsSigTypeContextSpan :: LHsSigType GhcRn -> ReportRedundantConstraints

#

valuetcTySigs :: [LSig GhcRn] -> TcM ([TcId], TcSigFun)

#

valuetcUserTypeSig :: SrcSpan -> LHsSigWcType GhcRn -> Maybe Name -> TcM TcIdSig

#

valuecompleteSigFromId :: UserTypeCtxt -> Id -> TcCompleteSig

#

valuetcInstSig :: TcIdSig -> TcM TcIdSigInst

#

typetype TcPragEnv = NameEnv [LSig GhcRn]

#

valueemptyPragEnv :: TcPragEnv

#

valuelookupPragEnv :: TcPragEnv -> Name -> [LSig GhcRn]

#

valueextendPragEnv :: TcPragEnv -> (Name, LSig GhcRn) -> TcPragEnv

#

valuemkPragEnv :: [LSig GhcRn] -> LHsBinds GhcRn -> TcPragEnv

#

valuetcSpecPrags :: Id -> [LSig GhcRn] -> TcM [LTcSpecPrag]

#

valuetcSpecWrapper :: UserTypeCtxt -> TcType -> TcType -> TcM HsWrapper

#

valuetcImpPrags :: [LSig GhcRn] -> TcM [LTcSpecPrag]

#

valueaddInlinePrags :: TcId -> [LSig GhcRn] -> TcM TcId

#

valueaddInlinePragArity :: Arity -> LSig GhcRn -> LSig GhcRn

#

valuetcRules :: [LRuleDecls GhcRn] -> TcM [LRuleDecls GhcTc]

#