sanctuary-type-classes
Advanced tools
Comparing version 5.1.0 to 5.2.0
139
index.js
@@ -34,33 +34,33 @@ /* | ||
//. <pre> | ||
//: Setoid Semigroup Foldable Functor Contravariant | ||
//: (equals) (concat) (reduce) (map) (contramap) | ||
//: | | \ / | | | | \ | ||
//: | | \ / | | | | \ | ||
//: | | \ / | | | | \ | ||
//: | | \ / | | | | \ | ||
//: | | \ / | | | | \ | ||
//: Ord Monoid Traversable | | | | \ | ||
//: (lte) (empty) (traverse) / | | \ \ | ||
//: / | | \ \ | ||
//: / / \ \ \ | ||
//: Profunctor / \ Bifunctor \ | ||
//: (promap) / \ (bimap) \ | ||
//: / \ \ | ||
//: / \ \ | ||
//: Alt Apply Extend | ||
//: (alt) (ap) (extend) | ||
//: / / \ \ | ||
//: / / \ \ | ||
//: / / \ \ | ||
//: / / \ \ | ||
//: / / \ \ | ||
//: Plus Applicative Chain Comonad | ||
//: (zero) (of) (chain) (extract) | ||
//: \ / \ / \ | ||
//: \ / \ / \ | ||
//: \ / \ / \ | ||
//: \ / \ / \ | ||
//: \ / \ / \ | ||
//: Alternative Monad ChainRec | ||
//: (chainRec) | ||
//: Setoid Semigroupoid Semigroup Foldable Functor Contravariant | ||
//: (equals) (compose) (concat) (reduce) (map) (contramap) | ||
//: | | | \ / | | | | \ | ||
//: | | | \ / | | | | \ | ||
//: | | | \ / | | | | \ | ||
//: | | | \ / | | | | \ | ||
//: | | | \ / | | | | \ | ||
//: Ord Category Monoid Traversable | | | | \ | ||
//: (lte) (id) (empty) (traverse) / | | \ \ | ||
//: / | | \ \ | ||
//: / / \ \ \ | ||
//: Profunctor / \ Bifunctor \ | ||
//: (promap) / \ (bimap) \ | ||
//: / \ \ | ||
//: / \ \ | ||
//: Alt Apply Extend | ||
//: (alt) (ap) (extend) | ||
//: / / \ \ | ||
//: / / \ \ | ||
//: / / \ \ | ||
//: / / \ \ | ||
//: / / \ \ | ||
//: Plus Applicative Chain Comonad | ||
//: (zero) (of) (chain) (extract) | ||
//: \ / \ / \ | ||
//: \ / \ / \ | ||
//: \ / \ / \ | ||
//: \ / \ / \ | ||
//: \ / \ / \ | ||
//: Alternative Monad ChainRec | ||
//: (chainRec) | ||
//. </pre> | ||
@@ -277,2 +277,28 @@ //. | ||
//# Semigroupoid :: TypeClass | ||
//. | ||
//. `TypeClass` value for [Semigroupoid][]. | ||
//. | ||
//. ```javascript | ||
//. > Semigroupoid.test(Math.sqrt) | ||
//. true | ||
//. | ||
//. > Semigroupoid.test(0) | ||
//. false | ||
//. ``` | ||
var Semigroupoid = $('Semigroupoid', [], {compose: Value}); | ||
//# Category :: TypeClass | ||
//. | ||
//. `TypeClass` value for [Category][]. | ||
//. | ||
//. ```javascript | ||
//. > Category.test(Math.sqrt) | ||
//. true | ||
//. | ||
//. > Category.test(0) | ||
//. false | ||
//. ``` | ||
var Category = $('Category', [Semigroupoid], {id: Constructor}); | ||
//# Semigroup :: TypeClass | ||
@@ -880,2 +906,7 @@ //. | ||
// Function$id :: () -> a -> a | ||
function Function$id() { | ||
return identity; | ||
} | ||
// Function$of :: b -> (a -> b) | ||
@@ -902,2 +933,8 @@ function Function$of(x) { | ||
// Function$prototype$compose :: (a -> b) ~> (b -> c) -> (a -> c) | ||
function Function$prototype$compose(other) { | ||
var semigroupoid = this; | ||
return function(x) { return other(semigroupoid(x)); }; | ||
} | ||
// Function$prototype$map :: (a -> b) ~> (b -> c) -> (a -> c) | ||
@@ -1032,2 +1069,3 @@ function Function$prototype$map(f) { | ||
Function: { | ||
'fantasy-land/id': Function$id, | ||
'fantasy-land/of': Function$of, | ||
@@ -1037,2 +1075,3 @@ 'fantasy-land/chainRec': Function$chainRec, | ||
'fantasy-land/equals': Function$prototype$equals, | ||
'fantasy-land/compose': Function$prototype$compose, | ||
'fantasy-land/map': Function$prototype$map, | ||
@@ -1265,2 +1304,32 @@ 'fantasy-land/promap': Function$prototype$promap, | ||
//# compose :: Semigroupoid c => (c j k, c i j) -> c i k | ||
//. | ||
//. Function wrapper for [`fantasy-land/compose`][]. | ||
//. | ||
//. `fantasy-land/compose` implementations are provided for the following | ||
//. built-in types: Function. | ||
//. | ||
//. ```javascript | ||
//. > compose(Math.sqrt, x => x + 1)(99) | ||
//. 10 | ||
//. ``` | ||
function compose(x, y) { | ||
return Semigroupoid.methods.compose(y)(x); | ||
} | ||
//# id :: Category c => TypeRep c -> c | ||
//. | ||
//. Function wrapper for [`fantasy-land/id`][]. | ||
//. | ||
//. `fantasy-land/id` implementations are provided for the following | ||
//. built-in types: Function. | ||
//. | ||
//. ```javascript | ||
//. > id(Function)('foo') | ||
//. 'foo' | ||
//. ``` | ||
function id(typeRep) { | ||
return Category.methods.id(typeRep)(); | ||
} | ||
//# concat :: Semigroup a => (a, a) -> a | ||
@@ -1760,2 +1829,4 @@ //. | ||
Ord: Ord, | ||
Semigroupoid: Semigroupoid, | ||
Category: Category, | ||
Semigroup: Semigroup, | ||
@@ -1785,2 +1856,4 @@ Monoid: Monoid, | ||
gte: gte, | ||
compose: compose, | ||
id: id, | ||
concat: concat, | ||
@@ -1819,2 +1892,3 @@ empty: empty, | ||
//. [Bifunctor]: https://github.com/fantasyland/fantasy-land#bifunctor | ||
//. [Category]: https://github.com/fantasyland/fantasy-land#category | ||
//. [Chain]: https://github.com/fantasyland/fantasy-land#chain | ||
@@ -1834,2 +1908,3 @@ //. [ChainRec]: https://github.com/fantasyland/fantasy-land#chainrec | ||
//. [Semigroup]: https://github.com/fantasyland/fantasy-land#semigroup | ||
//. [Semigroupoid]: https://github.com/fantasyland/fantasy-land#semigroupoid | ||
//. [Setoid]: https://github.com/fantasyland/fantasy-land#setoid | ||
@@ -1842,2 +1917,3 @@ //. [Traversable]: https://github.com/fantasyland/fantasy-land#traversable | ||
//. [`fantasy-land/chainRec`]: https://github.com/fantasyland/fantasy-land#chainrec-method | ||
//. [`fantasy-land/compose`]: https://github.com/fantasyland/fantasy-land#compose-method | ||
//. [`fantasy-land/concat`]: https://github.com/fantasyland/fantasy-land#concat-method | ||
@@ -1849,2 +1925,3 @@ //. [`fantasy-land/contramap`]: https://github.com/fantasyland/fantasy-land#contramap-method | ||
//. [`fantasy-land/extract`]: https://github.com/fantasyland/fantasy-land#extract-method | ||
//. [`fantasy-land/id`]: https://github.com/fantasyland/fantasy-land#id-method | ||
//. [`fantasy-land/lte`]: https://github.com/fantasyland/fantasy-land#lte-method | ||
@@ -1851,0 +1928,0 @@ //. [`fantasy-land/map`]: https://github.com/fantasyland/fantasy-land#map-method |
{ | ||
"name": "sanctuary-type-classes", | ||
"version": "5.1.0", | ||
"version": "5.2.0", | ||
"description": "Standard library for Fantasy Land", | ||
@@ -19,3 +19,3 @@ "license": "MIT", | ||
"eslint": "3.19.x", | ||
"fantasy-land": "3.2.0", | ||
"fantasy-land": "3.3.0", | ||
"istanbul": "0.4.x", | ||
@@ -22,0 +22,0 @@ "mocha": "2.x.x", |
216
README.md
@@ -21,33 +21,33 @@ # sanctuary-type-classes | ||
<pre> | ||
<a href="#Setoid">Setoid</a> <a href="#Semigroup">Semigroup</a> <a href="#Foldable">Foldable</a> <a href="#Functor">Functor</a> <a href="#Contravariant">Contravariant</a> | ||
(<a href="#equals">equals</a>) (<a href="#concat">concat</a>) (<a href="#reduce">reduce</a>) (<a href="#map">map</a>) (<a href="#contramap">contramap</a>) | ||
| | \ / | | | | \ | ||
| | \ / | | | | \ | ||
| | \ / | | | | \ | ||
| | \ / | | | | \ | ||
| | \ / | | | | \ | ||
<a href="#Ord">Ord</a> <a href="#Monoid">Monoid</a> <a href="#Traversable">Traversable</a> | | | | \ | ||
(<a href="#lte">lte</a>) (<a href="#empty">empty</a>) (<a href="#traverse">traverse</a>) / | | \ \ | ||
/ | | \ \ | ||
/ / \ \ \ | ||
<a href="#Profunctor">Profunctor</a> / \ <a href="#Bifunctor">Bifunctor</a> \ | ||
(<a href="#promap">promap</a>) / \ (<a href="#bimap">bimap</a>) \ | ||
/ \ \ | ||
/ \ \ | ||
<a href="#Alt">Alt</a> <a href="#Apply">Apply</a> <a href="#Extend">Extend</a> | ||
(<a href="#alt">alt</a>) (<a href="#ap">ap</a>) (<a href="#extend">extend</a>) | ||
/ / \ \ | ||
/ / \ \ | ||
/ / \ \ | ||
/ / \ \ | ||
/ / \ \ | ||
<a href="#Plus">Plus</a> <a href="#Applicative">Applicative</a> <a href="#Chain">Chain</a> <a href="#Comonad">Comonad</a> | ||
(<a href="#zero">zero</a>) (<a href="#of">of</a>) (<a href="#chain">chain</a>) (<a href="#extract">extract</a>) | ||
\ / \ / \ | ||
\ / \ / \ | ||
\ / \ / \ | ||
\ / \ / \ | ||
\ / \ / \ | ||
<a href="#Alternative">Alternative</a> <a href="#Monad">Monad</a> <a href="#ChainRec">ChainRec</a> | ||
(<a href="#chainRec">chainRec</a>) | ||
<a href="#Setoid">Setoid</a> <a href="#Semigroupoid">Semigroupoid</a> <a href="#Semigroup">Semigroup</a> <a href="#Foldable">Foldable</a> <a href="#Functor">Functor</a> <a href="#Contravariant">Contravariant</a> | ||
(<a href="#equals">equals</a>) (<a href="#compose">compose</a>) (<a href="#concat">concat</a>) (<a href="#reduce">reduce</a>) (<a href="#map">map</a>) (<a href="#contramap">contramap</a>) | ||
| | | \ / | | | | \ | ||
| | | \ / | | | | \ | ||
| | | \ / | | | | \ | ||
| | | \ / | | | | \ | ||
| | | \ / | | | | \ | ||
<a href="#Ord">Ord</a> <a href="#Category">Category</a> <a href="#Monoid">Monoid</a> <a href="#Traversable">Traversable</a> | | | | \ | ||
(<a href="#lte">lte</a>) (<a href="#id">id</a>) (<a href="#empty">empty</a>) (<a href="#traverse">traverse</a>) / | | \ \ | ||
/ | | \ \ | ||
/ / \ \ \ | ||
<a href="#Profunctor">Profunctor</a> / \ <a href="#Bifunctor">Bifunctor</a> \ | ||
(<a href="#promap">promap</a>) / \ (<a href="#bimap">bimap</a>) \ | ||
/ \ \ | ||
/ \ \ | ||
<a href="#Alt">Alt</a> <a href="#Apply">Apply</a> <a href="#Extend">Extend</a> | ||
(<a href="#alt">alt</a>) (<a href="#ap">ap</a>) (<a href="#extend">extend</a>) | ||
/ / \ \ | ||
/ / \ \ | ||
/ / \ \ | ||
/ / \ \ | ||
/ / \ \ | ||
<a href="#Plus">Plus</a> <a href="#Applicative">Applicative</a> <a href="#Chain">Chain</a> <a href="#Comonad">Comonad</a> | ||
(<a href="#zero">zero</a>) (<a href="#of">of</a>) (<a href="#chain">chain</a>) (<a href="#extract">extract</a>) | ||
\ / \ / \ | ||
\ / \ / \ | ||
\ / \ / \ | ||
\ / \ / \ | ||
\ / \ / \ | ||
<a href="#Alternative">Alternative</a> <a href="#Monad">Monad</a> <a href="#ChainRec">ChainRec</a> | ||
(<a href="#chainRec">chainRec</a>) | ||
</pre> | ||
@@ -57,3 +57,3 @@ | ||
<h4 name="TypeClass"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.1.0/index.js#L128">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/v5.2.0/index.js#L128">TypeClass :: (String, Array TypeClass, a -> Boolean) -> TypeClass</a></code></h4> | ||
@@ -94,3 +94,3 @@ The arguments are: | ||
<h4 name="Setoid"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.1.0/index.js#L253">Setoid :: TypeClass</a></code></h4> | ||
<h4 name="Setoid"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.2.0/index.js#L253">Setoid :: TypeClass</a></code></h4> | ||
@@ -104,3 +104,3 @@ `TypeClass` value for [Setoid][]. | ||
<h4 name="Ord"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.1.0/index.js#L263">Ord :: TypeClass</a></code></h4> | ||
<h4 name="Ord"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.2.0/index.js#L263">Ord :: TypeClass</a></code></h4> | ||
@@ -117,4 +117,28 @@ `TypeClass` value for [Ord][]. | ||
<h4 name="Semigroup"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.1.0/index.js#L276">Semigroup :: TypeClass</a></code></h4> | ||
<h4 name="Semigroupoid"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.2.0/index.js#L276">Semigroupoid :: TypeClass</a></code></h4> | ||
`TypeClass` value for [Semigroupoid][]. | ||
```javascript | ||
> Semigroupoid.test(Math.sqrt) | ||
true | ||
> Semigroupoid.test(0) | ||
false | ||
``` | ||
<h4 name="Category"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.2.0/index.js#L289">Category :: TypeClass</a></code></h4> | ||
`TypeClass` value for [Category][]. | ||
```javascript | ||
> Category.test(Math.sqrt) | ||
true | ||
> Category.test(0) | ||
false | ||
``` | ||
<h4 name="Semigroup"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.2.0/index.js#L302">Semigroup :: TypeClass</a></code></h4> | ||
`TypeClass` value for [Semigroup][]. | ||
@@ -130,3 +154,3 @@ | ||
<h4 name="Monoid"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.1.0/index.js#L289">Monoid :: TypeClass</a></code></h4> | ||
<h4 name="Monoid"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.2.0/index.js#L315">Monoid :: TypeClass</a></code></h4> | ||
@@ -143,3 +167,3 @@ `TypeClass` value for [Monoid][]. | ||
<h4 name="Functor"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.1.0/index.js#L302">Functor :: TypeClass</a></code></h4> | ||
<h4 name="Functor"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.2.0/index.js#L328">Functor :: TypeClass</a></code></h4> | ||
@@ -156,3 +180,3 @@ `TypeClass` value for [Functor][]. | ||
<h4 name="Bifunctor"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.1.0/index.js#L315">Bifunctor :: TypeClass</a></code></h4> | ||
<h4 name="Bifunctor"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.2.0/index.js#L341">Bifunctor :: TypeClass</a></code></h4> | ||
@@ -169,3 +193,3 @@ `TypeClass` value for [Bifunctor][]. | ||
<h4 name="Profunctor"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.1.0/index.js#L328">Profunctor :: TypeClass</a></code></h4> | ||
<h4 name="Profunctor"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.2.0/index.js#L354">Profunctor :: TypeClass</a></code></h4> | ||
@@ -182,3 +206,3 @@ `TypeClass` value for [Profunctor][]. | ||
<h4 name="Apply"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.1.0/index.js#L341">Apply :: TypeClass</a></code></h4> | ||
<h4 name="Apply"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.2.0/index.js#L367">Apply :: TypeClass</a></code></h4> | ||
@@ -195,3 +219,3 @@ `TypeClass` value for [Apply][]. | ||
<h4 name="Applicative"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.1.0/index.js#L354">Applicative :: TypeClass</a></code></h4> | ||
<h4 name="Applicative"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.2.0/index.js#L380">Applicative :: TypeClass</a></code></h4> | ||
@@ -208,3 +232,3 @@ `TypeClass` value for [Applicative][]. | ||
<h4 name="Chain"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.1.0/index.js#L367">Chain :: TypeClass</a></code></h4> | ||
<h4 name="Chain"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.2.0/index.js#L393">Chain :: TypeClass</a></code></h4> | ||
@@ -221,3 +245,3 @@ `TypeClass` value for [Chain][]. | ||
<h4 name="ChainRec"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.1.0/index.js#L380">ChainRec :: TypeClass</a></code></h4> | ||
<h4 name="ChainRec"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.2.0/index.js#L406">ChainRec :: TypeClass</a></code></h4> | ||
@@ -234,3 +258,3 @@ `TypeClass` value for [ChainRec][]. | ||
<h4 name="Monad"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.1.0/index.js#L393">Monad :: TypeClass</a></code></h4> | ||
<h4 name="Monad"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.2.0/index.js#L419">Monad :: TypeClass</a></code></h4> | ||
@@ -247,3 +271,3 @@ `TypeClass` value for [Monad][]. | ||
<h4 name="Alt"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.1.0/index.js#L406">Alt :: TypeClass</a></code></h4> | ||
<h4 name="Alt"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.2.0/index.js#L432">Alt :: TypeClass</a></code></h4> | ||
@@ -260,3 +284,3 @@ `TypeClass` value for [Alt][]. | ||
<h4 name="Plus"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.1.0/index.js#L419">Plus :: TypeClass</a></code></h4> | ||
<h4 name="Plus"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.2.0/index.js#L445">Plus :: TypeClass</a></code></h4> | ||
@@ -273,3 +297,3 @@ `TypeClass` value for [Plus][]. | ||
<h4 name="Alternative"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.1.0/index.js#L432">Alternative :: TypeClass</a></code></h4> | ||
<h4 name="Alternative"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.2.0/index.js#L458">Alternative :: TypeClass</a></code></h4> | ||
@@ -286,3 +310,3 @@ `TypeClass` value for [Alternative][]. | ||
<h4 name="Foldable"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.1.0/index.js#L445">Foldable :: TypeClass</a></code></h4> | ||
<h4 name="Foldable"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.2.0/index.js#L471">Foldable :: TypeClass</a></code></h4> | ||
@@ -299,3 +323,3 @@ `TypeClass` value for [Foldable][]. | ||
<h4 name="Traversable"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.1.0/index.js#L458">Traversable :: TypeClass</a></code></h4> | ||
<h4 name="Traversable"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.2.0/index.js#L484">Traversable :: TypeClass</a></code></h4> | ||
@@ -312,3 +336,3 @@ `TypeClass` value for [Traversable][]. | ||
<h4 name="Extend"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.1.0/index.js#L471">Extend :: TypeClass</a></code></h4> | ||
<h4 name="Extend"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.2.0/index.js#L497">Extend :: TypeClass</a></code></h4> | ||
@@ -325,3 +349,3 @@ `TypeClass` value for [Extend][]. | ||
<h4 name="Comonad"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.1.0/index.js#L484">Comonad :: TypeClass</a></code></h4> | ||
<h4 name="Comonad"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.2.0/index.js#L510">Comonad :: TypeClass</a></code></h4> | ||
@@ -338,3 +362,3 @@ `TypeClass` value for [Comonad][]. | ||
<h4 name="Contravariant"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.1.0/index.js#L497">Contravariant :: TypeClass</a></code></h4> | ||
<h4 name="Contravariant"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.2.0/index.js#L523">Contravariant :: TypeClass</a></code></h4> | ||
@@ -351,3 +375,3 @@ `TypeClass` value for [Contravariant][]. | ||
<h4 name="toString"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.1.0/index.js#L1042">toString :: a -> String</a></code></h4> | ||
<h4 name="toString"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.2.0/index.js#L1081">toString :: a -> String</a></code></h4> | ||
@@ -378,3 +402,3 @@ Returns a useful string representation of its argument. | ||
<h4 name="equals"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.1.0/index.js#L1090">equals :: (a, b) -> Boolean</a></code></h4> | ||
<h4 name="equals"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.2.0/index.js#L1129">equals :: (a, b) -> Boolean</a></code></h4> | ||
@@ -408,3 +432,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/v5.1.0/index.js#L1140">lt :: (a, b) -> Boolean</a></code></h4> | ||
<h4 name="lt"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.2.0/index.js#L1179">lt :: (a, b) -> Boolean</a></code></h4> | ||
@@ -430,3 +454,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/v5.1.0/index.js#L1164">lte :: (a, b) -> Boolean</a></code></h4> | ||
<h4 name="lte"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.2.0/index.js#L1203">lte :: (a, b) -> Boolean</a></code></h4> | ||
@@ -457,3 +481,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/v5.1.0/index.js#L1211">gt :: (a, b) -> Boolean</a></code></h4> | ||
<h4 name="gt"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.2.0/index.js#L1250">gt :: (a, b) -> Boolean</a></code></h4> | ||
@@ -479,3 +503,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/v5.1.0/index.js#L1235">gte :: (a, b) -> Boolean</a></code></h4> | ||
<h4 name="gte"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.2.0/index.js#L1274">gte :: (a, b) -> Boolean</a></code></h4> | ||
@@ -501,4 +525,28 @@ Returns `true` if its arguments are of the same type and the first | ||
<h4 name="concat"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.1.0/index.js#L1259">concat :: Semigroup a => (a, a) -> a</a></code></h4> | ||
<h4 name="compose"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.2.0/index.js#L1298">compose :: Semigroupoid c => (c j k, c i j) -> c i k</a></code></h4> | ||
Function wrapper for [`fantasy-land/compose`][]. | ||
`fantasy-land/compose` implementations are provided for the following | ||
built-in types: Function. | ||
```javascript | ||
> compose(Math.sqrt, x => x + 1)(99) | ||
10 | ||
``` | ||
<h4 name="id"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.2.0/index.js#L1313">id :: Category c => TypeRep c -> c</a></code></h4> | ||
Function wrapper for [`fantasy-land/id`][]. | ||
`fantasy-land/id` implementations are provided for the following | ||
built-in types: Function. | ||
```javascript | ||
> id(Function)('foo') | ||
'foo' | ||
``` | ||
<h4 name="concat"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.2.0/index.js#L1328">concat :: Semigroup a => (a, a) -> a</a></code></h4> | ||
Function wrapper for [`fantasy-land/concat`][]. | ||
@@ -523,3 +571,3 @@ | ||
<h4 name="empty"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.1.0/index.js#L1283">empty :: Monoid m => TypeRep m -> m</a></code></h4> | ||
<h4 name="empty"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.2.0/index.js#L1352">empty :: Monoid m => TypeRep m -> m</a></code></h4> | ||
@@ -545,3 +593,3 @@ Function wrapper for [`fantasy-land/empty`][]. | ||
<h4 name="map"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.1.0/index.js#L1307">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/v5.2.0/index.js#L1376">map :: Functor f => (a -> b, f a) -> f b</a></code></h4> | ||
@@ -573,3 +621,3 @@ Function wrapper for [`fantasy-land/map`][]. | ||
<h4 name="bimap"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.1.0/index.js#L1337">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/v5.2.0/index.js#L1406">bimap :: Bifunctor f => (a -> b, c -> d, f a c) -> f b d</a></code></h4> | ||
@@ -583,3 +631,3 @@ Function wrapper for [`fantasy-land/bimap`][]. | ||
<h4 name="promap"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.1.0/index.js#L1349">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/v5.2.0/index.js#L1418">promap :: Profunctor p => (a -> b, c -> d, p b c) -> p a d</a></code></h4> | ||
@@ -596,3 +644,3 @@ Function wrapper for [`fantasy-land/promap`][]. | ||
<h4 name="ap"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.1.0/index.js#L1364">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/v5.2.0/index.js#L1433">ap :: Apply f => (f (a -> b), f a) -> f b</a></code></h4> | ||
@@ -621,3 +669,3 @@ Function wrapper for [`fantasy-land/ap`][]. | ||
<h4 name="lift2"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.1.0/index.js#L1391">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/v5.2.0/index.js#L1460">lift2 :: Apply f => (a -> b -> c, f a, f b) -> f c</a></code></h4> | ||
@@ -639,3 +687,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/v5.1.0/index.js#L1411">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/v5.2.0/index.js#L1480">lift3 :: Apply f => (a -> b -> c -> d, f a, f b, f c) -> f d</a></code></h4> | ||
@@ -657,3 +705,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/v5.1.0/index.js#L1431">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/v5.2.0/index.js#L1500">apFirst :: Apply f => (f a, f b) -> f a</a></code></h4> | ||
@@ -675,3 +723,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/v5.1.0/index.js#L1451">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/v5.2.0/index.js#L1520">apSecond :: Apply f => (f a, f b) -> f b</a></code></h4> | ||
@@ -693,3 +741,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/v5.1.0/index.js#L1471">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/v5.2.0/index.js#L1540">of :: Applicative f => (TypeRep f, a) -> f a</a></code></h4> | ||
@@ -712,3 +760,3 @@ Function wrapper for [`fantasy-land/of`][]. | ||
<h4 name="chain"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.1.0/index.js#L1492">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/v5.2.0/index.js#L1561">chain :: Chain m => (a -> m b, m a) -> m b</a></code></h4> | ||
@@ -731,3 +779,3 @@ Function wrapper for [`fantasy-land/chain`][]. | ||
<h4 name="join"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.1.0/index.js#L1513">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/v5.2.0/index.js#L1582">join :: Chain m => m (m a) -> m a</a></code></h4> | ||
@@ -749,3 +797,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/v5.1.0/index.js#L1533">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/v5.2.0/index.js#L1602">chainRec :: ChainRec m => (TypeRep m, (a -> c, b -> c, a) -> m c, a) -> m b</a></code></h4> | ||
@@ -767,3 +815,3 @@ Function wrapper for [`fantasy-land/chainRec`][]. | ||
<h4 name="filter"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.1.0/index.js#L1553">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/v5.2.0/index.js#L1622">filter :: (Applicative f, Foldable f, Monoid (f a)) => (a -> Boolean, f a) -> f a</a></code></h4> | ||
@@ -785,3 +833,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/v5.1.0/index.js#L1576">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/v5.2.0/index.js#L1645">filterM :: (Alternative m, Monad m) => (a -> Boolean, m a) -> m a</a></code></h4> | ||
@@ -812,3 +860,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/v5.1.0/index.js#L1607">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/v5.2.0/index.js#L1676">alt :: Alt f => (f a, f a) -> f a</a></code></h4> | ||
@@ -834,3 +882,3 @@ Function wrapper for [`fantasy-land/alt`][]. | ||
<h4 name="zero"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.1.0/index.js#L1631">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/v5.2.0/index.js#L1700">zero :: Plus f => TypeRep f -> f a</a></code></h4> | ||
@@ -853,3 +901,3 @@ Function wrapper for [`fantasy-land/zero`][]. | ||
<h4 name="reduce"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.1.0/index.js#L1652">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/v5.2.0/index.js#L1721">reduce :: Foldable f => ((b, a) -> b, b, f a) -> b</a></code></h4> | ||
@@ -869,3 +917,3 @@ Function wrapper for [`fantasy-land/reduce`][]. | ||
<h4 name="traverse"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.1.0/index.js#L1670">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/v5.2.0/index.js#L1739">traverse :: (Applicative f, Traversable t) => (TypeRep f, a -> f b, t a) -> f (t b)</a></code></h4> | ||
@@ -887,3 +935,3 @@ Function wrapper for [`fantasy-land/traverse`][]. | ||
<h4 name="sequence"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.1.0/index.js#L1690">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/v5.2.0/index.js#L1759">sequence :: (Applicative f, Traversable t) => (TypeRep f, t (f a)) -> f (t a)</a></code></h4> | ||
@@ -902,3 +950,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/v5.1.0/index.js#L1707">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/v5.2.0/index.js#L1776">extend :: Extend w => (w a -> b, w a) -> w b</a></code></h4> | ||
@@ -915,3 +963,3 @@ Function wrapper for [`fantasy-land/extend`][]. | ||
<h4 name="extract"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.1.0/index.js#L1722">extract :: Comonad w => w a -> a</a></code></h4> | ||
<h4 name="extract"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.2.0/index.js#L1791">extract :: Comonad w => w a -> a</a></code></h4> | ||
@@ -925,3 +973,3 @@ Function wrapper for [`fantasy-land/extract`][]. | ||
<h4 name="contramap"><code><a href="https://github.com/sanctuary-js/sanctuary-type-classes/blob/v5.1.0/index.js#L1734">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/v5.2.0/index.js#L1803">contramap :: Contravariant f => (b -> a, f a) -> f b</a></code></h4> | ||
@@ -943,2 +991,3 @@ Function wrapper for [`fantasy-land/contramap`][]. | ||
[Bifunctor]: https://github.com/fantasyland/fantasy-land#bifunctor | ||
[Category]: https://github.com/fantasyland/fantasy-land#category | ||
[Chain]: https://github.com/fantasyland/fantasy-land#chain | ||
@@ -958,2 +1007,3 @@ [ChainRec]: https://github.com/fantasyland/fantasy-land#chainrec | ||
[Semigroup]: https://github.com/fantasyland/fantasy-land#semigroup | ||
[Semigroupoid]: https://github.com/fantasyland/fantasy-land#semigroupoid | ||
[Setoid]: https://github.com/fantasyland/fantasy-land#setoid | ||
@@ -966,2 +1016,3 @@ [Traversable]: https://github.com/fantasyland/fantasy-land#traversable | ||
[`fantasy-land/chainRec`]: https://github.com/fantasyland/fantasy-land#chainrec-method | ||
[`fantasy-land/compose`]: https://github.com/fantasyland/fantasy-land#compose-method | ||
[`fantasy-land/concat`]: https://github.com/fantasyland/fantasy-land#concat-method | ||
@@ -973,2 +1024,3 @@ [`fantasy-land/contramap`]: https://github.com/fantasyland/fantasy-land#contramap-method | ||
[`fantasy-land/extract`]: https://github.com/fantasyland/fantasy-land#extract-method | ||
[`fantasy-land/id`]: https://github.com/fantasyland/fantasy-land#id-method | ||
[`fantasy-land/lte`]: https://github.com/fantasyland/fantasy-land#lte-method | ||
@@ -975,0 +1027,0 @@ [`fantasy-land/map`]: https://github.com/fantasyland/fantasy-land#map-method |
91506
1762
978