Home
last modified time | relevance | path

Searched defs:HRefl (Results 1 – 5 of 5) sorted by relevance

/dports/lang/purescript/purescript-0.14.5/_cabal_deps/type-equality-1/src-hetero/Data/Type/Equality/
H A DHetero.hs63 HRefl . HRefl = HRefl function
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/type-equality-1/src-hetero/Data/Type/Equality/
H A DHetero.hs63 HRefl . HRefl = HRefl function
/dports/devel/hs-darcs/darcs-2.16.4/_cabal_deps/type-equality-1/src-hetero/Data/Type/Equality/
H A DHetero.hs63 HRefl . HRefl = HRefl function
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/type-equality-1/src-hetero/Data/Type/Equality/
H A DHetero.hs63 HRefl . HRefl = HRefl function
/dports/lang/ghc/ghc-8.10.7/libraries/base/Control/
H A DCategory.hs66 HRefl . HRefl = HRefl function