From 9a32d1e4aba348c2188f3dde7dc5d79ea8298827 Mon Sep 17 00:00:00 2001 From: David Chambers Date: Sun, 19 Jan 2020 13:46:55 +0100 Subject: [PATCH] Version 2.1.0 --- LICENSE | 2 +- README.md | 32 ++++++++++++++++---------------- package.json | 2 +- 3 files changed, 18 insertions(+), 18 deletions(-) diff --git a/LICENSE b/LICENSE index ab65140..5d87459 100644 --- a/LICENSE +++ b/LICENSE @@ -1,6 +1,6 @@ The MIT License (MIT) -Copyright (c) 2019 Sanctuary +Copyright (c) 2020 Sanctuary Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation diff --git a/README.md b/README.md index a788371..6645fd8 100644 --- a/README.md +++ b/README.md @@ -61,7 +61,7 @@ Descending differs from [Identity][] only in the behaviour of its . 'Contravariant ❌ ' ] ``` -#### `Descending :: a -⁠> Descending a` +#### `Descending :: a -⁠> Descending a` Descending's sole data constructor. Additionally, it serves as the Descending [type representative][]. @@ -71,7 +71,7 @@ Descending [type representative][]. Descending (42) ``` -#### `Descending.fantasy-land/of :: a -⁠> Descending a` +#### `Descending.fantasy-land/of :: a -⁠> Descending a` `of (Descending) (x)` is equivalent to `Descending (x)`. @@ -80,7 +80,7 @@ Descending (42) Descending (42) ``` -#### `Descending.fantasy-land/chainRec :: ((a -⁠> c, b -⁠> c, a) -⁠> Descending c, a) -⁠> Descending b` +#### `Descending.fantasy-land/chainRec :: ((a -⁠> c, b -⁠> c, a) -⁠> Descending c, a) -⁠> Descending b` ```javascript > Z.chainRec ( @@ -98,7 +98,7 @@ Descending (64) Descending (0) ``` -#### `Descending#@@show :: Showable a => Descending a ~> () -⁠> String` +#### `Descending#@@show :: Showable a => Descending a ~> () -⁠> String` `show (Descending (x))` is equivalent to `'Descending (' + show (x) + ')'`. @@ -108,7 +108,7 @@ Descending (0) 'Descending (["foo", "bar", "baz"])' ``` -#### `Descending#fantasy-land/equals :: Setoid a => Descending a ~> Descending a -⁠> Boolean` +#### `Descending#fantasy-land/equals :: Setoid a => Descending a ~> Descending a -⁠> Boolean` `Descending (x)` is equal to `Descending (y)` [iff][] `x` is equal to `y` according to [`Z.equals`][]. @@ -121,7 +121,7 @@ true false ``` -#### `Descending#fantasy-land/lte :: Ord a => Descending a ~> Descending a -⁠> Boolean` +#### `Descending#fantasy-land/lte :: Ord a => Descending a ~> Descending a -⁠> Boolean` `Descending (x)` is less than or equal to `Descending (y)` [iff][] `y` is less than or equal to `x` according to [`Z.lte`][] (note the @@ -132,7 +132,7 @@ transposition of `x` and `y`). [Descending (5), Descending (2), Descending (1)] ``` -#### `Descending#fantasy-land/concat :: Semigroup a => Descending a ~> Descending a -⁠> Descending a` +#### `Descending#fantasy-land/concat :: Semigroup a => Descending a ~> Descending a -⁠> Descending a` `concat (Descending (x)) (Descending (y))` is equivalent to `Descending (concat (x) (y))`. @@ -142,7 +142,7 @@ transposition of `x` and `y`). Descending ([1, 2, 3, 4, 5, 6]) ``` -#### `Descending#fantasy-land/map :: Descending a ~> (a -⁠> b) -⁠> Descending b` +#### `Descending#fantasy-land/map :: Descending a ~> (a -⁠> b) -⁠> Descending b` `map (f) (Descending (x))` is equivalent to `Descending (f (x))`. @@ -151,7 +151,7 @@ Descending ([1, 2, 3, 4, 5, 6]) Descending (8) ``` -#### `Descending#fantasy-land/ap :: Descending a ~> Descending (a -⁠> b) -⁠> Descending b` +#### `Descending#fantasy-land/ap :: Descending a ~> Descending (a -⁠> b) -⁠> Descending b` `ap (Descending (f)) (Descending (x))` is equivalent to `Descending (f (x))`. @@ -161,7 +161,7 @@ Descending (8) Descending (8) ``` -#### `Descending#fantasy-land/chain :: Descending a ~> (a -⁠> Descending b) -⁠> Descending b` +#### `Descending#fantasy-land/chain :: Descending a ~> (a -⁠> Descending b) -⁠> Descending b` `chain (f) (Descending (x))` is equivalent to `f (x)`. @@ -170,7 +170,7 @@ Descending (8) Descending (100) ``` -#### `Descending#fantasy-land/reduce :: Descending a ~> ((b, a) -⁠> b, b) -⁠> b` +#### `Descending#fantasy-land/reduce :: Descending a ~> ((b, a) -⁠> b, b) -⁠> b` `reduce (f) (x) (Descending (y))` is equivalent to `f (x) (y)`. @@ -179,7 +179,7 @@ Descending (100) [1, 2, 3, 4, 5, 6] ``` -#### `Descending#fantasy-land/traverse :: Applicative f => Descending a ~> (TypeRep f, a -⁠> f b) -⁠> f (Descending b)` +#### `Descending#fantasy-land/traverse :: Applicative f => Descending a ~> (TypeRep f, a -⁠> f b) -⁠> f (Descending b)` `traverse (_) (f) (Descending (x))` is equivalent to `map (Descending) (f (x))`. @@ -189,7 +189,7 @@ Descending (100) [Descending (101), Descending (102), Descending (103)] ``` -#### `Descending#fantasy-land/extend :: Descending a ~> (Descending a -⁠> b) -⁠> Descending b` +#### `Descending#fantasy-land/extend :: Descending a ~> (Descending a -⁠> b) -⁠> Descending b` `extend (f) (Descending (x))` is equivalent to `Descending (f (Descending (x)))`. @@ -199,7 +199,7 @@ Descending (100) Descending (100) ``` -#### `Descending#fantasy-land/extract :: Descending a ~> () -⁠> a` +#### `Descending#fantasy-land/extract :: Descending a ~> () -⁠> a` `extract (Descending (x))` is equivalent to `x`. @@ -210,7 +210,7 @@ Descending (100) [Fantasy Land]: https://github.com/fantasyland/fantasy-land/tree/v4.0.1 [Identity]: https://github.com/sanctuary-js/sanctuary-identity -[`Z.equals`]: https://github.com/sanctuary-js/sanctuary-type-classes/tree/v12.0.0#equals -[`Z.lte`]: https://github.com/sanctuary-js/sanctuary-type-classes/tree/v12.0.0#lte +[`Z.equals`]: https://github.com/sanctuary-js/sanctuary-type-classes/tree/v12.1.0#equals +[`Z.lte`]: https://github.com/sanctuary-js/sanctuary-type-classes/tree/v12.1.0#lte [iff]: https://en.wikipedia.org/wiki/If_and_only_if [type representative]: https://github.com/fantasyland/fantasy-land/tree/v4.0.1#type-representatives diff --git a/package.json b/package.json index 72bdf07..e7633a4 100644 --- a/package.json +++ b/package.json @@ -1,6 +1,6 @@ { "name": "sanctuary-descending", - "version": "2.0.0", + "version": "2.1.0", "description": "Fantasy Land -compliant Descending type", "license": "MIT", "repository": {