monad

Author: Grant Wuerker

Diff for: library/core/src/monad.fe

@@ -0,0 +1,45 @@
+use self::option::Option
+
+trait Applicative 
+where Self: * -> *
+{
+    fn pure<T>(t: T) -> Self<T>  
+}
+
+impl Applicative for Option {
+    fn pure<T>(t: T) -> Self<T> {
+        Option::Some(t)
+    }
+}
+
+trait Monad: Applicative 
+where Self: * -> * 
+{
+    fn bind<T, F, U>(self: Self<T>) -> Self<U> where F: Fn<T, Self<U>>
+}
+
+impl Monad for Option {
+    fn bind<T, F, U>(self: Self<T>) -> Self<U> where F: Fn<T, Self<U>> {
+        match self {
+            Self::Some(self) => F::exec(t: self)
+            Self::None => Self::None
+        }
+    }
+}
+
+trait Fn<T, U> {
+    fn exec(t: T) -> U 
+}
+
+type MyFn = ()
+
+impl Fn<bool, Option<u8>> for MyFn {
+    fn exec(t: bool) -> Option<u8> {
+        Option::Some(0)
+    }
+}
+
+#test
+fn my_test() {
+    let a = Option::Some(true).bind<bool, MyFn, u8>()
+}

Diff for: library/core/src/monad/map.fe

@@ -1,4 +1,4 @@
-enum Option<Inner> {
+pub enum Option<Inner> {
     Some(Inner),
     None
 }