Searched refs:isRhoExpTy (Results 1 – 5 of 5) sorted by relevance
| /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 | 78 isSigmaTy, isRhoTy, isRhoExpTy, isOverloadedTy,
2002 isRhoExpTy :: ExpType -> Bool
2003 isRhoExpTy (Check ty) = isRhoTy ty function
2004 isRhoExpTy (Infer {}) = True 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 | 78 isSigmaTy, isRhoTy, isRhoExpTy, isOverloadedTy,
1966 isRhoExpTy :: ExpType -> Bool
1967 isRhoExpTy (Check ty) = isRhoTy ty function
1968 isRhoExpTy (Infer {}) = True 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 | 80 isSigmaTy, isRhoTy, isRhoExpTy, isOverloadedTy,
2087 isRhoExpTy :: ExpType -> Bool
2088 isRhoExpTy (Check ty) = isRhoTy ty function
2089 isRhoExpTy (Infer {}) = True function
|
| /dports/lang/ghc/ghc-8.10.7/compiler/typecheck/ |
| H A D | TcType.hs | 78 isSigmaTy, isRhoTy, isRhoExpTy, isOverloadedTy,
1966 isRhoExpTy :: ExpType -> Bool
1967 isRhoExpTy (Check ty) = isRhoTy ty function
1968 isRhoExpTy (Infer {}) = True function
|
| H A D | TcUnify.hs | 591 , isRhoExpTy ty_expected -- TypeEqOrigin stuff (added by the _NC functions)
|