Merge pull request #277 from CohenArthur/stdlib/maybe

Add Maybe_int type

stdlib/lib.jk

@@ -1,2 +1,3 @@
 incl pair
 incl string
+incl maybe

stdlib/maybe.jk

@@ -0,0 +1,22 @@
+// type Nothing;
+// type Some_int(inner: int);
+
+// TODO: Implement Maybe<T> once generics are implemented
+// TODO: Implement Maybe<T> as multi-type once they are implemented
+type Maybe_int(inner: int, is_some: bool)
+
+func is_some(m: Maybe_int) -> bool {
+    m.is_some
+}
+
+func nothing() -> Maybe_int {
+    Maybe_int { inner = 0, is_some = false }
+}
+
+func some(value: int) -> Maybe_int {
+    Maybe_int { inner = value, is_some = true }
+}
+
+func unpack(m: Maybe_int) -> int {
+    m.inner
+}

tests/ft/stdlib/maybe.jk

@@ -0,0 +1,5 @@
+m_manual = Maybe_int { inner = 14, is_nothing = false };
+m_some = some(15);
+m_nothing = nothing();
+
+a = m_some.unpack();

tests/ft/stdlib/stdlib.yml

@@ -9,3 +9,7 @@ tests:
     args:
       - "tests/ft/stdlib/string/concat.jk"
     stdout: "jinko.jk"
+  - name: "Test Maybe is a valid type"
+    binary: "target/debug/jinko"
+    args:
+      - "tests/ft/stdlib/maybe.jk"