| /dports/lang/ghc/ghc-8.10.7/libraries/base/Data/Type/ |
| H A D | Equality.hs | 74 sym Refl = Refl function
78 trans Refl Refl = Refl function
82 castWith Refl x = x function
86 gcastWith Refl x = x function
90 apply Refl Refl = Refl function
94 inner Refl = Refl function
98 outer Refl = Refl function
|
| /dports/lang/ocaml/ocaml-4.05.0/testsuite/tests/typing-gadts/ |
| H A D | pr7214.ml | 19 type (_,_) eq = Refl : ('a, 'a) eq;; Constructor
26 let (Refl : (int, a) eq) = M.e (* must fail for soundness *) var
32 type (_, _) eq = Refl : ('a, 'a) eq Constructor
|
| H A D | pr7381.ml | 1 type (_,_) eql = Refl : ('a, 'a) eql;; Constructor
3 type (_, _) eql = Refl : ('a, 'a) eql Constructor
|
| H A D | yallop_bugs.ml | 3 type (_, _) eq = Refl : ('a, 'a) eq Constructor
16 type (_, _) eq = Refl : ('a, 'a) eq Constructor
23 type (_, +_) eq = Refl : ('a, 'a) eq Constructor
|
| H A D | pr7432.ml | 2 type (_,_) eql = Refl : ('a, 'a) eql Constructor
8 type (_, _) eql = Refl : ('a, 'a) eql Constructor
|
| H A D | pr6158.ml | 4 type (_, _) eq = Refl : ('a, 'a) eq;; Constructor
13 type (_, _) eq = Refl : ('a, 'a) eq Constructor
|
| H A D | pr7374.ml | 1 type ('a, 'b) eq = Refl : ('a, 'a) eq Constructor
7 type ('a, 'b) eq = Refl : ('a, 'a) eq Constructor
|
| H A D | pr7421.ml | 1 type (_, _) eq = Refl : ('a, 'a) eq;; Constructor
|
| /dports/lang/ocaml-nox11/ocaml-4.05.0/testsuite/tests/typing-gadts/ |
| H A D | pr7214.ml | 19 type (_,_) eq = Refl : ('a, 'a) eq;; Constructor
26 let (Refl : (int, a) eq) = M.e (* must fail for soundness *) var
32 type (_, _) eq = Refl : ('a, 'a) eq Constructor
|
| H A D | pr7381.ml | 1 type (_,_) eql = Refl : ('a, 'a) eql;; Constructor
3 type (_, _) eql = Refl : ('a, 'a) eql Constructor
|
| H A D | yallop_bugs.ml | 3 type (_, _) eq = Refl : ('a, 'a) eq Constructor
16 type (_, _) eq = Refl : ('a, 'a) eq Constructor
23 type (_, +_) eq = Refl : ('a, 'a) eq Constructor
|
| H A D | pr7432.ml | 2 type (_,_) eql = Refl : ('a, 'a) eql Constructor
8 type (_, _) eql = Refl : ('a, 'a) eql Constructor
|
| H A D | pr6158.ml | 4 type (_, _) eq = Refl : ('a, 'a) eq;; Constructor
13 type (_, _) eq = Refl : ('a, 'a) eq Constructor
|
| H A D | pr7374.ml | 1 type ('a, 'b) eq = Refl : ('a, 'a) eq Constructor
7 type ('a, 'b) eq = Refl : ('a, 'a) eq Constructor
|
| H A D | pr7421.ml | 1 type (_, _) eq = Refl : ('a, 'a) eq;; Constructor
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/type-equality-1/src-old/Data/Type/ |
| H A D | Equality.hs | 82 Refl . Refl = Refl function
133 sym Refl = Refl function
137 trans Refl Refl = Refl function
141 castWith Refl x = x function
145 gcastWith Refl x = x function
150 apply Refl Refl = Refl function
199 toLeibniz Refl = reflLeibniz function
|
| /dports/devel/hs-darcs/darcs-2.16.4/_cabal_deps/type-equality-1/src-old/Data/Type/ |
| H A D | Equality.hs | 82 Refl . Refl = Refl function
133 sym Refl = Refl function
137 trans Refl Refl = Refl function
141 castWith Refl x = x function
145 gcastWith Refl x = x function
150 apply Refl Refl = Refl function
199 toLeibniz Refl = reflLeibniz function
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/type-equality-1/src-old/Data/Type/ |
| H A D | Equality.hs | 82 Refl . Refl = Refl function
133 sym Refl = Refl function
137 trans Refl Refl = Refl function
141 castWith Refl x = x function
145 gcastWith Refl x = x function
150 apply Refl Refl = Refl function
199 toLeibniz Refl = reflLeibniz function
|
| /dports/lang/purescript/purescript-0.14.5/_cabal_deps/type-equality-1/src-old/Data/Type/ |
| H A D | Equality.hs | 82 Refl . Refl = Refl function
133 sym Refl = Refl function
137 trans Refl Refl = Refl function
141 castWith Refl x = x function
145 gcastWith Refl x = x function
150 apply Refl Refl = Refl function
199 toLeibniz Refl = reflLeibniz function
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/lens-5.0.1/src/Control/Lens/ |
| H A D | Equality.hs | 130 equality Refl Refl = id function
135 equality' Refl = id function
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/lens-5.0.1/src/Control/Lens/ |
| H A D | Equality.hs | 130 equality Refl Refl = id function
135 equality' Refl = id function
|
| /dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/lens-4.19.2/src/Control/Lens/ |
| H A D | Equality.hs | 142 equality Refl Refl = id function
147 equality' Refl = id function
|
| /dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/lens-4.19.1/src/Control/Lens/ |
| H A D | Equality.hs | 142 equality Refl Refl = id function
147 equality' Refl = id function
|
| /dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/lens-4.19.2/src/Control/Lens/ |
| H A D | Equality.hs | 142 equality Refl Refl = id function
147 equality' Refl = id function
|
| /dports/lang/ghc/ghc-8.10.7/libraries/base/Control/ |
| H A D | Category.hs | 61 Refl . Refl = Refl function
|