GHC.Tc.Gen.Sig

Documentation

data TcSigInfo

Constructors

TcIdSig TcIdSigInfo

TcPatSynSig TcPatSynInfo

Instances

Outputable TcSigInfo

Defined in GHC.Tc.Types

Methods

ppr :: TcSigInfo -> SDoc

data TcIdSigInfo

Constructors

CompleteSig

Fields

• sig_bndr :: TcId
• sig_ctxt :: UserTypeCtxt
• sig_loc :: SrcSpan

PartialSig

Fields

• psig_name :: Name
• psig_hs_ty :: LHsSigWcType GhcRn
• sig_ctxt :: UserTypeCtxt
• sig_loc :: SrcSpan

Instances

Outputable TcIdSigInfo

Defined in GHC.Tc.Types

Methods

ppr :: TcIdSigInfo -> SDoc

data TcIdSigInst

Instances

Outputable TcIdSigInst

Defined in GHC.Tc.Types

Methods

ppr :: TcIdSigInst -> SDoc

data TcPatSynInfo

Constructors

TPSI

Fields

• patsig_name :: Name
• patsig_implicit_bndrs :: [InvisTVBinder]
• patsig_univ_bndrs :: [InvisTVBinder]
• patsig_req :: TcThetaType
• patsig_ex_bndrs :: [InvisTVBinder]
• patsig_prov :: TcThetaType
• patsig_body_ty :: TcSigmaType

Instances

Outputable TcPatSynInfo

Defined in GHC.Tc.Types

Methods

ppr :: TcPatSynInfo -> SDoc

type TcSigFun = Name -> Maybe TcSigInfo

isPartialSig :: TcIdSigInst -> Bool

hasCompleteSig :: TcSigFun -> Name -> Bool

No signature or a partial signature

tcIdSigName :: TcIdSigInfo -> Name

tcSigInfoName :: TcSigInfo -> Name

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 TcIdSigInfo

completeSigFromId :: UserTypeCtxt -> Id -> TcIdSigInfo

tcInstSig :: TcIdSigInfo -> 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