Home
last modified time | relevance | path

Searched defs:mkTransCo (Results 1 – 4 of 4) 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 DCoercion.hs987 mkTransCo co1 co2 | isReflCo co1 = co2 function
989 mkTransCo (GRefl r t1 (MCo co1)) (GRefl _ _ (MCo co2)) function
991 mkTransCo co1 co2 = TransCo co1 co2 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 DCoercion.hs973 mkTransCo co1 co2 | isReflCo co1 = co2 function
975 mkTransCo (GRefl r t1 (MCo co1)) (GRefl _ _ (MCo co2)) function
977 mkTransCo co1 co2 = TransCo co1 co2 function
/dports/lang/ghc/ghc-8.10.7/compiler/types/
H A DCoercion.hs973 mkTransCo co1 co2 | isReflCo co1 = co2 function
975 mkTransCo (GRefl r t1 (MCo co1)) (GRefl _ _ (MCo co2)) function
977 mkTransCo co1 co2 = TransCo co1 co2 function
/dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Core/
H A DCoercion.hs1043 mkTransCo co1 co2 | isReflCo co1 = co2 function
1045 mkTransCo (GRefl r t1 (MCo co1)) (GRefl _ _ (MCo co2)) function
1047 mkTransCo co1 co2 = TransCo co1 co2 function