Searched refs:tyConFamilyCoercion_maybe (Results 1 – 13 of 13) sorted by relevance
| /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 | 93 tyConFamInst_maybe, tyConFamInstSig_maybe, tyConFamilyCoercion_maybe,
2524 tyConFamilyCoercion_maybe :: TyCon -> Maybe (CoAxiom Unbranched)
2525 tyConFamilyCoercion_maybe (AlgTyCon {algTcParent = DataFamInstTyCon ax _ _ }) function
2527 tyConFamilyCoercion_maybe _ = Nothing function
|
| H A D | FamInstEnv.hs | 293 | Just ax' <- tyConFamilyCoercion_maybe 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 | 95 tyConFamInst_maybe, tyConFamInstSig_maybe, tyConFamilyCoercion_maybe,
2547 tyConFamilyCoercion_maybe :: TyCon -> Maybe (CoAxiom Unbranched)
2548 tyConFamilyCoercion_maybe (AlgTyCon {algTcParent = DataFamInstTyCon ax _ _ }) function
2550 tyConFamilyCoercion_maybe _ = Nothing function
|
| H A D | FamInstEnv.hs | 292 | Just ax' <- tyConFamilyCoercion_maybe tc
|
| /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 | TyCon.hs | 92 tyConFamInst_maybe, tyConFamInstSig_maybe, tyConFamilyCoercion_maybe,
2569 tyConFamilyCoercion_maybe :: TyCon -> Maybe (CoAxiom Unbranched)
2570 tyConFamilyCoercion_maybe (AlgTyCon {algTcParent = DataFamInstTyCon ax _ _ }) function
2572 tyConFamilyCoercion_maybe _ = Nothing function
|
| H A D | FamInstEnv.hs | 291 | Just ax' <- tyConFamilyCoercion_maybe tc
|
| /dports/lang/ghc/ghc-8.10.7/compiler/types/ |
| H A D | TyCon.hs | 92 tyConFamInst_maybe, tyConFamInstSig_maybe, tyConFamilyCoercion_maybe,
2569 tyConFamilyCoercion_maybe :: TyCon -> Maybe (CoAxiom Unbranched)
2570 tyConFamilyCoercion_maybe (AlgTyCon {algTcParent = DataFamInstTyCon ax _ _ }) function
2572 tyConFamilyCoercion_maybe _ = Nothing function
|
| H A D | FamInstEnv.hs | 291 | Just ax' <- tyConFamilyCoercion_maybe tc
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/compiler/basicTypes/ |
| H A D | MkId.hs | 1194 | Just co_con <- tyConFamilyCoercion_maybe tycon
|
| /dports/lang/ghc/ghc-8.10.7/compiler/basicTypes/ |
| H A D | MkId.hs | 1194 | Just co_con <- tyConFamilyCoercion_maybe tycon
|
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Types/Id/ |
| H A D | Make.hs | 1279 | Just co_con <- tyConFamilyCoercion_maybe tycon
|
| /dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Types/Id/ |
| H A D | Make.hs | 1299 | Just co_con <- tyConFamilyCoercion_maybe tycon
|
| /dports/lang/ghc/ghc-8.10.7/compiler/typecheck/ |
| H A D | TcExpr.hs | 925 , Just co_con <- tyConFamilyCoercion_maybe tycon
|