sanctuary-def - npm Package Compare versions

Comparing version 0.20.1 to 0.21.0

package.json

 {
   "name": "sanctuary-def",
-  "version": "0.20.1",
+  "version": "0.21.0",
   "description": "Run-time type system for JavaScript",
@@ -17,13 +17,13 @@ "license": "MIT",
   "dependencies": {
-    "sanctuary-either": "1.2.0",
-    "sanctuary-show": "1.0.x",
-    "sanctuary-type-classes": "11.0.x",
-    "sanctuary-type-identifiers": "2.0.x"
+    "sanctuary-either": "2.0.0",
+    "sanctuary-show": "2.0.0",
+    "sanctuary-type-classes": "12.0.0",
+    "sanctuary-type-identifiers": "3.0.0"
   },
   "devDependencies": {
-    "sanctuary-descending": "1.2.0",
-    "sanctuary-identity": "1.2.0",
-    "sanctuary-maybe": "1.2.0",
-    "sanctuary-pair": "1.2.0",
-    "sanctuary-scripts": "3.2.x"
+    "sanctuary-descending": "2.0.0",
+    "sanctuary-identity": "2.0.0",
+    "sanctuary-maybe": "2.0.0",
+    "sanctuary-pair": "2.0.0",
+    "sanctuary-scripts": "4.0.x"
   },
@@ -30,0 +30,0 @@ "files": [

README.md

@@ -176,3 +176,3 @@ # sanctuary-def
 
-#### <a name="Unknown" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.20.1/index.js#L515">`Unknown :: Type`</a>
+#### <a name="Unknown" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L515">`Unknown :: Type`</a>
 
@@ -194,27 +194,35 @@ Type used to represent missing type information. The type of `[]`,
 
-#### <a name="Any" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.20.1/index.js#L534">`Any :: Type`</a>
+#### <a name="Void" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L534">`Void :: Type`</a>
 
+Uninhabited type.
+
+May be used to convey that a type parameter of an algebraic data type
+will not be used. For example, a future of type `Future Void String`
+will never be rejected.
+
+#### <a name="Any" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L546">`Any :: Type`</a>
+
 Type comprising every JavaScript value.
 
-#### <a name="AnyFunction" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.20.1/index.js#L542">`AnyFunction :: Type`</a>
+#### <a name="AnyFunction" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L554">`AnyFunction :: Type`</a>
 
 Type comprising every Function value.
 
-#### <a name="Arguments" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.20.1/index.js#L550">`Arguments :: Type`</a>
+#### <a name="Arguments" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/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.20.1/index.js#L558">`Array :: Type -⁠> Type`</a>
+#### <a name="Array" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/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.20.1/index.js#L567">`Array0 :: Type`</a>
+#### <a name="Array0" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L579">`Array0 :: Type`</a>
 
 Type whose sole member is `[]`.
 
-#### <a name="Array1" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.20.1/index.js#L575">`Array1 :: Type -⁠> Type`</a>
+#### <a name="Array1" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/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.20.1/index.js#L584">`Array2 :: Type -⁠> Type -⁠> Type`</a>
+#### <a name="Array2" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L596">`Array2 :: Type -⁠> Type -⁠> Type`</a>
 
@@ -224,23 +232,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.20.1/index.js#L595">`Boolean :: Type`</a>
+#### <a name="Boolean" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L607">`Boolean :: Type`</a>
 
 Type comprising `true` and `false`.
 
-#### <a name="Date" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.20.1/index.js#L603">`Date :: Type`</a>
+#### <a name="Date" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L615">`Date :: Type`</a>
 
 Type comprising every Date value.
 
-#### <a name="ValidDate" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.20.1/index.js#L611">`ValidDate :: Type`</a>
+#### <a name="ValidDate" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/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.20.1/index.js#L619">`Descending :: Type -⁠> Type`</a>
+#### <a name="Descending" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L631">`Descending :: Type -⁠> Type`</a>
 
 [Descending][] type constructor.
 
-#### <a name="Either" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.20.1/index.js#L628">`Either :: Type -⁠> Type -⁠> Type`</a>
+#### <a name="Either" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L640">`Either :: Type -⁠> Type -⁠> Type`</a>
 
 [Either][] type constructor.
 
-#### <a name="Error" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.20.1/index.js#L638">`Error :: Type`</a>
+#### <a name="Error" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L650">`Error :: Type`</a>
 
@@ -250,3 +258,3 @@ Type comprising every Error value, including values of more specific
 
-#### <a name="Fn" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.20.1/index.js#L647">`Fn :: Type -⁠> Type -⁠> Type`</a>
+#### <a name="Fn" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L659">`Fn :: Type -⁠> Type -⁠> Type`</a>
 
@@ -257,3 +265,3 @@ Binary type constructor for unary function types. `$.Fn (I) (O)`
 
-#### <a name="Function" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.20.1/index.js#L654">`Function :: NonEmpty (Array Type) -⁠> Type`</a>
+#### <a name="Function" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L666">`Function :: NonEmpty (Array Type) -⁠> Type`</a>
 
@@ -268,16 +276,31 @@ Constructor for Function types.
 
-#### <a name="HtmlElement" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.20.1/index.js#L694">`HtmlElement :: Type`</a>
+#### <a name="HtmlElement" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L706">`HtmlElement :: Type`</a>
 
 Type comprising every [HTML element][].
 
-#### <a name="Identity" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.20.1/index.js#L704">`Identity :: Type -⁠> Type`</a>
+#### <a name="Identity" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L716">`Identity :: Type -⁠> Type`</a>
 
 [Identity][] type constructor.
 
-#### <a name="Maybe" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.20.1/index.js#L713">`Maybe :: Type -⁠> Type`</a>
+#### <a name="JsMap" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L725">`JsMap :: Type -⁠> Type -⁠> Type`</a>
 
+Constructor for native Map types. `$.JsMap ($.Number) ($.String)`,
+for example, is the type comprising every native Map whose keys are
+numbers and whose values are strings.
+
+#### <a name="JsSet" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L737">`JsSet :: Type -⁠> Type`</a>
+
+Constructor for native Set types. `$.JsSet ($.Number)`, for example,
+is the type comprising every native Set whose values are numbers.
+
+#### <a name="Maybe" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L747">`Maybe :: Type -⁠> Type`</a>
+
 [Maybe][] type constructor.
 
-#### <a name="NonEmpty" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.20.1/index.js#L722">`NonEmpty :: Type -⁠> Type`</a>
+#### <a name="Module" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/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>
+
 Constructor for non-empty types. `$.NonEmpty ($.String)`, for example, is
@@ -288,31 +311,31 @@ the type comprising every [`String`][] value except `''`.
 
-#### <a name="Null" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.20.1/index.js#L738">`Null :: Type`</a>
+#### <a name="Null" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/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.20.1/index.js#L746">`Nullable :: Type -⁠> Type`</a>
+#### <a name="Nullable" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/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.20.1/index.js#L758">`Number :: Type`</a>
+#### <a name="Number" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/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.20.1/index.js#L771">`PositiveNumber :: Type`</a>
+#### <a name="PositiveNumber" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/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.20.1/index.js#L779">`NegativeNumber :: Type`</a>
+#### <a name="NegativeNumber" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/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.20.1/index.js#L787">`ValidNumber :: Type`</a>
+#### <a name="ValidNumber" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/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.20.1/index.js#L795">`NonZeroValidNumber :: Type`</a>
+#### <a name="NonZeroValidNumber" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/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.20.1/index.js#L803">`FiniteNumber :: Type`</a>
+#### <a name="FiniteNumber" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L845">`FiniteNumber :: Type`</a>
 
@@ -322,15 +345,15 @@ Type comprising every [`ValidNumber`][] value except `Infinity` and
 
-#### <a name="NonZeroFiniteNumber" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.20.1/index.js#L812">`NonZeroFiniteNumber :: Type`</a>
+#### <a name="NonZeroFiniteNumber" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/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.20.1/index.js#L820">`PositiveFiniteNumber :: Type`</a>
+#### <a name="PositiveFiniteNumber" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/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.20.1/index.js#L828">`NegativeFiniteNumber :: Type`</a>
+#### <a name="NegativeFiniteNumber" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/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.20.1/index.js#L836">`Integer :: Type`</a>
+#### <a name="Integer" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L878">`Integer :: Type`</a>
 
@@ -340,7 +363,7 @@ Type comprising every integer in the range
 
-#### <a name="NonZeroInteger" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.20.1/index.js#L849">`NonZeroInteger :: Type`</a>
+#### <a name="NonZeroInteger" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/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.20.1/index.js#L857">`NonNegativeInteger :: Type`</a>
+#### <a name="NonNegativeInteger" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L899">`NonNegativeInteger :: Type`</a>
 
@@ -350,11 +373,11 @@ Type comprising every non-negative [`Integer`][] value (including `-0`).
 
-#### <a name="PositiveInteger" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.20.1/index.js#L866">`PositiveInteger :: Type`</a>
+#### <a name="PositiveInteger" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/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.20.1/index.js#L874">`NegativeInteger :: Type`</a>
+#### <a name="NegativeInteger" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/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.20.1/index.js#L882">`Object :: Type`</a>
+#### <a name="Object" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L924">`Object :: Type`</a>
 
@@ -369,11 +392,11 @@ Type comprising every "plain" Object value. Specifically, values
 
-#### <a name="Pair" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.20.1/index.js#L896">`Pair :: Type -⁠> Type -⁠> Type`</a>
+#### <a name="Pair" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L938">`Pair :: Type -⁠> Type -⁠> Type`</a>
 
 [Pair][] type constructor.
 
-#### <a name="RegExp" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.20.1/index.js#L906">`RegExp :: Type`</a>
+#### <a name="RegExp" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L948">`RegExp :: Type`</a>
 
 Type comprising every RegExp value.
 
-#### <a name="GlobalRegExp" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.20.1/index.js#L914">`GlobalRegExp :: Type`</a>
+#### <a name="GlobalRegExp" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L956">`GlobalRegExp :: Type`</a>
 
@@ -384,3 +407,3 @@ Type comprising every [`RegExp`][] value whose `global` flag is `true`.
 
-#### <a name="NonGlobalRegExp" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.20.1/index.js#L924">`NonGlobalRegExp :: Type`</a>
+#### <a name="NonGlobalRegExp" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L966">`NonGlobalRegExp :: Type`</a>
 
@@ -391,3 +414,3 @@ Type comprising every [`RegExp`][] value whose `global` flag is `false`.
 
-#### <a name="StrMap" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.20.1/index.js#L934">`StrMap :: Type -⁠> Type`</a>
+#### <a name="StrMap" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L976">`StrMap :: Type -⁠> Type`</a>
 
@@ -399,7 +422,7 @@ Constructor for homogeneous Object types.
 
-#### <a name="String" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.20.1/index.js#L946">`String :: Type`</a>
+#### <a name="String" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/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.20.1/index.js#L954">`RegexFlags :: Type`</a>
+#### <a name="RegexFlags" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L996">`RegexFlags :: Type`</a>
 
@@ -417,19 +440,19 @@ Type comprising the canonical RegExp flags:
 
-#### <a name="Symbol" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.20.1/index.js#L971">`Symbol :: Type`</a>
+#### <a name="Symbol" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L1013">`Symbol :: Type`</a>
 
 Type comprising every Symbol value.
 
-#### <a name="Type" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.20.1/index.js#L979">`Type :: Type`</a>
+#### <a name="Type" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L1021">`Type :: Type`</a>
 
 Type comprising every `Type` value.
 
-#### <a name="TypeClass" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.20.1/index.js#L987">`TypeClass :: Type`</a>
+#### <a name="TypeClass" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L1029">`TypeClass :: Type`</a>
 
 Type comprising every [`TypeClass`][] value.
 
-#### <a name="Undefined" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.20.1/index.js#L995">`Undefined :: Type`</a>
+#### <a name="Undefined" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/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.20.1/index.js#L1003">`env :: Array Type`</a>
+#### <a name="env" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L1045">`env :: Array Type`</a>
 
@@ -450,3 +473,6 @@ An array of [types][]:
   - <code>[Identity](#Identity) ([Unknown][])</code>
+  - <code>[JsMap](#JsMap) ([Unknown][]) ([Unknown][])</code>
+  - <code>[JsSet](#JsSet) ([Unknown][])</code>
   - <code>[Maybe](#Maybe) ([Unknown][])</code>
+  - <code>[Module](#Module)</code>
   - <code>[Null](#Null)</code>
@@ -464,3 +490,3 @@ - <code>[Number](#Number)</code>
 
-#### <a name="test" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.20.1/index.js#L1430">`test :: Array Type -⁠> Type -⁠> a -⁠> Boolean`</a>
+#### <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>
 
@@ -477,3 +503,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.20.1/index.js#L1450">`NullaryType :: String -⁠> String -⁠> Array Type -⁠> (Any -⁠> Boolean) -⁠> Type`</a>
+#### <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>
 
@@ -551,3 +577,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.20.1/index.js#L1532">`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.0/index.js#L1580">`UnaryType :: Foldable f => String -⁠> String -⁠> Array Type -⁠> (Any -⁠> Boolean) -⁠> (t a -⁠> f a) -⁠> Type -⁠> Type`</a>
 
@@ -579,4 +605,4 @@ Type constructor for types with one type variable (such as [`Array`][]).
 
-//    MaybeTypeRep :: TypeRep Maybe
-const MaybeTypeRep = {'@@type': 'my-package/Maybe'};
+//    maybeTypeIdent :: String
+const maybeTypeIdent = 'my-package/Maybe';
 
@@ -588,3 +614,3 @@ //    Maybe :: Type -> Type
   ([])
-  (x => type (x) === MaybeTypeRep['@@type'])
+  (x => type (x) === maybeTypeIdent)
   (maybe => maybe.isJust ? [maybe.value] : []);
@@ -594,5 +620,5 @@
 const Nothing = {
-  'constructor': MaybeTypeRep,
   'isJust': false,
   'isNothing': true,
+  '@@type': maybeTypeIdent,
   '@@show': () => 'Nothing',
@@ -603,5 +629,5 @@ };
 const Just = x => ({
-  'constructor': MaybeTypeRep,
   'isJust': true,
   'isNothing': false,
+  '@@type': maybeTypeIdent,
   '@@show': () => `Just (${show (x)})`,
@@ -638,3 +664,3 @@ 'value': x,
 
-#### <a name="BinaryType" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.20.1/index.js#L1643">`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.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>
 
@@ -671,4 +697,4 @@ Type constructor for types with two type variables (such as
 
-//    PairTypeRep :: TypeRep Pair
-const PairTypeRep = {'@@type': 'my-package/Pair'};
+//    pairTypeIdent :: String
+const pairTypeIdent = 'my-package/Pair';
 
@@ -680,3 +706,3 @@ //    $Pair :: Type -> Type -> Type
   ([])
-  (x => type (x) === PairTypeRep['@@type'])
+  (x => type (x) === pairTypeIdent)
   (({fst}) => [fst])
@@ -691,5 +717,5 @@ (({snd}) => [snd]);
     (fst => snd => ({
-       'constructor': PairTypeRep,
        'fst': fst,
        'snd': snd,
+       '@@type': pairTypeIdent,
        '@@show': () => `Pair (${show (fst)}) (${show (snd)})`,
@@ -739,3 +765,3 @@ }));
 
-#### <a name="EnumType" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.20.1/index.js#L1775">`EnumType :: String -⁠> String -⁠> Array Any -⁠> Type`</a>
+#### <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>
 
@@ -762,3 +788,3 @@ Type constructor for [enumerated types][] (such as [`RegexFlags`][]).
 
-#### <a name="RecordType" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.20.1/index.js#L1802">`RecordType :: StrMap Type -⁠> Type`</a>
+#### <a name="RecordType" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L1850">`RecordType :: StrMap Type -⁠> Type`</a>
 
@@ -816,3 +842,3 @@ `RecordType` is used to construct anonymous record types. The type
 
-#### <a name="NamedRecordType" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.20.1/index.js#L1886">`NamedRecordType :: NonEmpty String -⁠> String -⁠> Array Type -⁠> StrMap Type -⁠> Type`</a>
+#### <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>
 
@@ -874,3 +900,3 @@ `NamedRecordType` is used to construct named record types. The type
 
-#### <a name="TypeVariable" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.20.1/index.js#L1995">`TypeVariable :: String -⁠> Type`</a>
+#### <a name="TypeVariable" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L2043">`TypeVariable :: String -⁠> Type`</a>
 
@@ -932,3 +958,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.20.1/index.js#L2057">`UnaryTypeVariable :: String -⁠> Type -⁠> Type`</a>
+#### <a name="UnaryTypeVariable" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L2105">`UnaryTypeVariable :: String -⁠> Type -⁠> Type`</a>
 
@@ -980,3 +1006,3 @@ Combines [`UnaryType`][] and [`TypeVariable`][].
 
-#### <a name="BinaryTypeVariable" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.20.1/index.js#L2111">`BinaryTypeVariable :: String -⁠> Type -⁠> Type -⁠> Type`</a>
+#### <a name="BinaryTypeVariable" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L2159">`BinaryTypeVariable :: String -⁠> Type -⁠> Type -⁠> Type`</a>
 
@@ -996,3 +1022,3 @@ Combines [`BinaryType`][] and [`TypeVariable`][].
 
-#### <a name="Thunk" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.20.1/index.js#L2136">`Thunk :: Type -⁠> Type`</a>
+#### <a name="Thunk" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L2184">`Thunk :: Type -⁠> Type`</a>
 
@@ -1002,3 +1028,3 @@ `$.Thunk (T)` is shorthand for `$.Function ([T])`, the type comprising
 
-#### <a name="Predicate" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.20.1/index.js#L2142">`Predicate :: Type -⁠> Type`</a>
+#### <a name="Predicate" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.21.0/index.js#L2190">`Predicate :: Type -⁠> Type`</a>
 
@@ -1097,10 +1123,10 @@ `$.Predicate (T)` is shorthand for `$.Fn (T) ($.Boolean)`, the type
 
-[Descending]:           https://github.com/sanctuary-js/sanctuary-descending/tree/v1.2.0
-[Either]:               https://github.com/sanctuary-js/sanctuary-either/tree/v1.2.0
+[Descending]:           https://github.com/sanctuary-js/sanctuary-descending/tree/v2.0.0
+[Either]:               https://github.com/sanctuary-js/sanctuary-either/tree/v2.0.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/v1.2.0
-[Maybe]:                https://github.com/sanctuary-js/sanctuary-maybe/tree/v1.2.0
+[Identity]:             https://github.com/sanctuary-js/sanctuary-identity/tree/v2.0.0
+[Maybe]:                https://github.com/sanctuary-js/sanctuary-maybe/tree/v2.0.0
 [Monoid]:               https://github.com/fantasyland/fantasy-land#monoid
-[Pair]:                 https://github.com/sanctuary-js/sanctuary-pair/tree/v1.2.0
+[Pair]:                 https://github.com/sanctuary-js/sanctuary-pair/tree/v2.0.0
 [Setoid]:               https://github.com/fantasyland/fantasy-land#setoid
@@ -1107,0 +1133,0 @@ [Unknown]:              #Unknown

New alerts

License Policy Violation

License

This 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

License

This package is not allowed per your license policy. Review the package's license to ensure compliance.

Found 1 instance in 1 package

Improved metrics

Total package byte prevSize

133102

increased by2.13%

Lines of code

2809

increased by1.74%

Number of lines in readme file

1128

increased by2.36%

Dependency changes

• + Addedsanctuary-either@2.0.0(transitive)

• + Addedsanctuary-show@2.0.0(transitive)

• + Addedsanctuary-type-classes@12.0.0(transitive)

• + Addedsanctuary-type-identifiers@3.0.0(transitive)

• - Removedsanctuary-either@1.2.0(transitive)

• - Removedsanctuary-type-classes@11.0.0(transitive)

• - Removedsanctuary-type-identifiers@2.0.1(transitive)

• Updatedsanctuary-either@2.0.0

• Updatedsanctuary-show@2.0.0

• Updatedsanctuary-type-classes@12.0.0

• Updatedsanctuary-type-identifiers@3.0.0