| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
GHC.Tc.Gen.Sig
Synopsis
- data TcSigInfo
- data TcIdSigInfo
- = CompleteSig { }
- | PartialSig {
- psig_name :: Name
- psig_hs_ty :: LHsSigWcType GhcRn
- sig_ctxt :: UserTypeCtxt
- sig_loc :: SrcSpan
- data TcIdSigInst
- data TcPatSynInfo = TPSI {
- 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
- type TcSigFun = Name -> Maybe TcSigInfo
- isPartialSig :: TcIdSigInst -> Bool
- hasCompleteSig :: TcSigFun -> Name -> Bool
- tcIdSigName :: TcIdSigInfo -> Name
- tcSigInfoName :: TcSigInfo -> Name
- completeSigPolyId_maybe :: TcSigInfo -> Maybe TcId
- isCompleteHsSig :: LHsSigWcType GhcRn -> Bool
- 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
Documentation
Constructors
| TcIdSig TcIdSigInfo | |
| TcPatSynSig TcPatSynInfo |
Instances
| Outputable TcSigInfo | |
Defined in GHC.Tc.Types | |
data TcIdSigInfo #
Constructors
| CompleteSig | |
| PartialSig | |
Fields
| |
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
| |
Instances
| Outputable TcPatSynInfo | |
Defined in GHC.Tc.Types Methods ppr :: TcPatSynInfo -> SDoc | |
isPartialSig :: TcIdSigInst -> Bool #
hasCompleteSig :: TcSigFun -> Name -> Bool #
tcIdSigName :: TcIdSigInfo -> Name Source #
tcSigInfoName :: TcSigInfo -> Name Source #
isCompleteHsSig :: LHsSigWcType GhcRn -> Bool Source #
If there are no wildcards, return a LHsSigType
tcUserTypeSig :: SrcSpan -> LHsSigWcType GhcRn -> Maybe Name -> TcM TcIdSigInfo Source #
completeSigFromId :: UserTypeCtxt -> Id -> TcIdSigInfo Source #
tcInstSig :: TcIdSigInfo -> TcM TcIdSigInst Source #
lookupPragEnv :: TcPragEnv -> Name -> [LSig GhcRn] Source #
tcSpecPrags :: Id -> [LSig GhcRn] -> TcM [LTcSpecPrag] Source #
tcSpecWrapper :: UserTypeCtxt -> TcType -> TcType -> TcM HsWrapper Source #
tcImpPrags :: [LSig GhcRn] -> TcM [LTcSpecPrag] Source #
addInlinePrags :: TcId -> [LSig GhcRn] -> TcM TcId Source #