Update example In A Nutshell

julianmendez · Sep 22, 2023 · e846d7e · e846d7e
1 parent 1b7e011
commit e846d7e
Show file tree

Hide file tree

Showing 2 changed files with 32 additions and 8 deletions.
diff --git a/examples/src/main/scala/soda/example/inanutshell/InANutshell.soda b/examples/src/main/scala/soda/example/inanutshell/InANutshell.soda
@@ -40,12 +40,26 @@ class MaxAndMin
 
 end
 
+class Pair [A : Type] [B : Type]
+
+  abstract
+    fst : A
+    snd : B
+
+end
+
 class MinMaxPair
+  extends
+    Pair [Int] [Int]
 
   abstract
     min : Int
     max : Int
 
+  fst : Int = min
+
+  snd : Int = max
+
 end
 
 class Indexable
@@ -62,10 +76,7 @@ class Example
     index : Int
 
   min_max (a : Int) (b : Int) : MinMaxPair =
-    MinMaxPair_ (
-      min := MaxAndMin_ () .min (a) (b),
-      max := MaxAndMin_ () .max (a) (b)
-    )
+    MinMaxPair_ (min := MaxAndMin_ () .min (a) (b) ) (max := MaxAndMin_ () .max (a) (b) )
 
 end
 

diff --git a/examples/src/main/scala/soda/example/inanutshell/Package.scala b/examples/src/main/scala/soda/example/inanutshell/Package.scala
@@ -53,12 +53,28 @@ trait MaxAndMin
 
 case class MaxAndMin_ () extends MaxAndMin
 
+trait Pair [A , B ]
+{
+
+  def   fst : A
+  def   snd : B
+
+}
+
+case class Pair_ [A, B] (fst : A, snd : B) extends Pair [A, B]
+
 trait MinMaxPair
+  extends
+    Pair [Int, Int]
 {
 
   def   min : Int
   def   max : Int
 
+  lazy val fst : Int = min
+
+  lazy val snd : Int = max
+
 }
 
 case class MinMaxPair_ (min : Int, max : Int) extends MinMaxPair
@@ -79,10 +95,7 @@ trait Example
   def   index : Int
 
   def min_max (a : Int) (b : Int) : MinMaxPair =
-    MinMaxPair_ (
-      min = MaxAndMin_ () .min (a) (b),
-      max = MaxAndMin_ () .max (a) (b)
-    )
+    MinMaxPair_ (min = MaxAndMin_ () .min (a) (b) , max = MaxAndMin_ () .max (a) (b) )
 
 }