sanctuary-type-classes
Advanced tools
Comparing version 8.2.1 to 9.0.0
{ | ||
"name": "sanctuary-type-classes", | ||
"version": "8.2.1", | ||
"version": "9.0.0", | ||
"description": "Standard library for Fantasy Land", | ||
@@ -26,3 +26,4 @@ "license": "MIT", | ||
"sanctuary-benchmark": "1.0.x", | ||
"sanctuary-scripts": "1.5.x" | ||
"sanctuary-scripts": "1.5.x", | ||
"sanctuary-show": "1.0.x" | ||
}, | ||
@@ -29,0 +30,0 @@ "files": [ |
170
README.md
@@ -56,3 +56,3 @@ # sanctuary-type-classes | ||
#### <a name="TypeClass" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L157">`TypeClass :: (String, String, Array TypeClass, a -> Boolean) -> TypeClass`</a> | ||
#### <a name="TypeClass" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L157">`TypeClass :: (String, String, Array TypeClass, a -> Boolean) -> TypeClass`</a> | ||
@@ -104,3 +104,3 @@ The arguments are: | ||
#### <a name="Setoid" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L300">`Setoid :: TypeClass`</a> | ||
#### <a name="Setoid" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L300">`Setoid :: TypeClass`</a> | ||
@@ -114,3 +114,3 @@ `TypeClass` value for [Setoid][]. | ||
#### <a name="Ord" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L310">`Ord :: TypeClass`</a> | ||
#### <a name="Ord" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L310">`Ord :: TypeClass`</a> | ||
@@ -127,3 +127,3 @@ `TypeClass` value for [Ord][]. | ||
#### <a name="Semigroupoid" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L323">`Semigroupoid :: TypeClass`</a> | ||
#### <a name="Semigroupoid" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L323">`Semigroupoid :: TypeClass`</a> | ||
@@ -140,3 +140,3 @@ `TypeClass` value for [Semigroupoid][]. | ||
#### <a name="Category" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L336">`Category :: TypeClass`</a> | ||
#### <a name="Category" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L336">`Category :: TypeClass`</a> | ||
@@ -153,3 +153,3 @@ `TypeClass` value for [Category][]. | ||
#### <a name="Semigroup" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L349">`Semigroup :: TypeClass`</a> | ||
#### <a name="Semigroup" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L349">`Semigroup :: TypeClass`</a> | ||
@@ -166,3 +166,3 @@ `TypeClass` value for [Semigroup][]. | ||
#### <a name="Monoid" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L362">`Monoid :: TypeClass`</a> | ||
#### <a name="Monoid" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L362">`Monoid :: TypeClass`</a> | ||
@@ -179,3 +179,3 @@ `TypeClass` value for [Monoid][]. | ||
#### <a name="Group" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L375">`Group :: TypeClass`</a> | ||
#### <a name="Group" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L375">`Group :: TypeClass`</a> | ||
@@ -192,3 +192,3 @@ `TypeClass` value for [Group][]. | ||
#### <a name="Filterable" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L388">`Filterable :: TypeClass`</a> | ||
#### <a name="Filterable" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L388">`Filterable :: TypeClass`</a> | ||
@@ -205,3 +205,3 @@ `TypeClass` value for [Filterable][]. | ||
#### <a name="Functor" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L401">`Functor :: TypeClass`</a> | ||
#### <a name="Functor" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L401">`Functor :: TypeClass`</a> | ||
@@ -218,3 +218,3 @@ `TypeClass` value for [Functor][]. | ||
#### <a name="Bifunctor" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L414">`Bifunctor :: TypeClass`</a> | ||
#### <a name="Bifunctor" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L414">`Bifunctor :: TypeClass`</a> | ||
@@ -231,3 +231,3 @@ `TypeClass` value for [Bifunctor][]. | ||
#### <a name="Profunctor" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L427">`Profunctor :: TypeClass`</a> | ||
#### <a name="Profunctor" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L427">`Profunctor :: TypeClass`</a> | ||
@@ -244,3 +244,3 @@ `TypeClass` value for [Profunctor][]. | ||
#### <a name="Apply" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L440">`Apply :: TypeClass`</a> | ||
#### <a name="Apply" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L440">`Apply :: TypeClass`</a> | ||
@@ -257,3 +257,3 @@ `TypeClass` value for [Apply][]. | ||
#### <a name="Applicative" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L453">`Applicative :: TypeClass`</a> | ||
#### <a name="Applicative" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L453">`Applicative :: TypeClass`</a> | ||
@@ -270,3 +270,3 @@ `TypeClass` value for [Applicative][]. | ||
#### <a name="Chain" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L466">`Chain :: TypeClass`</a> | ||
#### <a name="Chain" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L466">`Chain :: TypeClass`</a> | ||
@@ -283,3 +283,3 @@ `TypeClass` value for [Chain][]. | ||
#### <a name="ChainRec" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L479">`ChainRec :: TypeClass`</a> | ||
#### <a name="ChainRec" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L479">`ChainRec :: TypeClass`</a> | ||
@@ -296,3 +296,3 @@ `TypeClass` value for [ChainRec][]. | ||
#### <a name="Monad" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L492">`Monad :: TypeClass`</a> | ||
#### <a name="Monad" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L492">`Monad :: TypeClass`</a> | ||
@@ -309,3 +309,3 @@ `TypeClass` value for [Monad][]. | ||
#### <a name="Alt" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L505">`Alt :: TypeClass`</a> | ||
#### <a name="Alt" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L505">`Alt :: TypeClass`</a> | ||
@@ -322,3 +322,3 @@ `TypeClass` value for [Alt][]. | ||
#### <a name="Plus" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L518">`Plus :: TypeClass`</a> | ||
#### <a name="Plus" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L518">`Plus :: TypeClass`</a> | ||
@@ -335,3 +335,3 @@ `TypeClass` value for [Plus][]. | ||
#### <a name="Alternative" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L531">`Alternative :: TypeClass`</a> | ||
#### <a name="Alternative" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L531">`Alternative :: TypeClass`</a> | ||
@@ -348,3 +348,3 @@ `TypeClass` value for [Alternative][]. | ||
#### <a name="Foldable" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L544">`Foldable :: TypeClass`</a> | ||
#### <a name="Foldable" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L544">`Foldable :: TypeClass`</a> | ||
@@ -361,3 +361,3 @@ `TypeClass` value for [Foldable][]. | ||
#### <a name="Traversable" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L557">`Traversable :: TypeClass`</a> | ||
#### <a name="Traversable" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L557">`Traversable :: TypeClass`</a> | ||
@@ -374,3 +374,3 @@ `TypeClass` value for [Traversable][]. | ||
#### <a name="Extend" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L570">`Extend :: TypeClass`</a> | ||
#### <a name="Extend" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L570">`Extend :: TypeClass`</a> | ||
@@ -387,3 +387,3 @@ `TypeClass` value for [Extend][]. | ||
#### <a name="Comonad" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L583">`Comonad :: TypeClass`</a> | ||
#### <a name="Comonad" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L583">`Comonad :: TypeClass`</a> | ||
@@ -400,3 +400,3 @@ `TypeClass` value for [Comonad][]. | ||
#### <a name="Contravariant" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L596">`Contravariant :: TypeClass`</a> | ||
#### <a name="Contravariant" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L596">`Contravariant :: TypeClass`</a> | ||
@@ -413,30 +413,4 @@ `TypeClass` value for [Contravariant][]. | ||
#### <a name="toString" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L1193">`toString :: a -> String`</a> | ||
#### <a name="equals" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L1111">`equals :: (a, b) -> Boolean`</a> | ||
Returns a useful string representation of its argument. | ||
Dispatches to the argument's `toString` method if appropriate. | ||
Where practical, `equals(eval(toString(x)), x) = true`. | ||
`toString` implementations are provided for the following built-in types: | ||
Null, Undefined, Boolean, Number, Date, String, Array, Arguments, Error, | ||
and Object. | ||
```javascript | ||
> toString(-0) | ||
'-0' | ||
> toString(['foo', 'bar', 'baz']) | ||
'["foo", "bar", "baz"]' | ||
> toString({x: 1, y: 2, z: 3}) | ||
'{"x": 1, "y": 2, "z": 3}' | ||
> toString(Cons(1, Cons(2, Cons(3, Nil)))) | ||
'Cons(1, Cons(2, Cons(3, Nil)))' | ||
``` | ||
#### <a name="equals" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L1241">`equals :: (a, b) -> Boolean`</a> | ||
Returns `true` if its arguments are of the same type and equal according | ||
@@ -469,3 +443,3 @@ to the type's [`fantasy-land/equals`][] method; `false` otherwise. | ||
#### <a name="lt" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L1291">`lt :: (a, b) -> Boolean`</a> | ||
#### <a name="lt" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L1161">`lt :: (a, b) -> Boolean`</a> | ||
@@ -491,3 +465,3 @@ Returns `true` if its arguments are of the same type and the first is | ||
#### <a name="lte" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L1315">`lte :: (a, b) -> Boolean`</a> | ||
#### <a name="lte" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L1185">`lte :: (a, b) -> Boolean`</a> | ||
@@ -518,3 +492,3 @@ Returns `true` if its arguments are of the same type and the first | ||
#### <a name="gt" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L1362">`gt :: (a, b) -> Boolean`</a> | ||
#### <a name="gt" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L1232">`gt :: (a, b) -> Boolean`</a> | ||
@@ -540,3 +514,3 @@ Returns `true` if its arguments are of the same type and the first is | ||
#### <a name="gte" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L1386">`gte :: (a, b) -> Boolean`</a> | ||
#### <a name="gte" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L1256">`gte :: (a, b) -> Boolean`</a> | ||
@@ -562,3 +536,3 @@ Returns `true` if its arguments are of the same type and the first | ||
#### <a name="min" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L1410">`min :: Ord a => (a, a) -> a`</a> | ||
#### <a name="min" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L1280">`min :: Ord a => (a, a) -> a`</a> | ||
@@ -582,3 +556,3 @@ Returns the smaller of its two arguments. | ||
#### <a name="max" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L1432">`max :: Ord a => (a, a) -> a`</a> | ||
#### <a name="max" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L1302">`max :: Ord a => (a, a) -> a`</a> | ||
@@ -602,3 +576,3 @@ Returns the larger of its two arguments. | ||
#### <a name="compose" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L1454">`compose :: Semigroupoid c => (c j k, c i j) -> c i k`</a> | ||
#### <a name="compose" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L1324">`compose :: Semigroupoid c => (c j k, c i j) -> c i k`</a> | ||
@@ -615,3 +589,3 @@ Function wrapper for [`fantasy-land/compose`][]. | ||
#### <a name="id" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L1469">`id :: Category c => TypeRep c -> c`</a> | ||
#### <a name="id" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L1339">`id :: Category c => TypeRep c -> c`</a> | ||
@@ -628,3 +602,3 @@ Function wrapper for [`fantasy-land/id`][]. | ||
#### <a name="concat" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L1484">`concat :: Semigroup a => (a, a) -> a`</a> | ||
#### <a name="concat" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L1354">`concat :: Semigroup a => (a, a) -> a`</a> | ||
@@ -650,3 +624,3 @@ Function wrapper for [`fantasy-land/concat`][]. | ||
#### <a name="empty" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L1508">`empty :: Monoid m => TypeRep m -> m`</a> | ||
#### <a name="empty" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L1378">`empty :: Monoid m => TypeRep m -> m`</a> | ||
@@ -672,3 +646,3 @@ Function wrapper for [`fantasy-land/empty`][]. | ||
#### <a name="invert" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L1532">`invert :: Group g => g -> g`</a> | ||
#### <a name="invert" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L1402">`invert :: Group g => g -> g`</a> | ||
@@ -682,3 +656,3 @@ Function wrapper for [`fantasy-land/invert`][]. | ||
#### <a name="filter" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L1544">`filter :: Filterable f => (a -> Boolean, f a) -> f a`</a> | ||
#### <a name="filter" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L1414">`filter :: Filterable f => (a -> Boolean, f a) -> f a`</a> | ||
@@ -713,3 +687,3 @@ Function wrapper for [`fantasy-land/filter`][]. Discards every element | ||
#### <a name="reject" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L1577">`reject :: Filterable f => (a -> Boolean, f a) -> f a`</a> | ||
#### <a name="reject" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L1447">`reject :: Filterable f => (a -> Boolean, f a) -> f a`</a> | ||
@@ -740,3 +714,3 @@ Discards every element which satisfies the predicate. | ||
#### <a name="takeWhile" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L1606">`takeWhile :: Filterable f => (a -> Boolean, f a) -> f a`</a> | ||
#### <a name="takeWhile" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L1476">`takeWhile :: Filterable f => (a -> Boolean, f a) -> f a`</a> | ||
@@ -761,3 +735,3 @@ Discards the first element which does not satisfy the predicate, and all | ||
#### <a name="dropWhile" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L1630">`dropWhile :: Filterable f => (a -> Boolean, f a) -> f a`</a> | ||
#### <a name="dropWhile" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L1500">`dropWhile :: Filterable f => (a -> Boolean, f a) -> f a`</a> | ||
@@ -782,3 +756,3 @@ Retains the first element which does not satisfy the predicate, and all | ||
#### <a name="map" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L1654">`map :: Functor f => (a -> b, f a) -> f b`</a> | ||
#### <a name="map" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L1524">`map :: Functor f => (a -> b, f a) -> f b`</a> | ||
@@ -810,3 +784,3 @@ Function wrapper for [`fantasy-land/map`][]. | ||
#### <a name="flip" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L1684">`flip :: Functor f => (f (a -> b), a) -> f b`</a> | ||
#### <a name="flip" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L1554">`flip :: Functor f => (f (a -> b), a) -> f b`</a> | ||
@@ -831,3 +805,3 @@ Maps over the given functions, applying each to the given value. | ||
#### <a name="bimap" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L1707">`bimap :: Bifunctor f => (a -> b, c -> d, f a c) -> f b d`</a> | ||
#### <a name="bimap" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L1577">`bimap :: Bifunctor f => (a -> b, c -> d, f a c) -> f b d`</a> | ||
@@ -841,3 +815,3 @@ Function wrapper for [`fantasy-land/bimap`][]. | ||
#### <a name="mapLeft" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L1719">`mapLeft :: Bifunctor f => (a -> b, f a c) -> f b c`</a> | ||
#### <a name="mapLeft" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L1589">`mapLeft :: Bifunctor f => (a -> b, f a c) -> f b c`</a> | ||
@@ -851,3 +825,3 @@ Maps the given function over the left side of a Bifunctor. | ||
#### <a name="promap" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L1731">`promap :: Profunctor p => (a -> b, c -> d, p b c) -> p a d`</a> | ||
#### <a name="promap" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L1601">`promap :: Profunctor p => (a -> b, c -> d, p b c) -> p a d`</a> | ||
@@ -864,3 +838,3 @@ Function wrapper for [`fantasy-land/promap`][]. | ||
#### <a name="ap" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L1746">`ap :: Apply f => (f (a -> b), f a) -> f b`</a> | ||
#### <a name="ap" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L1616">`ap :: Apply f => (f (a -> b), f a) -> f b`</a> | ||
@@ -889,3 +863,3 @@ Function wrapper for [`fantasy-land/ap`][]. | ||
#### <a name="lift2" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L1773">`lift2 :: Apply f => (a -> b -> c, f a, f b) -> f c`</a> | ||
#### <a name="lift2" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L1643">`lift2 :: Apply f => (a -> b -> c, f a, f b) -> f c`</a> | ||
@@ -907,3 +881,3 @@ Lifts `a -> b -> c` to `Apply f => f a -> f b -> f c` and returns the | ||
#### <a name="lift3" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L1793">`lift3 :: Apply f => (a -> b -> c -> d, f a, f b, f c) -> f d`</a> | ||
#### <a name="lift3" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L1663">`lift3 :: Apply f => (a -> b -> c -> d, f a, f b, f c) -> f d`</a> | ||
@@ -925,3 +899,3 @@ Lifts `a -> b -> c -> d` to `Apply f => f a -> f b -> f c -> f d` and | ||
#### <a name="apFirst" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L1813">`apFirst :: Apply f => (f a, f b) -> f a`</a> | ||
#### <a name="apFirst" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L1683">`apFirst :: Apply f => (f a, f b) -> f a`</a> | ||
@@ -943,3 +917,3 @@ Combines two effectful actions, keeping only the result of the first. | ||
#### <a name="apSecond" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L1833">`apSecond :: Apply f => (f a, f b) -> f b`</a> | ||
#### <a name="apSecond" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L1703">`apSecond :: Apply f => (f a, f b) -> f b`</a> | ||
@@ -961,3 +935,3 @@ Combines two effectful actions, keeping only the result of the second. | ||
#### <a name="of" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L1853">`of :: Applicative f => (TypeRep f, a) -> f a`</a> | ||
#### <a name="of" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L1723">`of :: Applicative f => (TypeRep f, a) -> f a`</a> | ||
@@ -980,3 +954,3 @@ Function wrapper for [`fantasy-land/of`][]. | ||
#### <a name="append" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L1874">`append :: (Applicative f, Semigroup (f a)) => (a, f a) -> f a`</a> | ||
#### <a name="append" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L1744">`append :: (Applicative f, Semigroup (f a)) => (a, f a) -> f a`</a> | ||
@@ -997,3 +971,3 @@ Returns the result of appending the first argument to the second. | ||
#### <a name="prepend" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L1893">`prepend :: (Applicative f, Semigroup (f a)) => (a, f a) -> f a`</a> | ||
#### <a name="prepend" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L1763">`prepend :: (Applicative f, Semigroup (f a)) => (a, f a) -> f a`</a> | ||
@@ -1014,3 +988,3 @@ Returns the result of prepending the first argument to the second. | ||
#### <a name="chain" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L1912">`chain :: Chain m => (a -> m b, m a) -> m b`</a> | ||
#### <a name="chain" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L1782">`chain :: Chain m => (a -> m b, m a) -> m b`</a> | ||
@@ -1033,3 +1007,3 @@ Function wrapper for [`fantasy-land/chain`][]. | ||
#### <a name="join" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L1933">`join :: Chain m => m (m a) -> m a`</a> | ||
#### <a name="join" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L1803">`join :: Chain m => m (m a) -> m a`</a> | ||
@@ -1051,3 +1025,3 @@ Removes one level of nesting from a nested monadic structure. | ||
#### <a name="chainRec" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L1953">`chainRec :: ChainRec m => (TypeRep m, (a -> c, b -> c, a) -> m c, a) -> m b`</a> | ||
#### <a name="chainRec" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L1823">`chainRec :: ChainRec m => (TypeRep m, (a -> c, b -> c, a) -> m c, a) -> m b`</a> | ||
@@ -1069,3 +1043,3 @@ Function wrapper for [`fantasy-land/chainRec`][]. | ||
#### <a name="alt" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L1973">`alt :: Alt f => (f a, f a) -> f a`</a> | ||
#### <a name="alt" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L1843">`alt :: Alt f => (f a, f a) -> f a`</a> | ||
@@ -1091,3 +1065,3 @@ Function wrapper for [`fantasy-land/alt`][]. | ||
#### <a name="zero" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L1997">`zero :: Plus f => TypeRep f -> f a`</a> | ||
#### <a name="zero" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L1867">`zero :: Plus f => TypeRep f -> f a`</a> | ||
@@ -1110,3 +1084,3 @@ Function wrapper for [`fantasy-land/zero`][]. | ||
#### <a name="reduce" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L2018">`reduce :: Foldable f => ((b, a) -> b, b, f a) -> b`</a> | ||
#### <a name="reduce" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L1888">`reduce :: Foldable f => ((b, a) -> b, b, f a) -> b`</a> | ||
@@ -1126,3 +1100,3 @@ Function wrapper for [`fantasy-land/reduce`][]. | ||
#### <a name="size" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L2036">`size :: Foldable f => f a -> Integer`</a> | ||
#### <a name="size" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L1906">`size :: Foldable f => f a -> Integer`</a> | ||
@@ -1147,3 +1121,3 @@ Returns the number of elements of the given structure. | ||
#### <a name="elem" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L2061">`elem :: (Setoid a, Foldable f) => (a, f a) -> Boolean`</a> | ||
#### <a name="elem" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L1931">`elem :: (Setoid a, Foldable f) => (a, f a) -> Boolean`</a> | ||
@@ -1179,3 +1153,3 @@ Takes a value and a structure and returns `true` if the | ||
#### <a name="foldMap" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L2097">`foldMap :: (Monoid m, Foldable f) => (TypeRep m, a -> m, f a) -> m`</a> | ||
#### <a name="foldMap" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L1967">`foldMap :: (Monoid m, Foldable f) => (TypeRep m, a -> m, f a) -> m`</a> | ||
@@ -1193,3 +1167,3 @@ Deconstructs a foldable by mapping every element to a monoid and | ||
#### <a name="reverse" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L2115">`reverse :: (Applicative f, Foldable f, Monoid (f a)) => f a -> f a`</a> | ||
#### <a name="reverse" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L1985">`reverse :: (Applicative f, Foldable f, Monoid (f a)) => f a -> f a`</a> | ||
@@ -1209,3 +1183,3 @@ Reverses the elements of the given structure. | ||
#### <a name="sort" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L2138">`sort :: (Ord a, Applicative f, Foldable f, Monoid (f a)) => f a -> f a`</a> | ||
#### <a name="sort" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L2008">`sort :: (Ord a, Applicative f, Foldable f, Monoid (f a)) => f a -> f a`</a> | ||
@@ -1231,3 +1205,3 @@ Performs a [stable sort][] of the elements of the given structure, | ||
#### <a name="sortBy" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L2162">`sortBy :: (Ord b, Applicative f, Foldable f, Monoid (f a)) => (a -> b, f a) -> f a`</a> | ||
#### <a name="sortBy" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L2032">`sortBy :: (Ord b, Applicative f, Foldable f, Monoid (f a)) => (a -> b, f a) -> f a`</a> | ||
@@ -1257,3 +1231,3 @@ Performs a [stable sort][] of the elements of the given structure, | ||
#### <a name="traverse" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L2217">`traverse :: (Applicative f, Traversable t) => (TypeRep f, a -> f b, t a) -> f (t b)`</a> | ||
#### <a name="traverse" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L2087">`traverse :: (Applicative f, Traversable t) => (TypeRep f, a -> f b, t a) -> f (t b)`</a> | ||
@@ -1275,3 +1249,3 @@ Function wrapper for [`fantasy-land/traverse`][]. | ||
#### <a name="sequence" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L2237">`sequence :: (Applicative f, Traversable t) => (TypeRep f, t (f a)) -> f (t a)`</a> | ||
#### <a name="sequence" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L2107">`sequence :: (Applicative f, Traversable t) => (TypeRep f, t (f a)) -> f (t a)`</a> | ||
@@ -1290,3 +1264,3 @@ Inverts the given `t (f a)` to produce an `f (t a)`. | ||
#### <a name="extend" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L2254">`extend :: Extend w => (w a -> b, w a) -> w b`</a> | ||
#### <a name="extend" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L2124">`extend :: Extend w => (w a -> b, w a) -> w b`</a> | ||
@@ -1306,3 +1280,3 @@ Function wrapper for [`fantasy-land/extend`][]. | ||
#### <a name="duplicate" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L2272">`duplicate :: Extend w => w a -> w (w a)`</a> | ||
#### <a name="duplicate" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L2142">`duplicate :: Extend w => w a -> w (w a)`</a> | ||
@@ -1327,3 +1301,3 @@ Adds one level of nesting to a comonadic structure. | ||
#### <a name="extract" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L2295">`extract :: Comonad w => w a -> a`</a> | ||
#### <a name="extract" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L2165">`extract :: Comonad w => w a -> a`</a> | ||
@@ -1337,3 +1311,3 @@ Function wrapper for [`fantasy-land/extract`][]. | ||
#### <a name="contramap" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v8.2.1/index.js#L2307">`contramap :: Contravariant f => (b -> a, f a) -> f b`</a> | ||
#### <a name="contramap" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v9.0.0/index.js#L2177">`contramap :: Contravariant f => (b -> a, f a) -> f b`</a> | ||
@@ -1340,0 +1314,0 @@ Function wrapper for [`fantasy-land/contramap`][]. |
Sorry, the diff of this file is too big to display
109295
7
2144
1301