Huge News!Announcing our $40M Series B led by Abstract Ventures.Learn More →
sanctuary-def
Advanced tools
sanctuary-def - npm Package Compare versions
Comparing version 0.21.0 to 0.21.1
| { | ||
| "name": "sanctuary-def", | ||
| "version": "0.21.0", | ||
| "version": "0.21.1", | ||
| "description": "Run-time type system for JavaScript", | ||
@@ -17,12 +17,12 @@ "license": "MIT", | ||
| "dependencies": { | ||
| "sanctuary-either": "2.0.0", | ||
| "sanctuary-either": "2.1.0", | ||
| "sanctuary-show": "2.0.0", | ||
| "sanctuary-type-classes": "12.0.0", | ||
| "sanctuary-type-classes": "12.1.0", | ||
| "sanctuary-type-identifiers": "3.0.0" | ||
| }, | ||
| "devDependencies": { | ||
| "sanctuary-descending": "2.0.0", | ||
| "sanctuary-identity": "2.0.0", | ||
| "sanctuary-maybe": "2.0.0", | ||
| "sanctuary-pair": "2.0.0", | ||
| "sanctuary-descending": "2.1.0", | ||
| "sanctuary-identity": "2.1.0", | ||
| "sanctuary-maybe": "2.1.0", | ||
| "sanctuary-pair": "2.1.0", | ||
| "sanctuary-scripts": "4.0.x" | ||
@@ -29,0 +29,0 @@ }, |
140
README.md
@@ -176,3 +176,3 @@ # sanctuary-def | ||
| #### <a name="Unknown" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L515">`Unknown :: Type`</a> | ||
| #### <a name="Unknown" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L515">`Unknown :: Type`</a> | ||
@@ -194,3 +194,3 @@ Type used to represent missing type information. The type of `[]`, | ||
| #### <a name="Void" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L534">`Void :: Type`</a> | ||
| #### <a name="Void" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L534">`Void :: Type`</a> | ||
@@ -203,27 +203,27 @@ Uninhabited type. | ||
| #### <a name="Any" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L546">`Any :: Type`</a> | ||
| #### <a name="Any" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L546">`Any :: Type`</a> | ||
| Type comprising every JavaScript value. | ||
| #### <a name="AnyFunction" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L554">`AnyFunction :: Type`</a> | ||
| #### <a name="AnyFunction" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L554">`AnyFunction :: Type`</a> | ||
| Type comprising every Function value. | ||
| #### <a name="Arguments" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L562">`Arguments :: Type`</a> | ||
| #### <a name="Arguments" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L562">`Arguments :: Type`</a> | ||
| Type comprising every [`arguments`][arguments] object. | ||
| #### <a name="Array" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L570">`Array :: Type -> Type`</a> | ||
| #### <a name="Array" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L570">`Array :: Type -> Type`</a> | ||
| Constructor for homogeneous Array types. | ||
| #### <a name="Array0" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L579">`Array0 :: Type`</a> | ||
| #### <a name="Array0" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L579">`Array0 :: Type`</a> | ||
| Type whose sole member is `[]`. | ||
| #### <a name="Array1" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L587">`Array1 :: Type -> Type`</a> | ||
| #### <a name="Array1" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L587">`Array1 :: Type -> Type`</a> | ||
| Constructor for singleton Array types. | ||
| #### <a name="Array2" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L596">`Array2 :: Type -> Type -> Type`</a> | ||
| #### <a name="Array2" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L596">`Array2 :: Type -> Type -> Type`</a> | ||
@@ -233,23 +233,23 @@ Constructor for heterogeneous Array types of length 2. `['foo', true]` is | ||
| #### <a name="Boolean" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L607">`Boolean :: Type`</a> | ||
| #### <a name="Boolean" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L607">`Boolean :: Type`</a> | ||
| Type comprising `true` and `false`. | ||
| #### <a name="Date" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L615">`Date :: Type`</a> | ||
| #### <a name="Date" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L615">`Date :: Type`</a> | ||
| Type comprising every Date value. | ||
| #### <a name="ValidDate" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L623">`ValidDate :: Type`</a> | ||
| #### <a name="ValidDate" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L623">`ValidDate :: Type`</a> | ||
| Type comprising every [`Date`][] value except `new Date (NaN)`. | ||
| #### <a name="Descending" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L631">`Descending :: Type -> Type`</a> | ||
| #### <a name="Descending" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L631">`Descending :: Type -> Type`</a> | ||
| [Descending][] type constructor. | ||
| #### <a name="Either" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L640">`Either :: Type -> Type -> Type`</a> | ||
| #### <a name="Either" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L640">`Either :: Type -> Type -> Type`</a> | ||
| [Either][] type constructor. | ||
| #### <a name="Error" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L650">`Error :: Type`</a> | ||
| #### <a name="Error" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L650">`Error :: Type`</a> | ||
@@ -259,3 +259,3 @@ Type comprising every Error value, including values of more specific | ||
| #### <a name="Fn" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L659">`Fn :: Type -> Type -> Type`</a> | ||
| #### <a name="Fn" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L659">`Fn :: Type -> Type -> Type`</a> | ||
@@ -266,3 +266,3 @@ Binary type constructor for unary function types. `$.Fn (I) (O)` | ||
| #### <a name="Function" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L666">`Function :: NonEmpty (Array Type) -> Type`</a> | ||
| #### <a name="Function" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L666">`Function :: NonEmpty (Array Type) -> Type`</a> | ||
@@ -277,11 +277,11 @@ Constructor for Function types. | ||
| #### <a name="HtmlElement" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L706">`HtmlElement :: Type`</a> | ||
| #### <a name="HtmlElement" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L706">`HtmlElement :: Type`</a> | ||
| Type comprising every [HTML element][]. | ||
| #### <a name="Identity" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L716">`Identity :: Type -> Type`</a> | ||
| #### <a name="Identity" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L716">`Identity :: Type -> Type`</a> | ||
| [Identity][] type constructor. | ||
| #### <a name="JsMap" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L725">`JsMap :: Type -> Type -> Type`</a> | ||
| #### <a name="JsMap" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L725">`JsMap :: Type -> Type -> Type`</a> | ||
@@ -292,3 +292,3 @@ Constructor for native Map types. `$.JsMap ($.Number) ($.String)`, | ||
| #### <a name="JsSet" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L737">`JsSet :: Type -> Type`</a> | ||
| #### <a name="JsSet" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L737">`JsSet :: Type -> Type`</a> | ||
@@ -298,11 +298,11 @@ Constructor for native Set types. `$.JsSet ($.Number)`, for example, | ||
| #### <a name="Maybe" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L747">`Maybe :: Type -> Type`</a> | ||
| #### <a name="Maybe" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L747">`Maybe :: Type -> Type`</a> | ||
| [Maybe][] type constructor. | ||
| #### <a name="Module" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L756">`Module :: Type`</a> | ||
| #### <a name="Module" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L756">`Module :: Type`</a> | ||
| Type comprising every ES module. | ||
| #### <a name="NonEmpty" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L764">`NonEmpty :: Type -> Type`</a> | ||
| #### <a name="NonEmpty" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L764">`NonEmpty :: Type -> Type`</a> | ||
@@ -314,31 +314,31 @@ Constructor for non-empty types. `$.NonEmpty ($.String)`, for example, is | ||
| #### <a name="Null" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L780">`Null :: Type`</a> | ||
| #### <a name="Null" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L780">`Null :: Type`</a> | ||
| Type whose sole member is `null`. | ||
| #### <a name="Nullable" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L788">`Nullable :: Type -> Type`</a> | ||
| #### <a name="Nullable" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L788">`Nullable :: Type -> Type`</a> | ||
| Constructor for types that include `null` as a member. | ||
| #### <a name="Number" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L800">`Number :: Type`</a> | ||
| #### <a name="Number" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L800">`Number :: Type`</a> | ||
| Type comprising every primitive Number value (including `NaN`). | ||
| #### <a name="PositiveNumber" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L813">`PositiveNumber :: Type`</a> | ||
| #### <a name="PositiveNumber" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L813">`PositiveNumber :: Type`</a> | ||
| Type comprising every [`Number`][] value greater than zero. | ||
| #### <a name="NegativeNumber" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L821">`NegativeNumber :: Type`</a> | ||
| #### <a name="NegativeNumber" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L821">`NegativeNumber :: Type`</a> | ||
| Type comprising every [`Number`][] value less than zero. | ||
| #### <a name="ValidNumber" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L829">`ValidNumber :: Type`</a> | ||
| #### <a name="ValidNumber" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L829">`ValidNumber :: Type`</a> | ||
| Type comprising every [`Number`][] value except `NaN`. | ||
| #### <a name="NonZeroValidNumber" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L837">`NonZeroValidNumber :: Type`</a> | ||
| #### <a name="NonZeroValidNumber" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L837">`NonZeroValidNumber :: Type`</a> | ||
| Type comprising every [`ValidNumber`][] value except `0` and `-0`. | ||
| #### <a name="FiniteNumber" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L845">`FiniteNumber :: Type`</a> | ||
| #### <a name="FiniteNumber" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L845">`FiniteNumber :: Type`</a> | ||
@@ -348,15 +348,15 @@ Type comprising every [`ValidNumber`][] value except `Infinity` and | ||
| #### <a name="NonZeroFiniteNumber" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L854">`NonZeroFiniteNumber :: Type`</a> | ||
| #### <a name="NonZeroFiniteNumber" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L854">`NonZeroFiniteNumber :: Type`</a> | ||
| Type comprising every [`FiniteNumber`][] value except `0` and `-0`. | ||
| #### <a name="PositiveFiniteNumber" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L862">`PositiveFiniteNumber :: Type`</a> | ||
| #### <a name="PositiveFiniteNumber" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L862">`PositiveFiniteNumber :: Type`</a> | ||
| Type comprising every [`FiniteNumber`][] value greater than zero. | ||
| #### <a name="NegativeFiniteNumber" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L870">`NegativeFiniteNumber :: Type`</a> | ||
| #### <a name="NegativeFiniteNumber" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L870">`NegativeFiniteNumber :: Type`</a> | ||
| Type comprising every [`FiniteNumber`][] value less than zero. | ||
| #### <a name="Integer" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L878">`Integer :: Type`</a> | ||
| #### <a name="Integer" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L878">`Integer :: Type`</a> | ||
@@ -366,7 +366,7 @@ Type comprising every integer in the range | ||
| #### <a name="NonZeroInteger" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L891">`NonZeroInteger :: Type`</a> | ||
| #### <a name="NonZeroInteger" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L891">`NonZeroInteger :: Type`</a> | ||
| Type comprising every [`Integer`][] value except `0` and `-0`. | ||
| #### <a name="NonNegativeInteger" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L899">`NonNegativeInteger :: Type`</a> | ||
| #### <a name="NonNegativeInteger" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L899">`NonNegativeInteger :: Type`</a> | ||
@@ -376,11 +376,11 @@ Type comprising every non-negative [`Integer`][] value (including `-0`). | ||
| #### <a name="PositiveInteger" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L908">`PositiveInteger :: Type`</a> | ||
| #### <a name="PositiveInteger" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L908">`PositiveInteger :: Type`</a> | ||
| Type comprising every [`Integer`][] value greater than zero. | ||
| #### <a name="NegativeInteger" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L916">`NegativeInteger :: Type`</a> | ||
| #### <a name="NegativeInteger" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L916">`NegativeInteger :: Type`</a> | ||
| Type comprising every [`Integer`][] value less than zero. | ||
| #### <a name="Object" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L924">`Object :: Type`</a> | ||
| #### <a name="Object" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L924">`Object :: Type`</a> | ||
@@ -395,11 +395,11 @@ Type comprising every "plain" Object value. Specifically, values | ||
| #### <a name="Pair" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L938">`Pair :: Type -> Type -> Type`</a> | ||
| #### <a name="Pair" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L938">`Pair :: Type -> Type -> Type`</a> | ||
| [Pair][] type constructor. | ||
| #### <a name="RegExp" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L948">`RegExp :: Type`</a> | ||
| #### <a name="RegExp" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L948">`RegExp :: Type`</a> | ||
| Type comprising every RegExp value. | ||
| #### <a name="GlobalRegExp" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L956">`GlobalRegExp :: Type`</a> | ||
| #### <a name="GlobalRegExp" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L956">`GlobalRegExp :: Type`</a> | ||
@@ -410,3 +410,3 @@ Type comprising every [`RegExp`][] value whose `global` flag is `true`. | ||
| #### <a name="NonGlobalRegExp" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L966">`NonGlobalRegExp :: Type`</a> | ||
| #### <a name="NonGlobalRegExp" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L966">`NonGlobalRegExp :: Type`</a> | ||
@@ -417,3 +417,3 @@ Type comprising every [`RegExp`][] value whose `global` flag is `false`. | ||
| #### <a name="StrMap" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L976">`StrMap :: Type -> Type`</a> | ||
| #### <a name="StrMap" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L976">`StrMap :: Type -> Type`</a> | ||
@@ -425,7 +425,7 @@ Constructor for homogeneous Object types. | ||
| #### <a name="String" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L988">`String :: Type`</a> | ||
| #### <a name="String" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L988">`String :: Type`</a> | ||
| Type comprising every primitive String value. | ||
| #### <a name="RegexFlags" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L996">`RegexFlags :: Type`</a> | ||
| #### <a name="RegexFlags" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L996">`RegexFlags :: Type`</a> | ||
@@ -443,19 +443,19 @@ Type comprising the canonical RegExp flags: | ||
| #### <a name="Symbol" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L1013">`Symbol :: Type`</a> | ||
| #### <a name="Symbol" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L1013">`Symbol :: Type`</a> | ||
| Type comprising every Symbol value. | ||
| #### <a name="Type" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L1021">`Type :: Type`</a> | ||
| #### <a name="Type" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L1021">`Type :: Type`</a> | ||
| Type comprising every `Type` value. | ||
| #### <a name="TypeClass" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L1029">`TypeClass :: Type`</a> | ||
| #### <a name="TypeClass" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L1029">`TypeClass :: Type`</a> | ||
| Type comprising every [`TypeClass`][] value. | ||
| #### <a name="Undefined" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L1037">`Undefined :: Type`</a> | ||
| #### <a name="Undefined" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L1037">`Undefined :: Type`</a> | ||
| Type whose sole member is `undefined`. | ||
| #### <a name="env" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L1045">`env :: Array Type`</a> | ||
| #### <a name="env" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L1045">`env :: Array Type`</a> | ||
@@ -492,3 +492,3 @@ An array of [types][]: | ||
| #### <a name="test" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L1478">`test :: Array Type -> Type -> a -> Boolean`</a> | ||
| #### <a name="test" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L1478">`test :: Array Type -> Type -> a -> Boolean`</a> | ||
@@ -505,3 +505,3 @@ Takes an environment, a type, and any value. Returns `true` if the value | ||
| #### <a name="NullaryType" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L1498">`NullaryType :: String -> String -> Array Type -> (Any -> Boolean) -> Type`</a> | ||
| #### <a name="NullaryType" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L1498">`NullaryType :: String -> String -> Array Type -> (Any -> Boolean) -> Type`</a> | ||
@@ -579,3 +579,3 @@ Type constructor for types with no type variables (such as [`Number`][]). | ||
| #### <a name="UnaryType" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L1580">`UnaryType :: Foldable f => String -> String -> Array Type -> (Any -> Boolean) -> (t a -> f a) -> Type -> Type`</a> | ||
| #### <a name="UnaryType" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L1580">`UnaryType :: Foldable f => String -> String -> Array Type -> (Any -> Boolean) -> (t a -> f a) -> Type -> Type`</a> | ||
@@ -662,3 +662,3 @@ Type constructor for types with one type variable (such as [`Array`][]). | ||
| #### <a name="BinaryType" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L1691">`BinaryType :: Foldable f => String -> String -> Array Type -> (Any -> Boolean) -> (t a b -> f a) -> (t a b -> f b) -> Type -> Type -> Type`</a> | ||
| #### <a name="BinaryType" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L1691">`BinaryType :: Foldable f => String -> String -> Array Type -> (Any -> Boolean) -> (t a b -> f a) -> (t a b -> f b) -> Type -> Type -> Type`</a> | ||
@@ -760,3 +760,3 @@ Type constructor for types with two type variables (such as | ||
| #### <a name="EnumType" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L1823">`EnumType :: String -> String -> Array Any -> Type`</a> | ||
| #### <a name="EnumType" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L1823">`EnumType :: String -> String -> Array Any -> Type`</a> | ||
@@ -783,3 +783,3 @@ Type constructor for [enumerated types][] (such as [`RegexFlags`][]). | ||
| #### <a name="RecordType" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L1850">`RecordType :: StrMap Type -> Type`</a> | ||
| #### <a name="RecordType" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L1850">`RecordType :: StrMap Type -> Type`</a> | ||
@@ -837,3 +837,3 @@ `RecordType` is used to construct anonymous record types. The type | ||
| #### <a name="NamedRecordType" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L1934">`NamedRecordType :: NonEmpty String -> String -> Array Type -> StrMap Type -> Type`</a> | ||
| #### <a name="NamedRecordType" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L1934">`NamedRecordType :: NonEmpty String -> String -> Array Type -> StrMap Type -> Type`</a> | ||
@@ -895,3 +895,3 @@ `NamedRecordType` is used to construct named record types. The type | ||
| #### <a name="TypeVariable" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L2043">`TypeVariable :: String -> Type`</a> | ||
| #### <a name="TypeVariable" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L2043">`TypeVariable :: String -> Type`</a> | ||
@@ -953,3 +953,3 @@ Polymorphism is powerful. Not being able to define a function for | ||
| #### <a name="UnaryTypeVariable" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L2105">`UnaryTypeVariable :: String -> Type -> Type`</a> | ||
| #### <a name="UnaryTypeVariable" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L2105">`UnaryTypeVariable :: String -> Type -> Type`</a> | ||
@@ -1001,3 +1001,3 @@ Combines [`UnaryType`][] and [`TypeVariable`][]. | ||
| #### <a name="BinaryTypeVariable" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L2159">`BinaryTypeVariable :: String -> Type -> Type -> Type`</a> | ||
| #### <a name="BinaryTypeVariable" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L2159">`BinaryTypeVariable :: String -> Type -> Type -> Type`</a> | ||
@@ -1017,3 +1017,3 @@ Combines [`BinaryType`][] and [`TypeVariable`][]. | ||
| #### <a name="Thunk" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L2184">`Thunk :: Type -> Type`</a> | ||
| #### <a name="Thunk" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L2184">`Thunk :: Type -> Type`</a> | ||
@@ -1023,3 +1023,3 @@ `$.Thunk (T)` is shorthand for `$.Function ([T])`, the type comprising | ||
| #### <a name="Predicate" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L2190">`Predicate :: Type -> Type`</a> | ||
| #### <a name="Predicate" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.1/index.js#L2190">`Predicate :: Type -> Type`</a> | ||
@@ -1118,10 +1118,10 @@ `$.Predicate (T)` is shorthand for `$.Fn (T) ($.Boolean)`, the type | ||
| [Descending]: https://github.com/sanctuary-js/sanctuary-descending/tree/v2.0.0 | ||
| [Either]: https://github.com/sanctuary-js/sanctuary-either/tree/v2.0.0 | ||
| [Descending]: https://github.com/sanctuary-js/sanctuary-descending/tree/v2.1.0 | ||
| [Either]: https://github.com/sanctuary-js/sanctuary-either/tree/v2.1.0 | ||
| [FL:Semigroup]: https://github.com/fantasyland/fantasy-land#semigroup | ||
| [HTML element]: https://developer.mozilla.org/en-US/docs/Web/HTML/Element | ||
| [Identity]: https://github.com/sanctuary-js/sanctuary-identity/tree/v2.0.0 | ||
| [Maybe]: https://github.com/sanctuary-js/sanctuary-maybe/tree/v2.0.0 | ||
| [Identity]: https://github.com/sanctuary-js/sanctuary-identity/tree/v2.1.0 | ||
| [Maybe]: https://github.com/sanctuary-js/sanctuary-maybe/tree/v2.1.0 | ||
| [Monoid]: https://github.com/fantasyland/fantasy-land#monoid | ||
| [Pair]: https://github.com/sanctuary-js/sanctuary-pair/tree/v2.0.0 | ||
| [Pair]: https://github.com/sanctuary-js/sanctuary-pair/tree/v2.1.0 | ||
| [Setoid]: https://github.com/fantasyland/fantasy-land#setoid | ||
@@ -1128,0 +1128,0 @@ [Unknown]: #Unknown |
Sorry, the diff of this file is too big to display
New alerts
License Policy Violation
LicenseThis package is not allowed per your license policy. Review the package's license to ensure compliance.
Found 1 instance in 1 package
Fixed alerts
License Policy Violation
LicenseThis package is not allowed per your license policy. Review the package's license to ensure compliance.
Found 1 instance in 1 package
No metric changes
Dependency changes
+ Addedsanctuary-either@2.1.0(transitive)
+ Addedsanctuary-type-classes@12.1.0(transitive)
- Removedsanctuary-either@2.0.0(transitive)
- Removedsanctuary-show@1.0.0(transitive)
- Removedsanctuary-type-classes@12.0.0(transitive)
Updatedsanctuary-either@2.1.0