book

book/.gitignore

@@ -0,0 +1 @@
+book

book/book.toml

@@ -0,0 +1,14 @@
+[book]
+authors = ["Alisa Feistel"]
+language = "en"
+multilingual = false
+src = "src"
+title = "Monads in Rust"
+
+[build]
+create-missing = false
+
+[output.html]
+default-theme = "navy"
+mathjax-support = true
+git-repository-url = "https://gitea.parrrate.ru/PTV/radn-rs"

book/src/SUMMARY.md

@@ -0,0 +1,7 @@
+# Summary
+
+[Introduction](./ch00/s00-introduction.md)
+
+- [Background](./ch01/s00-background.md)
+- [Implementation](./ch02/s00-implementation.md)
+- [Usage]()

book/src/ch00/s00-introduction.md

@@ -0,0 +1 @@
+# Introduction

book/src/ch01/s00-background.md

@@ -0,0 +1 @@
+# Background

book/src/ch02/s00-implementation.md

@@ -0,0 +1 @@
+# Implementation

src/func/classes/option.rs

@@ -30,8 +30,9 @@ impl Functor for OptionClass {
     }
 
     fn void<'a, A: 'a>(fa: Self::F<'a, A>) -> Self::F<'a, ()>
-        where
+    where
-            Self: 'a, {
+        Self: 'a,
+    {
         fa?;
         Self::pure(())
     }
@@ -138,7 +139,7 @@ impl MonadFail<()> for OptionClass {
     fn fail<'a, A: 'a>(_e: ()) -> Self::F<'a, A>
     where
         Self: 'a,
-        (): 'a {
+    {
         None
     }
 }

src/func/classes/result.rs

@@ -33,8 +33,9 @@ impl<E> Functor for ResultClass<E> {
     }
 
     fn void<'a, A: 'a>(fa: Self::F<'a, A>) -> Self::F<'a, ()>
-        where
+    where
-            Self: 'a, {
+        Self: 'a,
+    {
         fa?;
         Self::pure(())
     }