sanctuary-type-classes - npm Package Compare versions

Comparing version 3.1.0 to 4.0.0

index.js

@@ -1336,4 +1336,4 @@ /*
   //.
-  //. This function is derived from [`empty`](#empty), [`of`](#of), and
-  //. [`reduce`](#reduce).
+  //. This function is derived from [`concat`](#concat), [`empty`](#empty),
+  //. [`of`](#of), and [`reduce`](#reduce).
   //.
@@ -1356,8 +1356,8 @@ //. See also [`filterM`](#filterM).
 
-  //# filterM :: (Monad m, Monoid (m a)) => (a -> Boolean, m a) -> m a
+  //# filterM :: (Alternative m, Monad m) => (a -> Boolean, m a) -> m a
   //.
   //. Filters its second argument in accordance with the given predicate.
   //.
-  //. This function is derived from [`empty`](#empty), [`of`](#of), and
-  //. [`chain`](#chain).
+  //. This function is derived from [`of`](#of), [`chain`](#chain), and
+  //. [`zero`](#zero).
   //.
@@ -1372,7 +1372,16 @@ //. See also [`filter`](#filter).
   //. Cons(1, Cons(3, Nil))
+  //.
+  //. > filterM(x => x % 2 == 1, Nothing)
+  //. Nothing
+  //.
+  //. > filterM(x => x % 2 == 1, Just(0))
+  //. Nothing
+  //.
+  //. > filterM(x => x % 2 == 1, Just(1))
+  //. Just(1)
   //. ```
   function filterM(pred, m) {
     var M = m.constructor;
-    var e = empty(M);
-    return chain(function(x) { return pred(x) ? of(M, x) : e; }, m);
+    var z = zero(M);
+    return chain(function(x) { return pred(x) ? of(M, x) : z; }, m);
   }
@@ -1379,0 +1388,0 @@

package.json

 {
   "name": "sanctuary-type-classes",
-  "version": "3.1.0",
+  "version": "4.0.0",
   "description": "Standard library for Fantasy Land",
@@ -5,0 +5,0 @@ "license": "MIT",

README.md

@@ -56,3 +56,3 @@ # sanctuary-type-classes
 
-<h4 name="TypeClass"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v3.1.0/index.js#L123">TypeClass :: (String, Array TypeClass, a -> Boolean) -> TypeClass</a></code></h4>
+<h4 name="TypeClass"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v4.0.0/index.js#L123">TypeClass :: (String, Array TypeClass, a -> Boolean) -> TypeClass</a></code></h4>
 
@@ -93,3 +93,3 @@ The arguments are:
 
-<h4 name="Setoid"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v3.1.0/index.js#L248">Setoid :: TypeClass</a></code></h4>
+<h4 name="Setoid"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v4.0.0/index.js#L248">Setoid :: TypeClass</a></code></h4>
 
@@ -103,3 +103,3 @@ `TypeClass` value for [Setoid][].
 
-<h4 name="Semigroup"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v3.1.0/index.js#L258">Semigroup :: TypeClass</a></code></h4>
+<h4 name="Semigroup"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v4.0.0/index.js#L258">Semigroup :: TypeClass</a></code></h4>
 
@@ -116,3 +116,3 @@ `TypeClass` value for [Semigroup][].
 
-<h4 name="Monoid"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v3.1.0/index.js#L271">Monoid :: TypeClass</a></code></h4>
+<h4 name="Monoid"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v4.0.0/index.js#L271">Monoid :: TypeClass</a></code></h4>
 
@@ -129,3 +129,3 @@ `TypeClass` value for [Monoid][].
 
-<h4 name="Functor"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v3.1.0/index.js#L284">Functor :: TypeClass</a></code></h4>
+<h4 name="Functor"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v4.0.0/index.js#L284">Functor :: TypeClass</a></code></h4>
 
@@ -142,3 +142,3 @@ `TypeClass` value for [Functor][].
 
-<h4 name="Bifunctor"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v3.1.0/index.js#L297">Bifunctor :: TypeClass</a></code></h4>
+<h4 name="Bifunctor"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v4.0.0/index.js#L297">Bifunctor :: TypeClass</a></code></h4>
 
@@ -155,3 +155,3 @@ `TypeClass` value for [Bifunctor][].
 
-<h4 name="Profunctor"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v3.1.0/index.js#L310">Profunctor :: TypeClass</a></code></h4>
+<h4 name="Profunctor"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v4.0.0/index.js#L310">Profunctor :: TypeClass</a></code></h4>
 
@@ -168,3 +168,3 @@ `TypeClass` value for [Profunctor][].
 
-<h4 name="Apply"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v3.1.0/index.js#L323">Apply :: TypeClass</a></code></h4>
+<h4 name="Apply"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v4.0.0/index.js#L323">Apply :: TypeClass</a></code></h4>
 
@@ -181,3 +181,3 @@ `TypeClass` value for [Apply][].
 
-<h4 name="Applicative"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v3.1.0/index.js#L336">Applicative :: TypeClass</a></code></h4>
+<h4 name="Applicative"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v4.0.0/index.js#L336">Applicative :: TypeClass</a></code></h4>
 
@@ -194,3 +194,3 @@ `TypeClass` value for [Applicative][].
 
-<h4 name="Chain"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v3.1.0/index.js#L349">Chain :: TypeClass</a></code></h4>
+<h4 name="Chain"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v4.0.0/index.js#L349">Chain :: TypeClass</a></code></h4>
 
@@ -207,3 +207,3 @@ `TypeClass` value for [Chain][].
 
-<h4 name="ChainRec"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v3.1.0/index.js#L362">ChainRec :: TypeClass</a></code></h4>
+<h4 name="ChainRec"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v4.0.0/index.js#L362">ChainRec :: TypeClass</a></code></h4>
 
@@ -220,3 +220,3 @@ `TypeClass` value for [ChainRec][].
 
-<h4 name="Monad"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v3.1.0/index.js#L375">Monad :: TypeClass</a></code></h4>
+<h4 name="Monad"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v4.0.0/index.js#L375">Monad :: TypeClass</a></code></h4>
 
@@ -233,3 +233,3 @@ `TypeClass` value for [Monad][].
 
-<h4 name="Alt"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v3.1.0/index.js#L388">Alt :: TypeClass</a></code></h4>
+<h4 name="Alt"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v4.0.0/index.js#L388">Alt :: TypeClass</a></code></h4>
 
@@ -246,3 +246,3 @@ `TypeClass` value for [Alt][].
 
-<h4 name="Plus"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v3.1.0/index.js#L401">Plus :: TypeClass</a></code></h4>
+<h4 name="Plus"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v4.0.0/index.js#L401">Plus :: TypeClass</a></code></h4>
 
@@ -259,3 +259,3 @@ `TypeClass` value for [Plus][].
 
-<h4 name="Alternative"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v3.1.0/index.js#L414">Alternative :: TypeClass</a></code></h4>
+<h4 name="Alternative"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v4.0.0/index.js#L414">Alternative :: TypeClass</a></code></h4>
 
@@ -272,3 +272,3 @@ `TypeClass` value for [Alternative][].
 
-<h4 name="Foldable"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v3.1.0/index.js#L427">Foldable :: TypeClass</a></code></h4>
+<h4 name="Foldable"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v4.0.0/index.js#L427">Foldable :: TypeClass</a></code></h4>
 
@@ -285,3 +285,3 @@ `TypeClass` value for [Foldable][].
 
-<h4 name="Traversable"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v3.1.0/index.js#L440">Traversable :: TypeClass</a></code></h4>
+<h4 name="Traversable"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v4.0.0/index.js#L440">Traversable :: TypeClass</a></code></h4>
 
@@ -298,3 +298,3 @@ `TypeClass` value for [Traversable][].
 
-<h4 name="Extend"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v3.1.0/index.js#L453">Extend :: TypeClass</a></code></h4>
+<h4 name="Extend"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v4.0.0/index.js#L453">Extend :: TypeClass</a></code></h4>
 
@@ -311,3 +311,3 @@ `TypeClass` value for [Extend][].
 
-<h4 name="Comonad"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v3.1.0/index.js#L466">Comonad :: TypeClass</a></code></h4>
+<h4 name="Comonad"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v4.0.0/index.js#L466">Comonad :: TypeClass</a></code></h4>
 
@@ -324,3 +324,3 @@ `TypeClass` value for [Comonad][].
 
-<h4 name="Contravariant"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v3.1.0/index.js#L479">Contravariant :: TypeClass</a></code></h4>
+<h4 name="Contravariant"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v4.0.0/index.js#L479">Contravariant :: TypeClass</a></code></h4>
 
@@ -337,3 +337,3 @@ `TypeClass` value for [Contravariant][].
 
-<h4 name="toString"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v3.1.0/index.js#L938">toString :: a -> String</a></code></h4>
+<h4 name="toString"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v4.0.0/index.js#L938">toString :: a -> String</a></code></h4>
 
@@ -364,3 +364,3 @@ Returns a useful string representation of its argument.
 
-<h4 name="equals"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v3.1.0/index.js#L986">equals :: (a, b) -> Boolean</a></code></h4>
+<h4 name="equals"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v4.0.0/index.js#L986">equals :: (a, b) -> Boolean</a></code></h4>
 
@@ -394,3 +394,3 @@ Returns `true` if its arguments are of the same type and equal according
 
-<h4 name="concat"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v3.1.0/index.js#L1038">concat :: Semigroup a => (a, a) -> a</a></code></h4>
+<h4 name="concat"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v4.0.0/index.js#L1038">concat :: Semigroup a => (a, a) -> a</a></code></h4>
 
@@ -416,3 +416,3 @@ Function wrapper for [`fantasy-land/concat`][].
 
-<h4 name="empty"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v3.1.0/index.js#L1062">empty :: Monoid m => TypeRep m -> m</a></code></h4>
+<h4 name="empty"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v4.0.0/index.js#L1062">empty :: Monoid m => TypeRep m -> m</a></code></h4>
 
@@ -438,3 +438,3 @@ Function wrapper for [`fantasy-land/empty`][].
 
-<h4 name="map"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v3.1.0/index.js#L1086">map :: Functor f => (a -> b, f a) -> f b</a></code></h4>
+<h4 name="map"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v4.0.0/index.js#L1086">map :: Functor f => (a -> b, f a) -> f b</a></code></h4>
 
@@ -466,3 +466,3 @@ Function wrapper for [`fantasy-land/map`][].
 
-<h4 name="bimap"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v3.1.0/index.js#L1116">bimap :: Bifunctor f => (a -> b, c -> d, f a c) -> f b d</a></code></h4>
+<h4 name="bimap"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v4.0.0/index.js#L1116">bimap :: Bifunctor f => (a -> b, c -> d, f a c) -> f b d</a></code></h4>
 
@@ -476,3 +476,3 @@ Function wrapper for [`fantasy-land/bimap`][].
 
-<h4 name="promap"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v3.1.0/index.js#L1128">promap :: Profunctor p => (a -> b, c -> d, p b c) -> p a d</a></code></h4>
+<h4 name="promap"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v4.0.0/index.js#L1128">promap :: Profunctor p => (a -> b, c -> d, p b c) -> p a d</a></code></h4>
 
@@ -489,3 +489,3 @@ Function wrapper for [`fantasy-land/promap`][].
 
-<h4 name="ap"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v3.1.0/index.js#L1143">ap :: Apply f => (f (a -> b), f a) -> f b</a></code></h4>
+<h4 name="ap"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v4.0.0/index.js#L1143">ap :: Apply f => (f (a -> b), f a) -> f b</a></code></h4>
 
@@ -514,3 +514,3 @@ Function wrapper for [`fantasy-land/ap`][].
 
-<h4 name="lift2"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v3.1.0/index.js#L1170">lift2 :: Apply f => (a -> b -> c, f a, f b) -> f c</a></code></h4>
+<h4 name="lift2"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v4.0.0/index.js#L1170">lift2 :: Apply f => (a -> b -> c, f a, f b) -> f c</a></code></h4>
 
@@ -532,3 +532,3 @@ Lifts `a -> b -> c` to `Apply f => f a -> f b -> f c` and returns the
 
-<h4 name="lift3"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v3.1.0/index.js#L1190">lift3 :: Apply f => (a -> b -> c -> d, f a, f b, f c) -> f d</a></code></h4>
+<h4 name="lift3"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v4.0.0/index.js#L1190">lift3 :: Apply f => (a -> b -> c -> d, f a, f b, f c) -> f d</a></code></h4>
 
@@ -550,3 +550,3 @@ Lifts `a -> b -> c -> d` to `Apply f => f a -> f b -> f c -> f d` and
 
-<h4 name="apFirst"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v3.1.0/index.js#L1210">apFirst :: Apply f => (f a, f b) -> f a</a></code></h4>
+<h4 name="apFirst"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v4.0.0/index.js#L1210">apFirst :: Apply f => (f a, f b) -> f a</a></code></h4>
 
@@ -568,3 +568,3 @@ Combines two effectful actions, keeping only the result of the first.
 
-<h4 name="apSecond"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v3.1.0/index.js#L1230">apSecond :: Apply f => (f a, f b) -> f b</a></code></h4>
+<h4 name="apSecond"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v4.0.0/index.js#L1230">apSecond :: Apply f => (f a, f b) -> f b</a></code></h4>
 
@@ -586,3 +586,3 @@ Combines two effectful actions, keeping only the result of the second.
 
-<h4 name="of"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v3.1.0/index.js#L1250">of :: Applicative f => (TypeRep f, a) -> f a</a></code></h4>
+<h4 name="of"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v4.0.0/index.js#L1250">of :: Applicative f => (TypeRep f, a) -> f a</a></code></h4>
 
@@ -605,3 +605,3 @@ Function wrapper for [`fantasy-land/of`][].
 
-<h4 name="chain"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v3.1.0/index.js#L1271">chain :: Chain m => (a -> m b, m a) -> m b</a></code></h4>
+<h4 name="chain"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v4.0.0/index.js#L1271">chain :: Chain m => (a -> m b, m a) -> m b</a></code></h4>
 
@@ -624,3 +624,3 @@ Function wrapper for [`fantasy-land/chain`][].
 
-<h4 name="join"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v3.1.0/index.js#L1292">join :: Chain m => m (m a) -> m a</a></code></h4>
+<h4 name="join"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v4.0.0/index.js#L1292">join :: Chain m => m (m a) -> m a</a></code></h4>
 
@@ -642,3 +642,3 @@ Removes one level of nesting from a nested monadic structure.
 
-<h4 name="chainRec"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v3.1.0/index.js#L1312">chainRec :: ChainRec m => (TypeRep m, (a -> c, b -> c, a) -> m c, a) -> m b</a></code></h4>
+<h4 name="chainRec"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v4.0.0/index.js#L1312">chainRec :: ChainRec m => (TypeRep m, (a -> c, b -> c, a) -> m c, a) -> m b</a></code></h4>
 
@@ -660,8 +660,8 @@ Function wrapper for [`fantasy-land/chainRec`][].
 
-<h4 name="filter"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v3.1.0/index.js#L1332">filter :: (Applicative f, Foldable f, Monoid (f a)) => (a -> Boolean, f a) -> f a</a></code></h4>
+<h4 name="filter"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v4.0.0/index.js#L1332">filter :: (Applicative f, Foldable f, Monoid (f a)) => (a -> Boolean, f a) -> f a</a></code></h4>
 
 Filters its second argument in accordance with the given predicate.
 
-This function is derived from [`empty`](#empty), [`of`](#of), and
-[`reduce`](#reduce).
+This function is derived from [`concat`](#concat), [`empty`](#empty),
+[`of`](#of), and [`reduce`](#reduce).
 
@@ -678,8 +678,8 @@ See also [`filterM`](#filterM).
 
-<h4 name="filterM"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v3.1.0/index.js#L1355">filterM :: (Monad m, Monoid (m a)) => (a -> Boolean, m a) -> m a</a></code></h4>
+<h4 name="filterM"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v4.0.0/index.js#L1355">filterM :: (Alternative m, Monad m) => (a -> Boolean, m a) -> m a</a></code></h4>
 
 Filters its second argument in accordance with the given predicate.
 
-This function is derived from [`empty`](#empty), [`of`](#of), and
-[`chain`](#chain).
+This function is derived from [`of`](#of), [`chain`](#chain), and
+[`zero`](#zero).
 
@@ -694,5 +694,14 @@ See also [`filter`](#filter).
 Cons(1, Cons(3, Nil))
+
+> filterM(x => x % 2 == 1, Nothing)
+Nothing
+
+> filterM(x => x % 2 == 1, Just(0))
+Nothing
+
+> filterM(x => x % 2 == 1, Just(1))
+Just(1)
 ```
 
-<h4 name="alt"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v3.1.0/index.js#L1377">alt :: Alt f => (f a, f a) -> f a</a></code></h4>
+<h4 name="alt"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v4.0.0/index.js#L1386">alt :: Alt f => (f a, f a) -> f a</a></code></h4>
 
@@ -718,3 +727,3 @@ Function wrapper for [`fantasy-land/alt`][].
 
-<h4 name="zero"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v3.1.0/index.js#L1401">zero :: Plus f => TypeRep f -> f a</a></code></h4>
+<h4 name="zero"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v4.0.0/index.js#L1410">zero :: Plus f => TypeRep f -> f a</a></code></h4>
 
@@ -737,3 +746,3 @@ Function wrapper for [`fantasy-land/zero`][].
 
-<h4 name="reduce"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v3.1.0/index.js#L1422">reduce :: Foldable f => ((b, a) -> b, b, f a) -> b</a></code></h4>
+<h4 name="reduce"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v4.0.0/index.js#L1431">reduce :: Foldable f => ((b, a) -> b, b, f a) -> b</a></code></h4>
 
@@ -753,3 +762,3 @@ Function wrapper for [`fantasy-land/reduce`][].
 
-<h4 name="traverse"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v3.1.0/index.js#L1440">traverse :: (Applicative f, Traversable t) => (TypeRep f, a -> f b, t a) -> f (t b)</a></code></h4>
+<h4 name="traverse"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v4.0.0/index.js#L1449">traverse :: (Applicative f, Traversable t) => (TypeRep f, a -> f b, t a) -> f (t b)</a></code></h4>
 
@@ -771,3 +780,3 @@ Function wrapper for [`fantasy-land/traverse`][].
 
-<h4 name="sequence"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v3.1.0/index.js#L1460">sequence :: (Applicative f, Traversable t) => (TypeRep f, t (f a)) -> f (t a)</a></code></h4>
+<h4 name="sequence"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v4.0.0/index.js#L1469">sequence :: (Applicative f, Traversable t) => (TypeRep f, t (f a)) -> f (t a)</a></code></h4>
 
@@ -786,3 +795,3 @@ Inverts the given `t (f a)` to produce an `f (t a)`.
 
-<h4 name="extend"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v3.1.0/index.js#L1477">extend :: Extend w => (w a -> b, w a) -> w b</a></code></h4>
+<h4 name="extend"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v4.0.0/index.js#L1486">extend :: Extend w => (w a -> b, w a) -> w b</a></code></h4>
 
@@ -799,3 +808,3 @@ Function wrapper for [`fantasy-land/extend`][].
 
-<h4 name="extract"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v3.1.0/index.js#L1492">extract :: Comonad w => w a -> a</a></code></h4>
+<h4 name="extract"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v4.0.0/index.js#L1501">extract :: Comonad w => w a -> a</a></code></h4>
 
@@ -809,3 +818,3 @@ Function wrapper for [`fantasy-land/extract`][].
 
-<h4 name="contramap"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v3.1.0/index.js#L1504">contramap :: Contravariant f => (b -> a, f a) -> f b</a></code></h4>
+<h4 name="contramap"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v4.0.0/index.js#L1513">contramap :: Contravariant f => (b -> a, f a) -> f b</a></code></h4>
 
@@ -812,0 +821,0 @@ Function wrapper for [`fantasy-land/contramap`][].

No alert changes

Improved metrics

Total package byte prevSize

77599

increased by0.46%

Lines of code

1482

increased by0.61%

Number of lines in readme file

823

increased by1.11%

No dependency changes