Version 1.2.0

Author: davidchambers

README.md

@@ -15,7 +15,7 @@ value is of type `b`.
 .             (Z[k].test (Right (Useless)) ? '\u2705   ' :
 .              Z[k].test (Right (['foo'])) ? '\u2705 * ' :
 .              /* otherwise */               '\u274C   '))
-.       (S.keys (Z.filter ($.test ([]) ($.TypeClass), Z)))
+.       (S.keys (S.unchecked.filter (S.is ($.TypeClass)) (Z)))
 [ 'Setoid          ✅ * ',  // if ‘a’ and ‘b’ satisfy Setoid
 . 'Ord             ✅ * ',  // if ‘a’ and ‘b’ satisfy Ord
 . 'Semigroupoid    ❌   ',
@@ -42,11 +42,11 @@ value is of type `b`.
 . 'Contravariant   ❌   ' ]
 ```
 
-#### <a name="Either" href="https://github.com/sanctuary-js/sanctuary-either/blob/v1.1.0/index.js#L138">`Either :: TypeRep Either`</a>
+#### <a name="Either" href="https://github.com/sanctuary-js/sanctuary-either/blob/v1.2.0/index.js#L144">`Either :: TypeRep Either`</a>
 
 Either [type representative][].
 
-#### <a name="Either.Left" href="https://github.com/sanctuary-js/sanctuary-either/blob/v1.1.0/index.js#L142">`Either.Left :: a -⁠> Either a b`</a>
+#### <a name="Either.Left" href="https://github.com/sanctuary-js/sanctuary-either/blob/v1.2.0/index.js#L148">`Either.Left :: a -⁠> Either a b`</a>
 
 Constructs a value of type `Either a b` from a value of type `a`.
 
@@ -55,7 +55,7 @@ Constructs a value of type `Either a b` from a value of type `a`.
 Left ('sqrt undefined for -1')
 ```
 
-#### <a name="Either.Right" href="https://github.com/sanctuary-js/sanctuary-either/blob/v1.1.0/index.js#L165">`Either.Right :: b -⁠> Either a b`</a>
+#### <a name="Either.Right" href="https://github.com/sanctuary-js/sanctuary-either/blob/v1.2.0/index.js#L171">`Either.Right :: b -⁠> Either a b`</a>
 
 Constructs a value of type `Either a b` from a value of type `b`.
 
@@ -64,7 +64,7 @@ Constructs a value of type `Either a b` from a value of type `b`.
 Right (42)
 ```
 
-#### <a name="Either.@@type" href="https://github.com/sanctuary-js/sanctuary-either/blob/v1.1.0/index.js#L188">`Either.@@type :: String`</a>
+#### <a name="Either.@@type" href="https://github.com/sanctuary-js/sanctuary-either/blob/v1.2.0/index.js#L194">`Either.@@type :: String`</a>
 
 Either [type identifier][].
 
@@ -76,7 +76,7 @@ Either [type identifier][].
 {namespace: 'sanctuary-either', name: 'Either', version: 1}
 ```
 
-#### <a name="Either.fantasy-land/of" href="https://github.com/sanctuary-js/sanctuary-either/blob/v1.1.0/index.js#L201">`Either.fantasy-land/of :: b -⁠> Either a b`</a>
+#### <a name="Either.fantasy-land/of" href="https://github.com/sanctuary-js/sanctuary-either/blob/v1.2.0/index.js#L207">`Either.fantasy-land/of :: b -⁠> Either a b`</a>
 
   - `of (Either) (x)` is equivalent to `Right (x)`
 
@@ -85,7 +85,7 @@ Either [type identifier][].
 Right (42)
 ```
 
-#### <a name="Either.fantasy-land/chainRec" href="https://github.com/sanctuary-js/sanctuary-either/blob/v1.1.0/index.js#L214">`Either.fantasy-land/chainRec :: ((a -⁠> c, b -⁠> c, a) -⁠> Either d c, a) -⁠> Either d b`</a>
+#### <a name="Either.fantasy-land/chainRec" href="https://github.com/sanctuary-js/sanctuary-either/blob/v1.2.0/index.js#L220">`Either.fantasy-land/chainRec :: ((a -⁠> c, b -⁠> c, a) -⁠> Either d c, a) -⁠> Either d b`</a>
 
 ```javascript
 > Z.chainRec (
@@ -105,7 +105,7 @@ Left ('!!')
 Right (65536)
 ```
 
-#### <a name="Either.prototype.@@show" href="https://github.com/sanctuary-js/sanctuary-either/blob/v1.1.0/index.js#L243">`Either#@@show :: (Showable a, Showable b) => Either a b ~> () -⁠> String`</a>
+#### <a name="Either.prototype.@@show" href="https://github.com/sanctuary-js/sanctuary-either/blob/v1.2.0/index.js#L249">`Either#@@show :: (Showable a, Showable b) => Either a b ~> () -⁠> String`</a>
 
   - `show (Left (x))` is equivalent to `'Left (' + show (x) + ')'`
   - `show (Right (x))` is equivalent to `'Right (' + show (x) + ')'`
@@ -118,7 +118,7 @@ Right (65536)
 'Right ([1, 2, 3])'
 ```
 
-#### <a name="Either.prototype.fantasy-land/equals" href="https://github.com/sanctuary-js/sanctuary-either/blob/v1.1.0/index.js#L262">`Either#fantasy-land/equals :: (Setoid a, Setoid b) => Either a b ~> Either a b -⁠> Boolean`</a>
+#### <a name="Either.prototype.fantasy-land/equals" href="https://github.com/sanctuary-js/sanctuary-either/blob/v1.2.0/index.js#L268">`Either#fantasy-land/equals :: (Setoid a, Setoid b) => Either a b ~> Either a b -⁠> Boolean`</a>
 
   - `Left (x)` is equal to `Left (y)` [iff][] `x` is equal to `y`
     according to [`Z.equals`][]
@@ -137,7 +137,7 @@ true
 false
 ```
 
-#### <a name="Either.prototype.fantasy-land/lte" href="https://github.com/sanctuary-js/sanctuary-either/blob/v1.1.0/index.js#L287">`Either#fantasy-land/lte :: (Ord a, Ord b) => Either a b ~> Either a b -⁠> Boolean`</a>
+#### <a name="Either.prototype.fantasy-land/lte" href="https://github.com/sanctuary-js/sanctuary-either/blob/v1.2.0/index.js#L293">`Either#fantasy-land/lte :: (Ord a, Ord b) => Either a b ~> Either a b -⁠> Boolean`</a>
 
   - `Left (x)` is less than or equal to `Left (y)` [iff][] `x` is less
     than or equal to `y` according to [`Z.lte`][]
@@ -159,7 +159,7 @@ false
 [Left (0), Left (1), Left (2)]
 ```
 
-#### <a name="Either.prototype.fantasy-land/concat" href="https://github.com/sanctuary-js/sanctuary-either/blob/v1.1.0/index.js#L315">`Either#fantasy-land/concat :: (Semigroup a, Semigroup b) => Either a b ~> Either a b -⁠> Either a b`</a>
+#### <a name="Either.prototype.fantasy-land/concat" href="https://github.com/sanctuary-js/sanctuary-either/blob/v1.2.0/index.js#L321">`Either#fantasy-land/concat :: (Semigroup a, Semigroup b) => Either a b ~> Either a b -⁠> Either a b`</a>
 
   - `concat (Left (x)) (Left (y))` is equivalent to
     `Left (concat (x) (y))`
@@ -182,7 +182,7 @@ Right ([1, 2, 3])
 Right ([1, 2, 3])
 ```
 
-#### <a name="Either.prototype.fantasy-land/map" href="https://github.com/sanctuary-js/sanctuary-either/blob/v1.1.0/index.js#L344">`Either#fantasy-land/map :: Either a b ~> (b -⁠> c) -⁠> Either a c`</a>
+#### <a name="Either.prototype.fantasy-land/map" href="https://github.com/sanctuary-js/sanctuary-either/blob/v1.2.0/index.js#L350">`Either#fantasy-land/map :: Either a b ~> (b -⁠> c) -⁠> Either a c`</a>
 
   - `map (f) (Left (x))` is equivalent to `Left (x)`
   - `map (f) (Right (x))` is equivalent to `Right (f (x))`
@@ -195,7 +195,7 @@ Left ('sqrt undefined for -1')
 Right (100)
 ```
 
-#### <a name="Either.prototype.fantasy-land/bimap" href="https://github.com/sanctuary-js/sanctuary-either/blob/v1.1.0/index.js#L363">`Either#fantasy-land/bimap :: Either a c ~> (a -⁠> b, c -⁠> d) -⁠> Either b d`</a>
+#### <a name="Either.prototype.fantasy-land/bimap" href="https://github.com/sanctuary-js/sanctuary-either/blob/v1.2.0/index.js#L369">`Either#fantasy-land/bimap :: Either a c ~> (a -⁠> b, c -⁠> d) -⁠> Either b d`</a>
 
   - `bimap (f) (g) (Left (x))` is equivalent to `Left (f (x))`
   - `bimap (f) (g) (Right (x))` is equivalent to `Right (g (x))`
@@ -208,7 +208,7 @@ Left ('ABC')
 Right (100)
 ```
 
-#### <a name="Either.prototype.fantasy-land/ap" href="https://github.com/sanctuary-js/sanctuary-either/blob/v1.1.0/index.js#L382">`Either#fantasy-land/ap :: Either a b ~> Either a (b -⁠> c) -⁠> Either a c`</a>
+#### <a name="Either.prototype.fantasy-land/ap" href="https://github.com/sanctuary-js/sanctuary-either/blob/v1.2.0/index.js#L388">`Either#fantasy-land/ap :: Either a b ~> Either a (b -⁠> c) -⁠> Either a c`</a>
 
   - `ap (Left (x)) (Left (y))` is equivalent to `Left (x)`
   - `ap (Left (x)) (Right (y))` is equivalent to `Left (x)`
@@ -229,7 +229,7 @@ Left ('sqrt undefined for -1')
 Right (100)
 ```
 
-#### <a name="Either.prototype.fantasy-land/chain" href="https://github.com/sanctuary-js/sanctuary-either/blob/v1.1.0/index.js#L409">`Either#fantasy-land/chain :: Either a b ~> (b -⁠> Either a c) -⁠> Either a c`</a>
+#### <a name="Either.prototype.fantasy-land/chain" href="https://github.com/sanctuary-js/sanctuary-either/blob/v1.2.0/index.js#L415">`Either#fantasy-land/chain :: Either a b ~> (b -⁠> Either a c) -⁠> Either a c`</a>
 
   - `chain (f) (Left (x))` is equivalent to `Left (x)`
   - `chain (f) (Right (x))` is equivalent to `f (x)`
@@ -248,7 +248,7 @@ Left ('sqrt undefined for -1')
 Right (5)
 ```
 
-#### <a name="Either.prototype.fantasy-land/alt" href="https://github.com/sanctuary-js/sanctuary-either/blob/v1.1.0/index.js#L434">`Either#fantasy-land/alt :: Either a b ~> Either a b -⁠> Either a b`</a>
+#### <a name="Either.prototype.fantasy-land/alt" href="https://github.com/sanctuary-js/sanctuary-either/blob/v1.2.0/index.js#L440">`Either#fantasy-land/alt :: Either a b ~> Either a b -⁠> Either a b`</a>
 
   - `alt (Left (x)) (Left (y))` is equivalent to `Left (y)`
   - `alt (Left (x)) (Right (y))` is equivalent to `Right (y)`
@@ -269,7 +269,7 @@ Right (2)
 Right (3)
 ```
 
-#### <a name="Either.prototype.fantasy-land/reduce" href="https://github.com/sanctuary-js/sanctuary-either/blob/v1.1.0/index.js#L461">`Either#fantasy-land/reduce :: Either a b ~> ((c, b) -⁠> c, c) -⁠> c`</a>
+#### <a name="Either.prototype.fantasy-land/reduce" href="https://github.com/sanctuary-js/sanctuary-either/blob/v1.2.0/index.js#L467">`Either#fantasy-land/reduce :: Either a b ~> ((c, b) -⁠> c, c) -⁠> c`</a>
 
   - `reduce (f) (x) (Left (y))` is equivalent to `x`
   - `reduce (f) (x) (Right (y))` is equivalent to `f (x) (y)`
@@ -282,7 +282,7 @@ Right (3)
 [1, 2]
 ```
 
-#### <a name="Either.prototype.fantasy-land/traverse" href="https://github.com/sanctuary-js/sanctuary-either/blob/v1.1.0/index.js#L480">`Either#fantasy-land/traverse :: Applicative f => Either a b ~> (TypeRep f, b -⁠> f c) -⁠> f (Either a c)`</a>
+#### <a name="Either.prototype.fantasy-land/traverse" href="https://github.com/sanctuary-js/sanctuary-either/blob/v1.2.0/index.js#L486">`Either#fantasy-land/traverse :: Applicative f => Either a b ~> (TypeRep f, b -⁠> f c) -⁠> f (Either a c)`</a>
 
   - `traverse (A) (f) (Left (x))` is equivalent to `of (A) (Left (x))`
   - `traverse (A) (f) (Right (x))` is equivalent to `map (Right) (f (x))`
@@ -295,7 +295,7 @@ Right (3)
 [Right ('foo'), Right ('bar'), Right ('baz')]
 ```
 
-#### <a name="Either.prototype.fantasy-land/extend" href="https://github.com/sanctuary-js/sanctuary-either/blob/v1.1.0/index.js#L499">`Either#fantasy-land/extend :: Either a b ~> (Either a b -⁠> c) -⁠> Either a c`</a>
+#### <a name="Either.prototype.fantasy-land/extend" href="https://github.com/sanctuary-js/sanctuary-either/blob/v1.2.0/index.js#L505">`Either#fantasy-land/extend :: Either a b ~> (Either a b -⁠> c) -⁠> Either a c`</a>
 
   - `extend (f) (Left (x))` is equivalent to `Left (x)`
   - `extend (f) (Right (x))` is equivalent to `Right (f (Right (x)))`
@@ -308,9 +308,9 @@ Left ('sqrt undefined for -1')
 Right (100)
 ```
 
-[Fantasy Land]:             https://github.com/fantasyland/fantasy-land/tree/v3.5.0
-[`Z.equals`]:               https://github.com/sanctuary-js/sanctuary-type-classes/tree/v10.0.0#equals
-[`Z.lte`]:                  https://github.com/sanctuary-js/sanctuary-type-classes/tree/v10.0.0#lte
+[Fantasy Land]:             https://github.com/fantasyland/fantasy-land/tree/v4.0.1
+[`Z.equals`]:               https://github.com/sanctuary-js/sanctuary-type-classes/tree/v11.0.0#equals
+[`Z.lte`]:                  https://github.com/sanctuary-js/sanctuary-type-classes/tree/v11.0.0#lte
 [iff]:                      https://en.wikipedia.org/wiki/If_and_only_if
 [type identifier]:          https://github.com/sanctuary-js/sanctuary-type-identifiers/tree/v2.0.1
-[type representative]:      https://github.com/fantasyland/fantasy-land/tree/v3.5.0#type-representatives
+[type representative]:      https://github.com/fantasyland/fantasy-land/tree/v4.0.1#type-representatives

package.json

@@ -1,6 +1,6 @@
 {
   "name": "sanctuary-either",
-  "version": "1.1.0",
+  "version": "1.2.0",
   "description": "Fantasy Land -compliant Either type",
   "license": "MIT",
   "repository": {