Searched refs:mkTcGReflLeftCo (Results 1 – 5 of 5) 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/typecheck/ |
H A D | TcEvidence.hs | 40 mkTcAxiomRuleCo, mkTcGReflRightCo, mkTcGReflLeftCo, mkTcPhantomCo, 124 mkTcGReflLeftCo :: Role -> TcType -> TcCoercionN -> TcCoercion 161 mkTcGReflLeftCo = mkGReflLeftCo function
|
/dports/lang/ghc/ghc-8.10.7/compiler/typecheck/ |
H A D | TcEvidence.hs | 40 mkTcAxiomRuleCo, mkTcGReflRightCo, mkTcGReflLeftCo, mkTcPhantomCo, 124 mkTcGReflLeftCo :: Role -> TcType -> TcCoercionN -> TcCoercion 161 mkTcGReflLeftCo = mkGReflLeftCo function
|
H A D | TcCanonical.hs | 1891 rhs_co = mkTcGReflLeftCo role xi2 rhs_kind_co 1906 lhs_co = mkTcGReflLeftCo role xi1 sym_k1_co 1907 rhs_co = mkTcGReflLeftCo role xi2 sym_k2_co 1944 rhs_co = mkTcGReflLeftCo role xi2 homo_co 1998 lhs_co = mkTcGReflLeftCo role ty1 sym_co2
|
/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Tc/Types/ |
H A D | Evidence.hs | 45 mkTcAxiomRuleCo, mkTcGReflRightCo, mkTcGReflLeftCo, mkTcPhantomCo, 135 mkTcGReflLeftCo :: Role -> TcType -> TcCoercionN -> TcCoercion 171 mkTcGReflLeftCo = mkGReflLeftCo function
|
/dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Tc/Types/ |
H A D | Evidence.hs | 48 mkTcAxiomRuleCo, mkTcGReflRightCo, mkTcGReflRightMCo, mkTcGReflLeftCo, mkTcGReflLeftMCo, 145 mkTcGReflLeftCo :: Role -> TcType -> TcCoercionN -> TcCoercion 184 mkTcGReflLeftCo = mkGReflLeftCo function
|