From 9101d2c7fee1041d5b76c40ac8b98824ac9d7eeb Mon Sep 17 00:00:00 2001
From: radrow <radrowicki@gmail.com>
Date: Thu, 18 Jul 2019 14:39:31 +0200
Subject: [PATCH] 2 and 3 tuple stdlib

---
 src/.#aeso_stdlib.erl |  1 -
 src/aeso_stdlib.erl   | 66 +++++++++++++++++++++++++++++++++++++++++++
 2 files changed, 66 insertions(+), 1 deletion(-)
 delete mode 120000 src/.#aeso_stdlib.erl

diff --git a/src/.#aeso_stdlib.erl b/src/.#aeso_stdlib.erl
deleted file mode 120000
index 4d1b76a..0000000
--- a/src/.#aeso_stdlib.erl
+++ /dev/null
@@ -1 +0,0 @@
-radek@radek-VirtualBox.2106:1563435182
\ No newline at end of file
diff --git a/src/aeso_stdlib.erl b/src/aeso_stdlib.erl
index 8392d6d..75c8981 100644
--- a/src/aeso_stdlib.erl
+++ b/src/aeso_stdlib.erl
@@ -19,6 +19,8 @@ stdlib_list() ->
     [ {<<"List.aes">>, std_list()}
     , {<<"Func.aes">>, std_func()}
     , {<<"Option.aes">>, std_option()}
+    , {<<"Pair.aes">>, std_pair()}
+    , {<<"Triple.aes">>, std_triple()}
     ].
 
 std_func() ->
@@ -351,3 +353,67 @@ namespace Option =
     None::t => choose_first(t)
     Some(x)::_ => Some(x)
 ".
+
+std_pair() -> "
+namespace Pair =
+
+  function fst(t : ('a, 'b)) : 'a = switch(t)
+    (x, _) => x
+
+  function snd(t : ('a, 'b)) : 'b = switch(t)
+    (_, y) => y
+
+
+  function map1(f : 'a => 'c, t : ('a, 'b)) : ('c, 'b) = switch(t)
+    (x, y) => (f(x), y)
+
+  function map2(f : 'b => 'c, t : ('a, 'b)) : ('a, 'c) = switch(t)
+    (x, y) => (x, f(y))
+
+  function bimap(f : 'a => 'c, g : 'b => 'd, t : ('a, 'b)) : ('c, 'd) = switch(t)
+    (x, y) => (f(x), g(y))
+
+
+  function swap(t : ('a, 'b)) : ('b, 'a) = switch(t)
+    (x, y) => (y, x)
+".
+
+std_triple() -> "
+namespace Triple =
+
+  function fst(t : ('a, 'b, 'c)) : 'a = switch(t)
+    (x, _, _) => x
+
+  function snd(t : ('a, 'b, 'c)) : 'b = switch(t)
+    (_, y, _) => y
+
+  function thd(t : ('a, 'b, 'c)) : 'c = switch(t)
+    (_, _, z) => z
+
+
+  function map1(f : 'a => 'm, t : ('a, 'b, 'c)) : ('m, 'b, 'c) = switch(t)
+    (x, y, z) => (f(x), y, z)
+
+  function map2(f : 'b => 'm, t : ('a, 'b, 'c)) : ('a, 'm, 'c) = switch(t)
+    (x, y, z) => (x, f(y), z)
+
+  function map3(f : 'c => 'm, t : ('a, 'b, 'c)) : ('a, 'b, 'm) = switch(t)
+    (x, y, z) => (x, y, f(z))
+
+  function trimap( f : 'a => 'x
+                 , g : 'b => 'y
+                 , h : 'c => 'z
+                 , t : ('a, 'b, 'c)
+                 ) : ('x, 'y, 'z) = switch(t)
+    (x, y, z) => (f(x), g(y), h(z))
+
+
+  function swap(t : ('a, 'b, 'c)) : ('c, 'b, 'a) = switch(t)
+    (x, y, z) => (z, y, x)
+
+  function rotr(t : ('a, 'b, 'c)) : ('c, 'a, 'b) = switch(t)
+    (x, y, z) => (z, x, y)
+
+  function rotl(t : ('a, 'b, 'c)) : ('b, 'c, 'a) = switch(t)
+    (x, y, z) => (y, z, x)
+".