Skip to content
Snippets Groups Projects

Rename () to Unit, Rename (,,...,,) to Tuple<n>

Merged Vladislav Zavialov requested to merge Player205/tuple-ty-cons into ghc-head
1 file
+ 73
19
Compare changes
  • Side-by-side
  • Inline
+ 73
19
@@ -441,7 +441,7 @@
> f) =&gt; <a href="#" title="Instances"
>Foo</a
> (<a href="#" title="GHC.Tuple.Prim"
>(,)</a
>Tuple2</a
> (f a))</span
> <a href="#" class="selflink"
>#</a
@@ -464,19 +464,31 @@
><p class="src"
><a href="#"
>foo</a
> :: (f a, <a href="#" title="Data.Int"
> :: <a href="#" title="GHC.Tuple.Prim"
>Tuple2</a
> (f a) <a href="#" title="Data.Int"
>Int</a
>) -&gt; a0 -&gt; (f a, a0) <a href="#" class="selflink"
> -&gt; a0 -&gt; <a href="#" title="GHC.Tuple.Prim"
>Tuple2</a
> (f a) a0 <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
>foo'</a
> :: (f a, (f a, a0)) -&gt; <a href="#" title="Data.Int"
> :: <a href="#" title="GHC.Tuple.Prim"
>Tuple2</a
> (f a) (<a href="#" title="GHC.Tuple.Prim"
>Tuple2</a
> (f a) a0) -&gt; <a href="#" title="Data.Int"
>Int</a
> -&gt; (f a, (f a, <a href="#" title="Data.Int"
> -&gt; <a href="#" title="GHC.Tuple.Prim"
>Tuple2</a
> (f a) (<a href="#" title="GHC.Tuple.Prim"
>Tuple2</a
> (f a) <a href="#" title="Data.Int"
>Int</a
>)) <a href="#" class="selflink"
>) <a href="#" class="selflink"
>#</a
></p
></div
@@ -553,7 +565,7 @@
> <a href="#" title="Instances"
>Foo</a
> (<a href="#" title="GHC.Tuple.Prim"
>(,,)</a
>Tuple3</a
> a a)</span
> <a href="#" class="selflink"
>#</a
@@ -576,19 +588,31 @@
><p class="src"
><a href="#"
>foo</a
> :: (a, a, <a href="#" title="Data.Int"
> :: <a href="#" title="GHC.Tuple.Prim"
>Tuple3</a
> a a <a href="#" title="Data.Int"
>Int</a
>) -&gt; a0 -&gt; (a, a, a0) <a href="#" class="selflink"
> -&gt; a0 -&gt; <a href="#" title="GHC.Tuple.Prim"
>Tuple3</a
> a a a0 <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
>foo'</a
> :: (a, a, (a, a, a0)) -&gt; <a href="#" title="Data.Int"
> :: <a href="#" title="GHC.Tuple.Prim"
>Tuple3</a
> a a (<a href="#" title="GHC.Tuple.Prim"
>Tuple3</a
> a a a0) -&gt; <a href="#" title="Data.Int"
>Int</a
> -&gt; (a, a, (a, a, <a href="#" title="Data.Int"
> -&gt; <a href="#" title="GHC.Tuple.Prim"
>Tuple3</a
> a a (<a href="#" title="GHC.Tuple.Prim"
>Tuple3</a
> a a <a href="#" title="Data.Int"
>Int</a
>)) <a href="#" class="selflink"
>) <a href="#" class="selflink"
>#</a
></p
></div
@@ -1155,11 +1179,11 @@
> <a href="#" title="Instances"
>Foo</a
> (<a href="#" title="GHC.Tuple.Prim"
>(,,)</a
>Tuple3</a
> a b) =&gt; <a href="#" title="Instances"
>Bar</a
> (<a href="#" title="GHC.Tuple.Prim"
>(,,)</a
>Tuple3</a
> a b) (a, b, a)</span
> <a href="#" class="selflink"
>#</a
@@ -1182,27 +1206,57 @@
><p class="src"
><a href="#"
>bar</a
> :: (a, b, (a, b, a)) -&gt; (a, b, <a href="#" title="Data.Bool"
> :: <a href="#" title="GHC.Tuple.Prim"
>Tuple3</a
> a b (a, b, a) -&gt; <a href="#" title="GHC.Tuple.Prim"
>Tuple3</a
> a b <a href="#" title="Data.Bool"
>Bool</a
>) -&gt; (a, b, a) <a href="#" class="selflink"
> -&gt; (a, b, a) <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
>bar'</a
> :: (a, b, (a, b, (a, b, a))) -&gt; (a, b, (a, b, (a, b, b0))) <a href="#" class="selflink"
> :: <a href="#" title="GHC.Tuple.Prim"
>Tuple3</a
> a b (<a href="#" title="GHC.Tuple.Prim"
>Tuple3</a
> a b (a, b, a)) -&gt; <a href="#" title="GHC.Tuple.Prim"
>Tuple3</a
> a b (<a href="#" title="GHC.Tuple.Prim"
>Tuple3</a
> a b (<a href="#" title="GHC.Tuple.Prim"
>Tuple3</a
> a b b0)) <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
>bar0</a
> :: ((a, b, (a, b, a)), (a, b, (a, b, a))) -&gt; ((a, b, b0), (a, b, c)) <a href="#" class="selflink"
> :: (<a href="#" title="GHC.Tuple.Prim"
>Tuple3</a
> a b (a, b, a), <a href="#" title="GHC.Tuple.Prim"
>Tuple3</a
> a b (a, b, a)) -&gt; (<a href="#" title="GHC.Tuple.Prim"
>Tuple3</a
> a b b0, <a href="#" title="GHC.Tuple.Prim"
>Tuple3</a
> a b c) <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
>bar1</a
> :: ((a, b, (a, b, a)), (a, b, (a, b, a))) -&gt; ((a, b, b0), (a, b, c)) <a href="#" class="selflink"
> :: (<a href="#" title="GHC.Tuple.Prim"
>Tuple3</a
> a b (a, b, a), <a href="#" title="GHC.Tuple.Prim"
>Tuple3</a
> a b (a, b, a)) -&gt; (<a href="#" title="GHC.Tuple.Prim"
>Tuple3</a
> a b b0, <a href="#" title="GHC.Tuple.Prim"
>Tuple3</a
> a b c) <a href="#" class="selflink"
>#</a
></p
></div
Loading