TcSigs

Synopsis

• data TcSigInfo
  • = TcIdSig TcIdSigInfo
  • | TcPatSynSig TcPatSynInfo
• data TcIdSigInfo
  • = CompleteSig {
    • sig_bndr :: TcId
    • sig_ctxt :: UserTypeCtxt
    • sig_loc :: SrcSpan
    }
  • | PartialSig {
    • psig_name :: Name
    • psig_hs_ty :: LHsSigWcType Name
    • sig_ctxt :: UserTypeCtxt
    • sig_loc :: SrcSpan
    }
• data TcIdSigInst
• data TcPatSynInfo = TPSI {
  • patsig_name :: Name
  • patsig_implicit_bndrs :: [TyVarBinder]
  • patsig_univ_bndrs :: [TyVar]
  • patsig_req :: TcThetaType
  • patsig_ex_bndrs :: [TyVar]
  • 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
• tcTySigs :: [LSig Name] -> TcM ([TcId], TcSigFun)
• tcUserTypeSig :: SrcSpan -> LHsSigWcType Name -> Maybe Name -> TcM TcIdSigInfo
• completeSigFromId :: UserTypeCtxt -> Id -> TcIdSigInfo
• tcInstSig :: TcIdSigInfo -> TcM TcIdSigInst
• type TcPragEnv = NameEnv [LSig Name]
• emptyPragEnv :: TcPragEnv
• lookupPragEnv :: TcPragEnv -> Name -> [LSig Name]
• extendPragEnv :: TcPragEnv -> (Name, LSig Name) -> TcPragEnv
• mkPragEnv :: [LSig Name] -> LHsBinds Name -> TcPragEnv
• tcSpecPrags :: Id -> [LSig Name] -> TcM [LTcSpecPrag]
• tcSpecWrapper :: UserTypeCtxt -> TcType -> TcType -> TcM HsWrapper
• tcImpPrags :: [LSig Name] -> TcM [LTcSpecPrag]
• addInlinePrags :: TcId -> [LSig Name] -> TcM TcId

Documentation