Searched refs:tcSplitMethodTy (Results 1 – 8 of 8) sorted by relevance
/dports/lang/ghc/ghc-8.10.7/compiler/typecheck/ |
H A D | TcDerivInfer.hs | 357 = tcSplitMethodTy (varType sel_id)
|
H A D | TcType.hs | 143 tcSplitDFunTy, tcSplitDFunHead, tcSplitMethodTy, 1423 tcSplitMethodTy :: Type -> ([TyVar], PredType, Type) 1434 tcSplitMethodTy ty function
|
H A D | TcGenDeriv.hs | 1894 = tcSplitMethodTy (varType id)
|
H A D | TcSplice.hs | 1710 = do { let (_, _, ty) = tcSplitMethodTy (idType op)
|
H A D | TcTyClsDecls.hs | 4006 (_,cls_pred,tau1) = tcSplitMethodTy op_ty
|
/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Tc/Utils/ |
H A D | TcType.hs | 146 tcSplitDFunTy, tcSplitDFunHead, tcSplitMethodTy, 1459 tcSplitMethodTy :: Type -> ([TyVar], PredType, Type) 1470 tcSplitMethodTy ty function
|
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/compiler/typecheck/ |
H A D | TcType.hs | 143 tcSplitDFunTy, tcSplitDFunHead, tcSplitMethodTy, 1423 tcSplitMethodTy :: Type -> ([TyVar], PredType, Type) 1434 tcSplitMethodTy ty function
|
/dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Tc/Utils/ |
H A D | TcType.hs | 148 tcSplitDFunTy, tcSplitDFunHead, tcSplitMethodTy, 1502 tcSplitMethodTy :: Type -> ([TyVar], PredType, Type) 1513 tcSplitMethodTy ty function
|