sanctuary-type-classes
Advanced tools
Comparing version 12.0.0 to 12.1.0
{ | ||
"name": "sanctuary-type-classes", | ||
"version": "12.0.0", | ||
"version": "12.1.0", | ||
"description": "Standard library for Fantasy Land", | ||
@@ -26,7 +26,7 @@ "license": "MIT", | ||
"sanctuary-benchmark": "1.0.x", | ||
"sanctuary-identity": "1.2.x", | ||
"sanctuary-maybe": "1.2.x", | ||
"sanctuary-pair": "1.2.x", | ||
"sanctuary-scripts": "3.2.x", | ||
"sanctuary-show": "1.0.x" | ||
"sanctuary-identity": "2.0.x", | ||
"sanctuary-maybe": "2.0.x", | ||
"sanctuary-pair": "2.0.x", | ||
"sanctuary-scripts": "4.0.x", | ||
"sanctuary-show": "2.0.x" | ||
}, | ||
@@ -33,0 +33,0 @@ "files": [ |
176
README.md
@@ -56,3 +56,3 @@ # sanctuary-type-classes | ||
#### <a name="TypeClass" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L168">`TypeClass :: (String, String, Array TypeClass, a -> Boolean) -> TypeClass`</a> | ||
#### <a name="TypeClass" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L168">`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/v12.0.0/index.js#L312">`Setoid :: TypeClass`</a> | ||
#### <a name="Setoid" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L312">`Setoid :: TypeClass`</a> | ||
@@ -114,3 +114,3 @@ `TypeClass` value for [Setoid][]. | ||
#### <a name="Ord" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L322">`Ord :: TypeClass`</a> | ||
#### <a name="Ord" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L322">`Ord :: TypeClass`</a> | ||
@@ -127,3 +127,3 @@ `TypeClass` value for [Ord][]. | ||
#### <a name="Semigroupoid" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L335">`Semigroupoid :: TypeClass`</a> | ||
#### <a name="Semigroupoid" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L335">`Semigroupoid :: TypeClass`</a> | ||
@@ -140,3 +140,3 @@ `TypeClass` value for [Semigroupoid][]. | ||
#### <a name="Category" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L348">`Category :: TypeClass`</a> | ||
#### <a name="Category" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L348">`Category :: TypeClass`</a> | ||
@@ -153,3 +153,3 @@ `TypeClass` value for [Category][]. | ||
#### <a name="Semigroup" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L361">`Semigroup :: TypeClass`</a> | ||
#### <a name="Semigroup" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L361">`Semigroup :: TypeClass`</a> | ||
@@ -166,3 +166,3 @@ `TypeClass` value for [Semigroup][]. | ||
#### <a name="Monoid" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L374">`Monoid :: TypeClass`</a> | ||
#### <a name="Monoid" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L374">`Monoid :: TypeClass`</a> | ||
@@ -179,3 +179,3 @@ `TypeClass` value for [Monoid][]. | ||
#### <a name="Group" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L387">`Group :: TypeClass`</a> | ||
#### <a name="Group" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L387">`Group :: TypeClass`</a> | ||
@@ -192,3 +192,3 @@ `TypeClass` value for [Group][]. | ||
#### <a name="Filterable" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L400">`Filterable :: TypeClass`</a> | ||
#### <a name="Filterable" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L400">`Filterable :: TypeClass`</a> | ||
@@ -205,3 +205,3 @@ `TypeClass` value for [Filterable][]. | ||
#### <a name="Functor" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L413">`Functor :: TypeClass`</a> | ||
#### <a name="Functor" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L413">`Functor :: TypeClass`</a> | ||
@@ -218,3 +218,3 @@ `TypeClass` value for [Functor][]. | ||
#### <a name="Bifunctor" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L426">`Bifunctor :: TypeClass`</a> | ||
#### <a name="Bifunctor" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L426">`Bifunctor :: TypeClass`</a> | ||
@@ -231,3 +231,3 @@ `TypeClass` value for [Bifunctor][]. | ||
#### <a name="Profunctor" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L439">`Profunctor :: TypeClass`</a> | ||
#### <a name="Profunctor" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L439">`Profunctor :: TypeClass`</a> | ||
@@ -244,3 +244,3 @@ `TypeClass` value for [Profunctor][]. | ||
#### <a name="Apply" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L452">`Apply :: TypeClass`</a> | ||
#### <a name="Apply" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L452">`Apply :: TypeClass`</a> | ||
@@ -257,3 +257,3 @@ `TypeClass` value for [Apply][]. | ||
#### <a name="Applicative" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L465">`Applicative :: TypeClass`</a> | ||
#### <a name="Applicative" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L465">`Applicative :: TypeClass`</a> | ||
@@ -270,3 +270,3 @@ `TypeClass` value for [Applicative][]. | ||
#### <a name="Chain" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L478">`Chain :: TypeClass`</a> | ||
#### <a name="Chain" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L478">`Chain :: TypeClass`</a> | ||
@@ -283,3 +283,3 @@ `TypeClass` value for [Chain][]. | ||
#### <a name="ChainRec" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L491">`ChainRec :: TypeClass`</a> | ||
#### <a name="ChainRec" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L491">`ChainRec :: TypeClass`</a> | ||
@@ -296,3 +296,3 @@ `TypeClass` value for [ChainRec][]. | ||
#### <a name="Monad" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L504">`Monad :: TypeClass`</a> | ||
#### <a name="Monad" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L504">`Monad :: TypeClass`</a> | ||
@@ -309,3 +309,3 @@ `TypeClass` value for [Monad][]. | ||
#### <a name="Alt" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L517">`Alt :: TypeClass`</a> | ||
#### <a name="Alt" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L517">`Alt :: TypeClass`</a> | ||
@@ -322,3 +322,3 @@ `TypeClass` value for [Alt][]. | ||
#### <a name="Plus" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L530">`Plus :: TypeClass`</a> | ||
#### <a name="Plus" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L530">`Plus :: TypeClass`</a> | ||
@@ -335,3 +335,3 @@ `TypeClass` value for [Plus][]. | ||
#### <a name="Alternative" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L543">`Alternative :: TypeClass`</a> | ||
#### <a name="Alternative" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L543">`Alternative :: TypeClass`</a> | ||
@@ -348,3 +348,3 @@ `TypeClass` value for [Alternative][]. | ||
#### <a name="Foldable" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L556">`Foldable :: TypeClass`</a> | ||
#### <a name="Foldable" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L556">`Foldable :: TypeClass`</a> | ||
@@ -361,3 +361,3 @@ `TypeClass` value for [Foldable][]. | ||
#### <a name="Traversable" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L569">`Traversable :: TypeClass`</a> | ||
#### <a name="Traversable" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L569">`Traversable :: TypeClass`</a> | ||
@@ -374,3 +374,3 @@ `TypeClass` value for [Traversable][]. | ||
#### <a name="Extend" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L582">`Extend :: TypeClass`</a> | ||
#### <a name="Extend" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L582">`Extend :: TypeClass`</a> | ||
@@ -387,3 +387,3 @@ `TypeClass` value for [Extend][]. | ||
#### <a name="Comonad" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L595">`Comonad :: TypeClass`</a> | ||
#### <a name="Comonad" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L595">`Comonad :: TypeClass`</a> | ||
@@ -400,3 +400,3 @@ `TypeClass` value for [Comonad][]. | ||
#### <a name="Contravariant" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L608">`Contravariant :: TypeClass`</a> | ||
#### <a name="Contravariant" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L608">`Contravariant :: TypeClass`</a> | ||
@@ -413,3 +413,3 @@ `TypeClass` value for [Contravariant][]. | ||
#### <a name="equals" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L1127">`equals :: (a, b) -> Boolean`</a> | ||
#### <a name="equals" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L1127">`equals :: (a, b) -> Boolean`</a> | ||
@@ -443,3 +443,3 @@ Returns `true` if its arguments are of the same type and equal according | ||
#### <a name="lt" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L1179">`lt :: (a, b) -> Boolean`</a> | ||
#### <a name="lt" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L1179">`lt :: (a, b) -> Boolean`</a> | ||
@@ -465,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/v12.0.0/index.js#L1203">`lte :: (a, b) -> Boolean`</a> | ||
#### <a name="lte" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L1203">`lte :: (a, b) -> Boolean`</a> | ||
@@ -492,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/v12.0.0/index.js#L1250">`gt :: (a, b) -> Boolean`</a> | ||
#### <a name="gt" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L1250">`gt :: (a, b) -> Boolean`</a> | ||
@@ -514,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/v12.0.0/index.js#L1274">`gte :: (a, b) -> Boolean`</a> | ||
#### <a name="gte" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L1274">`gte :: (a, b) -> Boolean`</a> | ||
@@ -536,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/v12.0.0/index.js#L1298">`min :: Ord a => (a, a) -> a`</a> | ||
#### <a name="min" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L1298">`min :: Ord a => (a, a) -> a`</a> | ||
@@ -556,3 +556,3 @@ Returns the smaller of its two arguments. | ||
#### <a name="max" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L1320">`max :: Ord a => (a, a) -> a`</a> | ||
#### <a name="max" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L1320">`max :: Ord a => (a, a) -> a`</a> | ||
@@ -576,3 +576,3 @@ Returns the larger of its two arguments. | ||
#### <a name="clamp" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L1342">`clamp :: Ord a => (a, a, a) -> a`</a> | ||
#### <a name="clamp" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L1342">`clamp :: Ord a => (a, a, a) -> a`</a> | ||
@@ -595,3 +595,3 @@ Takes a lower bound, an upper bound, and a value of the same type. | ||
#### <a name="compose" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L1363">`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/v12.1.0/index.js#L1363">`compose :: Semigroupoid c => (c j k, c i j) -> c i k`</a> | ||
@@ -608,3 +608,3 @@ Function wrapper for [`fantasy-land/compose`][]. | ||
#### <a name="id" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L1378">`id :: Category c => TypeRep c -> c`</a> | ||
#### <a name="id" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L1378">`id :: Category c => TypeRep c -> c`</a> | ||
@@ -621,3 +621,3 @@ Function wrapper for [`fantasy-land/id`][]. | ||
#### <a name="concat" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L1393">`concat :: Semigroup a => (a, a) -> a`</a> | ||
#### <a name="concat" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L1393">`concat :: Semigroup a => (a, a) -> a`</a> | ||
@@ -643,3 +643,3 @@ Function wrapper for [`fantasy-land/concat`][]. | ||
#### <a name="empty" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L1417">`empty :: Monoid m => TypeRep m -> m`</a> | ||
#### <a name="empty" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L1417">`empty :: Monoid m => TypeRep m -> m`</a> | ||
@@ -665,3 +665,3 @@ Function wrapper for [`fantasy-land/empty`][]. | ||
#### <a name="invert" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L1441">`invert :: Group g => g -> g`</a> | ||
#### <a name="invert" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L1441">`invert :: Group g => g -> g`</a> | ||
@@ -675,3 +675,3 @@ Function wrapper for [`fantasy-land/invert`][]. | ||
#### <a name="filter" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L1453">`filter :: Filterable f => (a -> Boolean, f a) -> f a`</a> | ||
#### <a name="filter" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L1453">`filter :: Filterable f => (a -> Boolean, f a) -> f a`</a> | ||
@@ -706,3 +706,3 @@ Function wrapper for [`fantasy-land/filter`][]. Discards every element | ||
#### <a name="reject" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L1486">`reject :: Filterable f => (a -> Boolean, f a) -> f a`</a> | ||
#### <a name="reject" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L1486">`reject :: Filterable f => (a -> Boolean, f a) -> f a`</a> | ||
@@ -733,3 +733,3 @@ Discards every element which satisfies the predicate. | ||
#### <a name="map" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L1515">`map :: Functor f => (a -> b, f a) -> f b`</a> | ||
#### <a name="map" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L1515">`map :: Functor f => (a -> b, f a) -> f b`</a> | ||
@@ -761,3 +761,3 @@ Function wrapper for [`fantasy-land/map`][]. | ||
#### <a name="flip" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L1545">`flip :: Functor f => (f (a -> b), a) -> f b`</a> | ||
#### <a name="flip" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L1545">`flip :: Functor f => (f (a -> b), a) -> f b`</a> | ||
@@ -782,3 +782,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/v12.0.0/index.js#L1568">`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/v12.1.0/index.js#L1568">`bimap :: Bifunctor f => (a -> b, c -> d, f a c) -> f b d`</a> | ||
@@ -792,3 +792,3 @@ Function wrapper for [`fantasy-land/bimap`][]. | ||
#### <a name="mapLeft" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L1580">`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/v12.1.0/index.js#L1580">`mapLeft :: Bifunctor f => (a -> b, f a c) -> f b c`</a> | ||
@@ -802,3 +802,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/v12.0.0/index.js#L1592">`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/v12.1.0/index.js#L1592">`promap :: Profunctor p => (a -> b, c -> d, p b c) -> p a d`</a> | ||
@@ -815,3 +815,3 @@ Function wrapper for [`fantasy-land/promap`][]. | ||
#### <a name="ap" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L1607">`ap :: Apply f => (f (a -> b), f a) -> f b`</a> | ||
#### <a name="ap" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L1607">`ap :: Apply f => (f (a -> b), f a) -> f b`</a> | ||
@@ -840,3 +840,3 @@ Function wrapper for [`fantasy-land/ap`][]. | ||
#### <a name="lift2" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L1634">`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/v12.1.0/index.js#L1634">`lift2 :: Apply f => (a -> b -> c, f a, f b) -> f c`</a> | ||
@@ -858,3 +858,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/v12.0.0/index.js#L1654">`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/v12.1.0/index.js#L1654">`lift3 :: Apply f => (a -> b -> c -> d, f a, f b, f c) -> f d`</a> | ||
@@ -885,3 +885,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/v12.0.0/index.js#L1683">`apFirst :: Apply f => (f a, f b) -> f a`</a> | ||
#### <a name="apFirst" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L1683">`apFirst :: Apply f => (f a, f b) -> f a`</a> | ||
@@ -903,3 +903,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/v12.0.0/index.js#L1703">`apSecond :: Apply f => (f a, f b) -> f b`</a> | ||
#### <a name="apSecond" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L1703">`apSecond :: Apply f => (f a, f b) -> f b`</a> | ||
@@ -921,3 +921,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/v12.0.0/index.js#L1723">`of :: Applicative f => (TypeRep f, a) -> f a`</a> | ||
#### <a name="of" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L1723">`of :: Applicative f => (TypeRep f, a) -> f a`</a> | ||
@@ -940,3 +940,3 @@ Function wrapper for [`fantasy-land/of`][]. | ||
#### <a name="append" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L1744">`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/v12.1.0/index.js#L1744">`append :: (Applicative f, Semigroup (f a)) => (a, f a) -> f a`</a> | ||
@@ -957,3 +957,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/v12.0.0/index.js#L1763">`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/v12.1.0/index.js#L1763">`prepend :: (Applicative f, Semigroup (f a)) => (a, f a) -> f a`</a> | ||
@@ -974,3 +974,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/v12.0.0/index.js#L1782">`chain :: Chain m => (a -> m b, m a) -> m b`</a> | ||
#### <a name="chain" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L1782">`chain :: Chain m => (a -> m b, m a) -> m b`</a> | ||
@@ -996,3 +996,3 @@ Function wrapper for [`fantasy-land/chain`][]. | ||
#### <a name="join" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L1806">`join :: Chain m => m (m a) -> m a`</a> | ||
#### <a name="join" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L1806">`join :: Chain m => m (m a) -> m a`</a> | ||
@@ -1014,3 +1014,3 @@ Removes one level of nesting from a nested monadic structure. | ||
#### <a name="chainRec" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L1826">`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/v12.1.0/index.js#L1826">`chainRec :: ChainRec m => (TypeRep m, (a -> c, b -> c, a) -> m c, a) -> m b`</a> | ||
@@ -1032,3 +1032,3 @@ Function wrapper for [`fantasy-land/chainRec`][]. | ||
#### <a name="alt" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L1846">`alt :: Alt f => (f a, f a) -> f a`</a> | ||
#### <a name="alt" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L1846">`alt :: Alt f => (f a, f a) -> f a`</a> | ||
@@ -1054,3 +1054,3 @@ Function wrapper for [`fantasy-land/alt`][]. | ||
#### <a name="zero" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L1870">`zero :: Plus f => TypeRep f -> f a`</a> | ||
#### <a name="zero" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L1870">`zero :: Plus f => TypeRep f -> f a`</a> | ||
@@ -1073,3 +1073,3 @@ Function wrapper for [`fantasy-land/zero`][]. | ||
#### <a name="reduce" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L1891">`reduce :: Foldable f => ((b, a) -> b, b, f a) -> b`</a> | ||
#### <a name="reduce" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L1891">`reduce :: Foldable f => ((b, a) -> b, b, f a) -> b`</a> | ||
@@ -1089,3 +1089,3 @@ Function wrapper for [`fantasy-land/reduce`][]. | ||
#### <a name="size" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L1909">`size :: Foldable f => f a -> Integer`</a> | ||
#### <a name="size" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L1909">`size :: Foldable f => f a -> Integer`</a> | ||
@@ -1110,3 +1110,3 @@ Returns the number of elements of the given structure. | ||
#### <a name="all" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L1934">`all :: Foldable f => (a -> Boolean, f a) -> Boolean`</a> | ||
#### <a name="all" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L1934">`all :: Foldable f => (a -> Boolean, f a) -> Boolean`</a> | ||
@@ -1131,3 +1131,3 @@ Returns `true` if all the elements of the structure satisfy the | ||
#### <a name="any" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L1959">`any :: Foldable f => (a -> Boolean, f a) -> Boolean`</a> | ||
#### <a name="any" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L1959">`any :: Foldable f => (a -> Boolean, f a) -> Boolean`</a> | ||
@@ -1152,3 +1152,3 @@ Returns `true` if any element of the structure satisfies the predicate; | ||
#### <a name="none" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L1984">`none :: Foldable f => (a -> Boolean, f a) -> Boolean`</a> | ||
#### <a name="none" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L1984">`none :: Foldable f => (a -> Boolean, f a) -> Boolean`</a> | ||
@@ -1171,3 +1171,3 @@ Returns `true` if none of the elements of the structure satisfies the | ||
#### <a name="elem" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L2005">`elem :: (Setoid a, Foldable f) => (a, f a) -> Boolean`</a> | ||
#### <a name="elem" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L2005">`elem :: (Setoid a, Foldable f) => (a, f a) -> Boolean`</a> | ||
@@ -1203,4 +1203,32 @@ Takes a value and a structure and returns `true` if the | ||
#### <a name="foldMap" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L2039">`foldMap :: (Monoid m, Foldable f) => (TypeRep m, a -> m, f a) -> m`</a> | ||
#### <a name="intercalate" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L2039">`intercalate :: (Monoid m, Foldable f) => (m, f m) -> m`</a> | ||
Concatenates the elements of the given structure, separating each pair | ||
of adjacent elements with the given separator. | ||
This function is derived from [`concat`](#concat), [`empty`](#empty), | ||
and [`reduce`](#reduce). | ||
```javascript | ||
> intercalate (', ', []) | ||
'' | ||
> intercalate (', ', ['foo', 'bar', 'baz']) | ||
'foo, bar, baz' | ||
> intercalate (', ', Nil) | ||
'' | ||
> intercalate (', ', Cons ('foo', Cons ('bar', Cons ('baz', Nil)))) | ||
'foo, bar, baz' | ||
> intercalate ([0, 0, 0], []) | ||
[] | ||
> intercalate ([0, 0, 0], [[1], [2, 3], [4, 5, 6], [7, 8], [9]]) | ||
[1, 0, 0, 0, 2, 3, 0, 0, 0, 4, 5, 6, 0, 0, 0, 7, 8, 0, 0, 0, 9] | ||
``` | ||
#### <a name="foldMap" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L2080">`foldMap :: (Monoid m, Foldable f) => (TypeRep m, a -> m, f a) -> m`</a> | ||
Deconstructs a foldable by mapping every element to a monoid and | ||
@@ -1217,3 +1245,3 @@ concatenating the results. | ||
#### <a name="reverse" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L2057">`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/v12.1.0/index.js#L2098">`reverse :: (Applicative f, Foldable f, Monoid (f a)) => f a -> f a`</a> | ||
@@ -1233,3 +1261,3 @@ Reverses the elements of the given structure. | ||
#### <a name="sort" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L2080">`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/v12.1.0/index.js#L2121">`sort :: (Ord a, Applicative f, Foldable f, Monoid (f a)) => f a -> f a`</a> | ||
@@ -1255,3 +1283,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/v12.0.0/index.js#L2104">`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/v12.1.0/index.js#L2145">`sortBy :: (Ord b, Applicative f, Foldable f, Monoid (f a)) => (a -> b, f a) -> f a`</a> | ||
@@ -1281,3 +1309,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/v12.0.0/index.js#L2159">`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/v12.1.0/index.js#L2200">`traverse :: (Applicative f, Traversable t) => (TypeRep f, a -> f b, t a) -> f (t b)`</a> | ||
@@ -1299,3 +1327,3 @@ Function wrapper for [`fantasy-land/traverse`][]. | ||
#### <a name="sequence" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L2179">`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/v12.1.0/index.js#L2220">`sequence :: (Applicative f, Traversable t) => (TypeRep f, t (f a)) -> f (t a)`</a> | ||
@@ -1314,3 +1342,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/v12.0.0/index.js#L2196">`extend :: Extend w => (w a -> b, w a) -> w b`</a> | ||
#### <a name="extend" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L2237">`extend :: Extend w => (w a -> b, w a) -> w b`</a> | ||
@@ -1330,3 +1358,3 @@ Function wrapper for [`fantasy-land/extend`][]. | ||
#### <a name="duplicate" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L2214">`duplicate :: Extend w => w a -> w (w a)`</a> | ||
#### <a name="duplicate" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L2255">`duplicate :: Extend w => w a -> w (w a)`</a> | ||
@@ -1351,3 +1379,3 @@ Adds one level of nesting to a comonadic structure. | ||
#### <a name="extract" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L2237">`extract :: Comonad w => w a -> a`</a> | ||
#### <a name="extract" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L2278">`extract :: Comonad w => w a -> a`</a> | ||
@@ -1361,3 +1389,3 @@ Function wrapper for [`fantasy-land/extract`][]. | ||
#### <a name="contramap" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.0.0/index.js#L2249">`contramap :: Contravariant f => (b -> a, f a) -> f b`</a> | ||
#### <a name="contramap" href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v12.1.0/index.js#L2290">`contramap :: Contravariant f => (b -> a, f a) -> f b`</a> | ||
@@ -1364,0 +1392,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
114734
2255
1377