std: Updated examples in the doc comments

Author: hexaredecimal

std/applicative/app.pics

@@ -15,7 +15,7 @@ Applicative :: module {
   //
   // Example:
   // --- Code
-  //   apply(Result.ok(|x| -> x + 1), Result.ok(2)) == Result.ok(3)
+  //   apply(Result::ok(|x| -> x + 1), Result::ok(2)) == Result::ok(3)
   // ---
   apply :: (mf, ma) = 
     when mf {
@@ -33,7 +33,7 @@ Applicative :: module {
   //
   // Example:
   // --- Code
-  //   map2(Result.ok(2), Result.ok(3), |a, b| -> a + b) == Result.ok(5)
+  //   map2(Result::ok(2), Result::ok(3), |a, b| -> a + b) == Result::ok(5)
   // ---
   map2 :: (ma, mb, fx) = 
     Applicative.apply(Result.ok(|a| -> |b| -> fx(a, b)), ma) |> Applicative.apply(mb)
@@ -44,7 +44,7 @@ Applicative :: module {
   //
   // Example:
   // --- Code
-  //   thenIgnoreLeft(Result.ok(1), Result.ok(2)) == Result.ok(2)
+  //   thenIgnoreLeft(Result::ok(1), Result::ok(2)) == Result::ok(2)
   // ---
   thenIgnoreLeft :: (fa, fb) =
     Applicative.map2(fa, fb, |_, b| -> b)
@@ -54,7 +54,7 @@ Applicative :: module {
   // This functions is mostly known as then `<*` operator
   // Example:
   // --- Code
-  //   thenIgnoreRight(Result.ok(1), Result.ok(2)) == Result.ok(1)
+  //   thenIgnoreRight(Result::ok(1), Result::ok(2)) == Result::ok(1)
   // ---
   thenIgnoreRight :: (fa, fb) =
     Applicative.map2(fa, fb, |a, _| -> a)
@@ -73,7 +73,7 @@ Applicative :: module {
   //
   // Example:
   // --- Code
-  //   lift2(|a, b| -> a + b, Result.ok(1), Result.ok(2)) == Result.ok(3)
+  //   lift2(|a, b| -> a + b, Result::ok(1), Result::ok(2)) == Result::ok(3)
   // ---
   lift2 :: (fx, a, b) = Applicative.map2(a, b, fx)
 
@@ -83,7 +83,7 @@ Applicative :: module {
   //
   // Example:
   // --- Code
-  //   sequence([Result.ok(1), Result.ok(2)]) == Result.ok([1, 2])
+  //   sequence([Result::ok(1), Result::ok(2)]) == Result::ok([1, 2])
   // ---
   sequence :: (results=[]) =
     when results {
@@ -98,7 +98,7 @@ Applicative :: module {
   //
   // Example:
   // --- Code
-  //   traverse([1, 2, 3], |x| -> Result.ok(x * 2)) == Result.ok([2, 4, 6])
+  //   traverse([1, 2, 3], |x| -> Result::ok(x * 2)) == Result::ok([2, 4, 6])
   // ---
   traverse :: (xs=[], fx) =
     when xs {

std/sys/sys.pics

@@ -17,8 +17,10 @@ System :: module {
   // Behavior:
   //   Immediately stops the program and raises an unrecoverable error.
   //
-  // Usage:
+  // Example:
+  // --- Code
   //   System::panic("Something went horribly wrong")
+  // ---
   panic :: (message="") = pic_nat_panic(message) 
 
 
@@ -31,8 +33,10 @@ System :: module {
   // Behavior:
   //   Panics at runtime to indicate that this code hasn’t been written yet.
   //
-  // Usage:
+  // Example:
+  // --- Code  
   //   System::todo("Finish the file upload logic here")
+  // ---
   todo :: (message="") = pic_nat_todo(message) 
 
 
@@ -45,8 +49,10 @@ System :: module {
   // Behavior:
   //   Panics at runtime to indicate an internal logic error or failed exhaustiveness.
   //
-  // Usage:
+  // Example:
+  // --- Code  
   //   System::unreachable("Should never hit this case")
+  // ---
   unreachable :: (message="") = pic_nat_unreachable(message) 
 
 }