GHC.Tc.Gen.Sig

Documentation

data TcSigInfo

Constructors

TcIdSig TcIdSig

TcPatSynSig TcPatSynSig

Instances

Outputable TcSigInfo

Defined in GHC.Tc.Types.BasicTypes

Methods

ppr :: TcSigInfo -> SDoc

data TcIdSig

Constructors

TcCompleteSig TcCompleteSig

TcPartialSig TcPartialSig

Instances

Outputable TcIdSig

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