Searched refs:isConstraintKindCon (Results 1 – 6 of 6) sorted by relevance
| /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 | 212 isConstraintKindCon,
375 | isConstraintKindCon tc
2334 = ASSERT( not (isConstraintKindCon tc1) && not (isConstraintKindCon tc2) )
2516 , isConstraintKindCon tc
2553 tcReturnsConstraintKind (TyConApp tc _) = isConstraintKindCon tc
2895 isConstraintKindCon :: TyCon -> Bool
2896 isConstraintKindCon tc = tyConUnique tc == constraintKindTyConKey function
|
| /dports/lang/ghc/ghc-8.10.7/compiler/types/ |
| H A D | Type.hs | 212 isConstraintKindCon,
375 | isConstraintKindCon tc
2334 = ASSERT( not (isConstraintKindCon tc1) && not (isConstraintKindCon tc2) )
2516 , isConstraintKindCon tc
2553 tcReturnsConstraintKind (TyConApp tc _) = isConstraintKindCon tc
2895 isConstraintKindCon :: TyCon -> Bool
2896 isConstraintKindCon tc = tyConUnique tc == constraintKindTyConKey function
|
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Core/ |
| H A D | TyCon.hs | 48 isAlgTyCon, isVanillaAlgTyCon, isConstraintKindCon,
1870 isConstraintKindCon :: TyCon -> Bool
1875 isConstraintKindCon AlgTyCon { tyConUnique = u } = u == constraintKindTyConKey function
1876 isConstraintKindCon _ = False function
|
| H A D | Type.hs | 229 isConstraintKindCon,
398 | isConstraintKindCon tc
409 | isTypeSynonymTyCon tc || isConstraintKindCon tc = go ty
2337 = ASSERT( not (isConstraintKindCon tc1) && not (isConstraintKindCon tc2) )
2525 , isConstraintKindCon tc
2562 tcReturnsConstraintKind (TyConApp tc _) = isConstraintKindCon tc
|
| /dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Core/ |
| H A D | TyCon.hs | 49 isAlgTyCon, isVanillaAlgTyCon, isConstraintKindCon,
1934 isConstraintKindCon :: TyCon -> Bool
1939 isConstraintKindCon AlgTyCon { tyConUnique = u } = u == constraintKindTyConKey function
1940 isConstraintKindCon _ = False function
|
| H A D | Type.hs | 233 isConstraintKindCon,
419 | isConstraintKindCon tc
470 | isTypeSynonymTyCon tc || isConstraintKindCon tc = go ty
2641 = ASSERT( not (isConstraintKindCon tc1) && not (isConstraintKindCon tc2) )
2829 , isConstraintKindCon tc
2878 tcReturnsConstraintKind (TyConApp tc _) = isConstraintKindCon tc
|