sanctuary-type-classes
Advanced tools
Comparing version 7.1.1 to 7.2.0
{ | ||
"name": "sanctuary-type-classes", | ||
"version": "7.1.1", | ||
"version": "7.2.0", | ||
"description": "Standard library for Fantasy Land", | ||
@@ -5,0 +5,0 @@ "license": "MIT", |
163
README.md
@@ -56,3 +56,3 @@ # sanctuary-type-classes | ||
<h4 name="TypeClass"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L135">TypeClass :: (String, String, Array TypeClass, a -> Boolean) -> TypeClass</a></code></h4> | ||
<h4 name="TypeClass"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.2.0/index.js#L135">TypeClass :: (String, String, Array TypeClass, a -> Boolean) -> TypeClass</a></code></h4> | ||
@@ -104,3 +104,3 @@ The arguments are: | ||
<h4 name="Setoid"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L278">Setoid :: TypeClass</a></code></h4> | ||
<h4 name="Setoid"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.2.0/index.js#L278">Setoid :: TypeClass</a></code></h4> | ||
@@ -114,3 +114,3 @@ `TypeClass` value for [Setoid][]. | ||
<h4 name="Ord"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L288">Ord :: TypeClass</a></code></h4> | ||
<h4 name="Ord"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.2.0/index.js#L288">Ord :: TypeClass</a></code></h4> | ||
@@ -127,3 +127,3 @@ `TypeClass` value for [Ord][]. | ||
<h4 name="Semigroupoid"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L301">Semigroupoid :: TypeClass</a></code></h4> | ||
<h4 name="Semigroupoid"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.2.0/index.js#L301">Semigroupoid :: TypeClass</a></code></h4> | ||
@@ -140,3 +140,3 @@ `TypeClass` value for [Semigroupoid][]. | ||
<h4 name="Category"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L314">Category :: TypeClass</a></code></h4> | ||
<h4 name="Category"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.2.0/index.js#L314">Category :: TypeClass</a></code></h4> | ||
@@ -153,3 +153,3 @@ `TypeClass` value for [Category][]. | ||
<h4 name="Semigroup"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L327">Semigroup :: TypeClass</a></code></h4> | ||
<h4 name="Semigroup"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.2.0/index.js#L327">Semigroup :: TypeClass</a></code></h4> | ||
@@ -166,3 +166,3 @@ `TypeClass` value for [Semigroup][]. | ||
<h4 name="Monoid"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L340">Monoid :: TypeClass</a></code></h4> | ||
<h4 name="Monoid"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.2.0/index.js#L340">Monoid :: TypeClass</a></code></h4> | ||
@@ -179,3 +179,3 @@ `TypeClass` value for [Monoid][]. | ||
<h4 name="Group"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L353">Group :: TypeClass</a></code></h4> | ||
<h4 name="Group"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.2.0/index.js#L353">Group :: TypeClass</a></code></h4> | ||
@@ -192,3 +192,3 @@ `TypeClass` value for [Group][]. | ||
<h4 name="Functor"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L366">Functor :: TypeClass</a></code></h4> | ||
<h4 name="Functor"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.2.0/index.js#L366">Functor :: TypeClass</a></code></h4> | ||
@@ -205,3 +205,3 @@ `TypeClass` value for [Functor][]. | ||
<h4 name="Bifunctor"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L379">Bifunctor :: TypeClass</a></code></h4> | ||
<h4 name="Bifunctor"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.2.0/index.js#L379">Bifunctor :: TypeClass</a></code></h4> | ||
@@ -218,3 +218,3 @@ `TypeClass` value for [Bifunctor][]. | ||
<h4 name="Profunctor"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L392">Profunctor :: TypeClass</a></code></h4> | ||
<h4 name="Profunctor"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.2.0/index.js#L392">Profunctor :: TypeClass</a></code></h4> | ||
@@ -231,3 +231,3 @@ `TypeClass` value for [Profunctor][]. | ||
<h4 name="Apply"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L405">Apply :: TypeClass</a></code></h4> | ||
<h4 name="Apply"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.2.0/index.js#L405">Apply :: TypeClass</a></code></h4> | ||
@@ -244,3 +244,3 @@ `TypeClass` value for [Apply][]. | ||
<h4 name="Applicative"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L418">Applicative :: TypeClass</a></code></h4> | ||
<h4 name="Applicative"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.2.0/index.js#L418">Applicative :: TypeClass</a></code></h4> | ||
@@ -257,3 +257,3 @@ `TypeClass` value for [Applicative][]. | ||
<h4 name="Chain"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L431">Chain :: TypeClass</a></code></h4> | ||
<h4 name="Chain"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.2.0/index.js#L431">Chain :: TypeClass</a></code></h4> | ||
@@ -270,3 +270,3 @@ `TypeClass` value for [Chain][]. | ||
<h4 name="ChainRec"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L444">ChainRec :: TypeClass</a></code></h4> | ||
<h4 name="ChainRec"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.2.0/index.js#L444">ChainRec :: TypeClass</a></code></h4> | ||
@@ -283,3 +283,3 @@ `TypeClass` value for [ChainRec][]. | ||
<h4 name="Monad"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L457">Monad :: TypeClass</a></code></h4> | ||
<h4 name="Monad"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.2.0/index.js#L457">Monad :: TypeClass</a></code></h4> | ||
@@ -296,3 +296,3 @@ `TypeClass` value for [Monad][]. | ||
<h4 name="Alt"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L470">Alt :: TypeClass</a></code></h4> | ||
<h4 name="Alt"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.2.0/index.js#L470">Alt :: TypeClass</a></code></h4> | ||
@@ -309,3 +309,3 @@ `TypeClass` value for [Alt][]. | ||
<h4 name="Plus"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L483">Plus :: TypeClass</a></code></h4> | ||
<h4 name="Plus"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.2.0/index.js#L483">Plus :: TypeClass</a></code></h4> | ||
@@ -322,3 +322,3 @@ `TypeClass` value for [Plus][]. | ||
<h4 name="Alternative"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L496">Alternative :: TypeClass</a></code></h4> | ||
<h4 name="Alternative"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.2.0/index.js#L496">Alternative :: TypeClass</a></code></h4> | ||
@@ -335,3 +335,3 @@ `TypeClass` value for [Alternative][]. | ||
<h4 name="Foldable"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L509">Foldable :: TypeClass</a></code></h4> | ||
<h4 name="Foldable"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.2.0/index.js#L509">Foldable :: TypeClass</a></code></h4> | ||
@@ -348,3 +348,3 @@ `TypeClass` value for [Foldable][]. | ||
<h4 name="Traversable"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L522">Traversable :: TypeClass</a></code></h4> | ||
<h4 name="Traversable"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.2.0/index.js#L522">Traversable :: TypeClass</a></code></h4> | ||
@@ -361,3 +361,3 @@ `TypeClass` value for [Traversable][]. | ||
<h4 name="Extend"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L535">Extend :: TypeClass</a></code></h4> | ||
<h4 name="Extend"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.2.0/index.js#L535">Extend :: TypeClass</a></code></h4> | ||
@@ -374,3 +374,3 @@ `TypeClass` value for [Extend][]. | ||
<h4 name="Comonad"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L548">Comonad :: TypeClass</a></code></h4> | ||
<h4 name="Comonad"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.2.0/index.js#L548">Comonad :: TypeClass</a></code></h4> | ||
@@ -387,3 +387,3 @@ `TypeClass` value for [Comonad][]. | ||
<h4 name="Contravariant"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L561">Contravariant :: TypeClass</a></code></h4> | ||
<h4 name="Contravariant"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.2.0/index.js#L561">Contravariant :: TypeClass</a></code></h4> | ||
@@ -400,3 +400,3 @@ `TypeClass` value for [Contravariant][]. | ||
<h4 name="toString"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L1119">toString :: a -> String</a></code></h4> | ||
<h4 name="toString"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.2.0/index.js#L1128">toString :: a -> String</a></code></h4> | ||
@@ -427,3 +427,3 @@ Returns a useful string representation of its argument. | ||
<h4 name="equals"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L1167">equals :: (a, b) -> Boolean</a></code></h4> | ||
<h4 name="equals"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.2.0/index.js#L1176">equals :: (a, b) -> Boolean</a></code></h4> | ||
@@ -457,3 +457,3 @@ Returns `true` if its arguments are of the same type and equal according | ||
<h4 name="lt"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L1217">lt :: (a, b) -> Boolean</a></code></h4> | ||
<h4 name="lt"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.2.0/index.js#L1226">lt :: (a, b) -> Boolean</a></code></h4> | ||
@@ -479,3 +479,3 @@ Returns `true` if its arguments are of the same type and the first is | ||
<h4 name="lte"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L1241">lte :: (a, b) -> Boolean</a></code></h4> | ||
<h4 name="lte"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.2.0/index.js#L1250">lte :: (a, b) -> Boolean</a></code></h4> | ||
@@ -506,3 +506,3 @@ Returns `true` if its arguments are of the same type and the first | ||
<h4 name="gt"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L1288">gt :: (a, b) -> Boolean</a></code></h4> | ||
<h4 name="gt"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.2.0/index.js#L1297">gt :: (a, b) -> Boolean</a></code></h4> | ||
@@ -528,3 +528,3 @@ Returns `true` if its arguments are of the same type and the first is | ||
<h4 name="gte"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L1312">gte :: (a, b) -> Boolean</a></code></h4> | ||
<h4 name="gte"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.2.0/index.js#L1321">gte :: (a, b) -> Boolean</a></code></h4> | ||
@@ -550,3 +550,3 @@ Returns `true` if its arguments are of the same type and the first | ||
<h4 name="min"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L1336">min :: Ord a => (a, a) -> a</a></code></h4> | ||
<h4 name="min"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.2.0/index.js#L1345">min :: Ord a => (a, a) -> a</a></code></h4> | ||
@@ -570,3 +570,3 @@ Returns the smaller of its two arguments. | ||
<h4 name="max"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L1358">max :: Ord a => (a, a) -> a</a></code></h4> | ||
<h4 name="max"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.2.0/index.js#L1367">max :: Ord a => (a, a) -> a</a></code></h4> | ||
@@ -590,3 +590,3 @@ Returns the larger of its two arguments. | ||
<h4 name="compose"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L1380">compose :: Semigroupoid c => (c j k, c i j) -> c i k</a></code></h4> | ||
<h4 name="compose"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.2.0/index.js#L1389">compose :: Semigroupoid c => (c j k, c i j) -> c i k</a></code></h4> | ||
@@ -603,3 +603,3 @@ Function wrapper for [`fantasy-land/compose`][]. | ||
<h4 name="id"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L1395">id :: Category c => TypeRep c -> c</a></code></h4> | ||
<h4 name="id"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.2.0/index.js#L1404">id :: Category c => TypeRep c -> c</a></code></h4> | ||
@@ -616,3 +616,3 @@ Function wrapper for [`fantasy-land/id`][]. | ||
<h4 name="concat"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L1410">concat :: Semigroup a => (a, a) -> a</a></code></h4> | ||
<h4 name="concat"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.2.0/index.js#L1419">concat :: Semigroup a => (a, a) -> a</a></code></h4> | ||
@@ -638,3 +638,3 @@ Function wrapper for [`fantasy-land/concat`][]. | ||
<h4 name="empty"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L1434">empty :: Monoid m => TypeRep m -> m</a></code></h4> | ||
<h4 name="empty"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.2.0/index.js#L1443">empty :: Monoid m => TypeRep m -> m</a></code></h4> | ||
@@ -660,3 +660,3 @@ Function wrapper for [`fantasy-land/empty`][]. | ||
<h4 name="invert"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L1458">invert :: Group g => g -> g</a></code></h4> | ||
<h4 name="invert"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.2.0/index.js#L1467">invert :: Group g => g -> g</a></code></h4> | ||
@@ -666,7 +666,7 @@ Function wrapper for [`fantasy-land/invert`][]. | ||
```javascript | ||
invert(Sum(5)) | ||
> invert(Sum(5)) | ||
Sum(-5) | ||
``` | ||
<h4 name="map"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L1470">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/v7.2.0/index.js#L1479">map :: Functor f => (a -> b, f a) -> f b</a></code></h4> | ||
@@ -698,3 +698,3 @@ Function wrapper for [`fantasy-land/map`][]. | ||
<h4 name="bimap"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L1500">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/v7.2.0/index.js#L1509">bimap :: Bifunctor f => (a -> b, c -> d, f a c) -> f b d</a></code></h4> | ||
@@ -708,3 +708,3 @@ Function wrapper for [`fantasy-land/bimap`][]. | ||
<h4 name="promap"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L1512">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/v7.2.0/index.js#L1521">promap :: Profunctor p => (a -> b, c -> d, p b c) -> p a d</a></code></h4> | ||
@@ -721,3 +721,3 @@ Function wrapper for [`fantasy-land/promap`][]. | ||
<h4 name="ap"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L1527">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/v7.2.0/index.js#L1536">ap :: Apply f => (f (a -> b), f a) -> f b</a></code></h4> | ||
@@ -746,3 +746,3 @@ Function wrapper for [`fantasy-land/ap`][]. | ||
<h4 name="lift2"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L1554">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/v7.2.0/index.js#L1563">lift2 :: Apply f => (a -> b -> c, f a, f b) -> f c</a></code></h4> | ||
@@ -764,3 +764,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/v7.1.1/index.js#L1574">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/v7.2.0/index.js#L1583">lift3 :: Apply f => (a -> b -> c -> d, f a, f b, f c) -> f d</a></code></h4> | ||
@@ -782,3 +782,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/v7.1.1/index.js#L1594">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/v7.2.0/index.js#L1603">apFirst :: Apply f => (f a, f b) -> f a</a></code></h4> | ||
@@ -800,3 +800,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/v7.1.1/index.js#L1614">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/v7.2.0/index.js#L1623">apSecond :: Apply f => (f a, f b) -> f b</a></code></h4> | ||
@@ -818,3 +818,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/v7.1.1/index.js#L1634">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/v7.2.0/index.js#L1643">of :: Applicative f => (TypeRep f, a) -> f a</a></code></h4> | ||
@@ -837,3 +837,3 @@ Function wrapper for [`fantasy-land/of`][]. | ||
<h4 name="append"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L1655">append :: (Applicative f, Semigroup (f a)) => (a, f a) -> f a</a></code></h4> | ||
<h4 name="append"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.2.0/index.js#L1664">append :: (Applicative f, Semigroup (f a)) => (a, f a) -> f a</a></code></h4> | ||
@@ -854,3 +854,3 @@ Returns the result of appending the first argument to the second. | ||
<h4 name="prepend"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L1674">prepend :: (Applicative f, Semigroup (f a)) => (a, f a) -> f a</a></code></h4> | ||
<h4 name="prepend"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.2.0/index.js#L1683">prepend :: (Applicative f, Semigroup (f a)) => (a, f a) -> f a</a></code></h4> | ||
@@ -871,3 +871,3 @@ Returns the result of prepending the first argument to the second. | ||
<h4 name="chain"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L1693">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/v7.2.0/index.js#L1702">chain :: Chain m => (a -> m b, m a) -> m b</a></code></h4> | ||
@@ -890,3 +890,3 @@ Function wrapper for [`fantasy-land/chain`][]. | ||
<h4 name="join"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L1714">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/v7.2.0/index.js#L1723">join :: Chain m => m (m a) -> m a</a></code></h4> | ||
@@ -908,3 +908,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/v7.1.1/index.js#L1734">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/v7.2.0/index.js#L1743">chainRec :: ChainRec m => (TypeRep m, (a -> c, b -> c, a) -> m c, a) -> m b</a></code></h4> | ||
@@ -926,3 +926,3 @@ Function wrapper for [`fantasy-land/chainRec`][]. | ||
<h4 name="filter"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L1754">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/v7.2.0/index.js#L1763">filter :: (Applicative f, Foldable f, Monoid (f a)) => (a -> Boolean, f a) -> f a</a></code></h4> | ||
@@ -944,3 +944,3 @@ Filters its second argument in accordance with the given predicate. | ||
<h4 name="filterM"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L1779">filterM :: (Alternative m, Monad m) => (a -> Boolean, m a) -> m a</a></code></h4> | ||
<h4 name="filterM"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.2.0/index.js#L1788">filterM :: (Alternative m, Monad m) => (a -> Boolean, m a) -> m a</a></code></h4> | ||
@@ -971,3 +971,3 @@ Filters its second argument in accordance with the given predicate. | ||
<h4 name="alt"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L1810">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/v7.2.0/index.js#L1819">alt :: Alt f => (f a, f a) -> f a</a></code></h4> | ||
@@ -993,3 +993,3 @@ Function wrapper for [`fantasy-land/alt`][]. | ||
<h4 name="zero"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L1834">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/v7.2.0/index.js#L1843">zero :: Plus f => TypeRep f -> f a</a></code></h4> | ||
@@ -1012,3 +1012,3 @@ Function wrapper for [`fantasy-land/zero`][]. | ||
<h4 name="reduce"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L1855">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/v7.2.0/index.js#L1864">reduce :: Foldable f => ((b, a) -> b, b, f a) -> b</a></code></h4> | ||
@@ -1028,3 +1028,3 @@ Function wrapper for [`fantasy-land/reduce`][]. | ||
<h4 name="size"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L1873">size :: Foldable f => f a -> Integer</a></code></h4> | ||
<h4 name="size"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.2.0/index.js#L1882">size :: Foldable f => f a -> Integer</a></code></h4> | ||
@@ -1049,3 +1049,3 @@ Returns the number of elements of the given structure. | ||
<h4 name="elem"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L1898">elem :: (Setoid a, Foldable f) => (a, f a) -> Boolean</a></code></h4> | ||
<h4 name="elem"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.2.0/index.js#L1907">elem :: (Setoid a, Foldable f) => (a, f a) -> Boolean</a></code></h4> | ||
@@ -1081,3 +1081,3 @@ Takes a value and a structure and returns `true` if the | ||
<h4 name="reverse"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L1934">reverse :: (Applicative f, Foldable f, Monoid (f a)) => f a -> f a</a></code></h4> | ||
<h4 name="reverse"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.2.0/index.js#L1943">reverse :: (Applicative f, Foldable f, Monoid (f a)) => f a -> f a</a></code></h4> | ||
@@ -1097,3 +1097,3 @@ Reverses the elements of the given structure. | ||
<h4 name="sort"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L1957">sort :: (Ord a, Applicative f, Foldable f, Monoid (f a)) => f a -> f a</a></code></h4> | ||
<h4 name="sort"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.2.0/index.js#L1966">sort :: (Ord a, Applicative f, Foldable f, Monoid (f a)) => f a -> f a</a></code></h4> | ||
@@ -1119,3 +1119,3 @@ Performs a [stable sort][] of the elements of the given structure, | ||
<h4 name="sortBy"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L1981">sortBy :: (Ord b, Applicative f, Foldable f, Monoid (f a)) => (a -> b, f a) -> f a</a></code></h4> | ||
<h4 name="sortBy"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.2.0/index.js#L1990">sortBy :: (Ord b, Applicative f, Foldable f, Monoid (f a)) => (a -> b, f a) -> f a</a></code></h4> | ||
@@ -1145,3 +1145,3 @@ Performs a [stable sort][] of the elements of the given structure, | ||
<h4 name="takeWhile"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L2026">takeWhile :: (Applicative f, Foldable f, Monoid (f a)) => (a -> Boolean, f a) -> f a</a></code></h4> | ||
<h4 name="takeWhile"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.2.0/index.js#L2035">takeWhile :: (Applicative f, Foldable f, Monoid (f a)) => (a -> Boolean, f a) -> f a</a></code></h4> | ||
@@ -1167,3 +1167,3 @@ Discards the first inner value which does not satisfy the predicate, and | ||
<h4 name="dropWhile"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L2051">dropWhile :: (Applicative f, Foldable f, Monoid (f a)) => (a -> Boolean, f a) -> f a</a></code></h4> | ||
<h4 name="dropWhile"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.2.0/index.js#L2060">dropWhile :: (Applicative f, Foldable f, Monoid (f a)) => (a -> Boolean, f a) -> f a</a></code></h4> | ||
@@ -1189,3 +1189,3 @@ Retains the first inner value which does not satisfy the predicate, and | ||
<h4 name="traverse"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L2076">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/v7.2.0/index.js#L2085">traverse :: (Applicative f, Traversable t) => (TypeRep f, a -> f b, t a) -> f (t b)</a></code></h4> | ||
@@ -1207,3 +1207,3 @@ Function wrapper for [`fantasy-land/traverse`][]. | ||
<h4 name="sequence"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L2096">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/v7.2.0/index.js#L2105">sequence :: (Applicative f, Traversable t) => (TypeRep f, t (f a)) -> f (t a)</a></code></h4> | ||
@@ -1222,3 +1222,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/v7.1.1/index.js#L2113">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/v7.2.0/index.js#L2122">extend :: Extend w => (w a -> b, w a) -> w b</a></code></h4> | ||
@@ -1228,3 +1228,3 @@ Function wrapper for [`fantasy-land/extend`][]. | ||
`fantasy-land/extend` implementations are provided for the following | ||
built-in types: Array. | ||
built-in types: Array and Function. | ||
@@ -1234,6 +1234,29 @@ ```javascript | ||
['xyz', 'yz', 'z'] | ||
> extend(f => f([3, 4]), reverse)([1, 2]) | ||
[4, 3, 2, 1] | ||
``` | ||
<h4 name="extract"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L2128">extract :: Comonad w => w a -> a</a></code></h4> | ||
<h4 name="duplicate"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.2.0/index.js#L2140">duplicate :: Extend w => w a -> w (w a)</a></code></h4> | ||
Adds one level of nesting to a comonadic structure. | ||
This function is derived from [`extend`](#extend). | ||
```javascript | ||
> duplicate(Identity(1)) | ||
Identity(Identity(1)) | ||
> duplicate([1]) | ||
[[1]] | ||
> duplicate([1, 2, 3]) | ||
[[1, 2, 3], [2, 3], [3]] | ||
> duplicate(reverse)([1, 2])([3, 4]) | ||
[4, 3, 2, 1] | ||
``` | ||
<h4 name="extract"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.2.0/index.js#L2163">extract :: Comonad w => w a -> a</a></code></h4> | ||
Function wrapper for [`fantasy-land/extract`][]. | ||
@@ -1246,3 +1269,3 @@ | ||
<h4 name="contramap"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v7.1.1/index.js#L2140">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/v7.2.0/index.js#L2175">contramap :: Contravariant f => (b -> a, f a) -> f b</a></code></h4> | ||
@@ -1249,0 +1272,0 @@ Function wrapper for [`fantasy-land/contramap`][]. |
Sorry, the diff of this file is too big to display
Sorry, the diff of this file is not supported yet
109923
2134
1260