Searched refs:isKindLevPoly (Results 1 – 10 of 10) sorted by relevance
| /dports/lang/ghc/ghc-8.10.7/compiler/iface/ |
| H A D | BuildTyCl.hs | 58 nt_lev_poly = isKindLevPoly res_kind } ) }
|
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Core/ |
| H A D | Type.hs | 231 isKindLevPoly
2586 check_kind = isKindLevPoly . typeKind
2885 isKindLevPoly :: Kind -> Bool
2886 isKindLevPoly k = ASSERT2( isLiftedTypeKind k || _is_type, ppr k ) function
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/compiler/types/ |
| H A D | Type.hs | 214 isKindLevPoly
2577 check_kind = isKindLevPoly . typeKind
2902 isKindLevPoly :: Kind -> Bool
2903 isKindLevPoly k = ASSERT2( isLiftedTypeKind k || _is_type, ppr k ) function
|
| /dports/lang/ghc/ghc-8.10.7/compiler/types/ |
| H A D | Type.hs | 214 isKindLevPoly
2577 check_kind = isKindLevPoly . typeKind
2902 isKindLevPoly :: Kind -> Bool
2903 isKindLevPoly k = ASSERT2( isLiftedTypeKind k || _is_type, ppr k ) function
|
| /dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Core/ |
| H A D | Type.hs | 235 isKindLevPoly
2903 check_kind = isKindLevPoly . typeKind
3253 isKindLevPoly :: Kind -> Bool
3254 isKindLevPoly k = ASSERT2( isLiftedTypeKind k || _is_type, ppr k ) function
|
| /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 | 147 isRuntimeRepVar, isKindLevPoly,
|
| /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 | 144 isRuntimeRepVar, isKindLevPoly,
|
| /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 | 149 isRuntimeRepVar, isKindLevPoly,
|
| /dports/lang/ghc/ghc-8.10.7/compiler/typecheck/ |
| H A D | TcType.hs | 144 isRuntimeRepVar, isKindLevPoly,
|
| /dports/lang/ghc/ghc-8.10.7/compiler/coreSyn/ |
| H A D | CoreLint.hs | 1286 ; lintL (isJoinId id || not (isKindLevPoly k))
|