Rename maybeToEither to maybeToRight and add maybeToLeft

Author: futpib

index.js

@@ -2227,6 +2227,54 @@
     impl: maybeToNullable
   };
 
+  //# maybeToLeft :: b -> Maybe a -> Either a b
+  //.
+  //. Converts a Maybe to an Either. Nothing becomes a Right (containing the
+  //. first argument); a Just becomes a Left.
+  //.
+  //. See also [`eitherToMaybe`](#eitherToMaybe) and
+  // [`maybeToRight`](#maybeToRight).
+  //.
+  //. ```javascript
+  //. > S.maybeToLeft ('No negative numbers') (S.find (S.lt (0)) ([0, 1, 2]))
+  //. Right ('No negative numbers')
+  //.
+  //. > S.maybeToLeft ('No negative numbers') (S.find (S.lt (0)) ([-1, 0, 1]))
+  //. Left (-1)
+  //. ```
+  function maybeToLeft(x) {
+    return maybe (Right (x)) (Left);
+  }
+  _.maybeToLeft = {
+    consts: {},
+    types: [b, $.Maybe (a), $.Either (a) (b)],
+    impl: maybeToLeft
+  };
+
+  //# maybeToRight :: a -> Maybe b -> Either a b
+  //.
+  //. Converts a Maybe to an Either. Nothing becomes a Left (containing the
+  //. first argument); a Just becomes a Right.
+  //.
+  //. See also [`eitherToMaybe`](#eitherToMaybe) and
+  // [`maybeToLeft`](#maybeToLeft).
+  //.
+  //. ```javascript
+  //. > S.maybeToRight ('Expecting an integer') (S.parseInt (10) ('xyz'))
+  //. Left ('Expecting an integer')
+  //.
+  //. > S.maybeToRight ('Expecting an integer') (S.parseInt (10) ('42'))
+  //. Right (42)
+  //. ```
+  function maybeToRight(x) {
+    return maybe (Left (x)) (Right);
+  }
+  _.maybeToRight = {
+    consts: {},
+    types: [a, $.Maybe (b), $.Either (a) (b)],
+    impl: maybeToRight
+  };
+
   //. ### Either
   //.
   //. The Either type represents values with two possibilities: a value of type
@@ -2487,6 +2535,29 @@
     impl: encase
   };
 
+  //# eitherToMaybe :: Either a b -> Maybe b
+  //.
+  //. Converts an Either to a Maybe. A Left becomes Nothing; a Right becomes
+  //. a Just.
+  //.
+  //. See also [`maybeToRight`](#maybeToRight).
+  //.
+  //. ```javascript
+  //. > S.eitherToMaybe (S.Left ('Cannot divide by zero'))
+  //. Nothing
+  //.
+  //. > S.eitherToMaybe (S.Right (42))
+  //. Just (42)
+  //. ```
+  function eitherToMaybe(either) {
+    return either.isLeft ? Nothing : Just (either.value);
+  }
+  _.eitherToMaybe = {
+    consts: {},
+    types: [$.Either (a) (b), $.Maybe (b)],
+    impl: eitherToMaybe
+  };
+
   //. ### Logic
 
   //# and :: Boolean -> Boolean -> Boolean

test/maybeToLeft.js

@@ -0,0 +1,15 @@
+'use strict';
+
+const S = require ('..');
+
+const eq = require ('./internal/eq');
+
+
+test ('maybeToLeft', () => {
+
+  eq (S.show (S.maybeToLeft)) ('maybeToLeft :: b -> Maybe a -> Either a b');
+
+  eq (S.maybeToLeft ('success msg') (S.Nothing)) (S.Right ('success msg'));
+  eq (S.maybeToLeft ('success msg') (S.Just (42))) (S.Left (42));
+
+});

test/maybeToRight.js

@@ -0,0 +1,15 @@
+'use strict';
+
+const S = require ('..');
+
+const eq = require ('./internal/eq');
+
+
+test ('maybeToRight', () => {
+
+  eq (S.show (S.maybeToRight)) ('maybeToRight :: a -> Maybe b -> Either a b');
+
+  eq (S.maybeToRight ('error msg') (S.Nothing)) (S.Left ('error msg'));
+  eq (S.maybeToRight ('error msg') (S.Just (42))) (S.Right (42));
+
+});