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.9.0 to 0.10.0
| { | ||
| "name": "sanctuary-def", | ||
| "version": "0.9.0", | ||
| "version": "0.10.0", | ||
| "description": "Run-time type system for JavaScript", | ||
@@ -14,11 +14,14 @@ "license": "MIT", | ||
| "dependencies": { | ||
| "sanctuary-type-classes": "2.0.x", | ||
| "sanctuary-type-classes": "4.0.x", | ||
| "sanctuary-type-identifiers": "1.0.x" | ||
| }, | ||
| "devDependencies": { | ||
| "eslint": "2.9.x", | ||
| "eslint": "3.19.x", | ||
| "istanbul": "0.4.x", | ||
| "mocha": "3.x.x", | ||
| "remark-cli": "3.x.x", | ||
| "remark-lint-no-undefined-references": "1.x.x", | ||
| "remark-lint-no-unused-definitions": "1.x.x", | ||
| "remember-bower": "0.1.x", | ||
| "sanctuary-style": "0.4.x", | ||
| "sanctuary-style": "0.5.x", | ||
| "transcribe": "0.5.x", | ||
@@ -25,0 +28,0 @@ "xyz": "2.0.x" |
180
README.md
@@ -30,2 +30,26 @@ # sanctuary-def | ||
| Type constructors such as `List :: Type -> Type` cannot be included in | ||
| an environment as they're not of the correct type. One could, though, | ||
| use a type constructor to define a fixed number of concrete types: | ||
| ```javascript | ||
| // env :: Array Type | ||
| const env = $.env.concat([ | ||
| List($.Number), // :: Type | ||
| List($.String), // :: Type | ||
| List(List($.Number)), // :: Type | ||
| List(List($.String)), // :: Type | ||
| List(List(List($.Number))), // :: Type | ||
| List(List(List($.String))), // :: Type | ||
| ]); | ||
| ``` | ||
| Not only would this be tedious, but one could never enumerate all possible | ||
| types as there are infinitely many. Instead, one should use [`Unknown`][]: | ||
| ```javascript | ||
| // env :: Array Type | ||
| const env = $.env.concat([List($.Unknown)]); | ||
| ``` | ||
| The next step is to define a `def` function for the environment: | ||
@@ -136,3 +160,3 @@ | ||
| <h4 name="__"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.9.0/index.js#L164">__ :: Placeholder</a></code></h4> | ||
| <h4 name="__"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.10.0/index.js#L188">__ :: Placeholder</a></code></h4> | ||
@@ -163,27 +187,27 @@ The special placeholder value. | ||
| <h4 name="Any"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.9.0/index.js#L426">Any :: Type</a></code></h4> | ||
| <h4 name="Any"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.10.0/index.js#L442">Any :: Type</a></code></h4> | ||
| Type comprising every JavaScript value. | ||
| <h4 name="AnyFunction"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.9.0/index.js#L431">AnyFunction :: Type</a></code></h4> | ||
| <h4 name="AnyFunction"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.10.0/index.js#L447">AnyFunction :: Type</a></code></h4> | ||
| Type comprising every Function value. | ||
| <h4 name="Arguments"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.9.0/index.js#L436">Arguments :: Type</a></code></h4> | ||
| <h4 name="Arguments"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.10.0/index.js#L452">Arguments :: Type</a></code></h4> | ||
| Type comprising every [`arguments`][arguments] object. | ||
| <h4 name="Array"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.9.0/index.js#L441">Array :: Type -> Type</a></code></h4> | ||
| <h4 name="Array"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.10.0/index.js#L457">Array :: Type -> Type</a></code></h4> | ||
| Constructor for homogeneous Array types. | ||
| <h4 name="Boolean"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.9.0/index.js#L446">Boolean :: Type</a></code></h4> | ||
| <h4 name="Boolean"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.10.0/index.js#L462">Boolean :: Type</a></code></h4> | ||
| Type comprising `true` and `false`. | ||
| <h4 name="Date"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.9.0/index.js#L451">Date :: Type</a></code></h4> | ||
| <h4 name="Date"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.10.0/index.js#L467">Date :: Type</a></code></h4> | ||
| Type comprising every Date value. | ||
| <h4 name="Error"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.9.0/index.js#L456">Error :: Type</a></code></h4> | ||
| <h4 name="Error"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.10.0/index.js#L472">Error :: Type</a></code></h4> | ||
@@ -193,3 +217,3 @@ Type comprising every Error value, including values of more specific | ||
| <h4 name="FiniteNumber"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.9.0/index.js#L462">FiniteNumber :: Type</a></code></h4> | ||
| <h4 name="FiniteNumber"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.10.0/index.js#L478">FiniteNumber :: Type</a></code></h4> | ||
@@ -199,3 +223,3 @@ Type comprising every [`ValidNumber`][] value except `Infinity` and | ||
| <h4 name="Function"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.9.0/index.js#L471">Function :: Array Type -> Type</a></code></h4> | ||
| <h4 name="Function"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.10.0/index.js#L487">Function :: Array Type -> Type</a></code></h4> | ||
@@ -210,3 +234,3 @@ Constructor for Function types. | ||
| <h4 name="GlobalRegExp"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.9.0/index.js#L508">GlobalRegExp :: Type</a></code></h4> | ||
| <h4 name="GlobalRegExp"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.10.0/index.js#L524">GlobalRegExp :: Type</a></code></h4> | ||
@@ -217,3 +241,3 @@ Type comprising every [`RegExp`][] value whose `global` flag is `true`. | ||
| <h4 name="Integer"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.9.0/index.js#L518">Integer :: Type</a></code></h4> | ||
| <h4 name="Integer"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.10.0/index.js#L534">Integer :: Type</a></code></h4> | ||
@@ -223,15 +247,15 @@ Type comprising every integer in the range | ||
| <h4 name="NegativeFiniteNumber"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.9.0/index.js#L532">NegativeFiniteNumber :: Type</a></code></h4> | ||
| <h4 name="NegativeFiniteNumber"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.10.0/index.js#L548">NegativeFiniteNumber :: Type</a></code></h4> | ||
| Type comprising every [`FiniteNumber`][] value less than zero. | ||
| <h4 name="NegativeInteger"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.9.0/index.js#L540">NegativeInteger :: Type</a></code></h4> | ||
| <h4 name="NegativeInteger"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.10.0/index.js#L556">NegativeInteger :: Type</a></code></h4> | ||
| Type comprising every [`Integer`][] value less than zero. | ||
| <h4 name="NegativeNumber"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.9.0/index.js#L548">NegativeNumber :: Type</a></code></h4> | ||
| <h4 name="NegativeNumber"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.10.0/index.js#L564">NegativeNumber :: Type</a></code></h4> | ||
| Type comprising every [`Number`][] value less than zero. | ||
| <h4 name="NonGlobalRegExp"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.9.0/index.js#L556">NonGlobalRegExp :: Type</a></code></h4> | ||
| <h4 name="NonGlobalRegExp"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.10.0/index.js#L572">NonGlobalRegExp :: Type</a></code></h4> | ||
@@ -242,27 +266,27 @@ Type comprising every [`RegExp`][] value whose `global` flag is `false`. | ||
| <h4 name="NonZeroFiniteNumber"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.9.0/index.js#L566">NonZeroFiniteNumber :: Type</a></code></h4> | ||
| <h4 name="NonZeroFiniteNumber"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.10.0/index.js#L582">NonZeroFiniteNumber :: Type</a></code></h4> | ||
| Type comprising every [`FiniteNumber`][] value except `0` and `-0`. | ||
| <h4 name="NonZeroInteger"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.9.0/index.js#L574">NonZeroInteger :: Type</a></code></h4> | ||
| <h4 name="NonZeroInteger"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.10.0/index.js#L590">NonZeroInteger :: Type</a></code></h4> | ||
| Type comprising every [`Integer`][] value except `0` and `-0`. | ||
| <h4 name="NonZeroValidNumber"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.9.0/index.js#L582">NonZeroValidNumber :: Type</a></code></h4> | ||
| <h4 name="NonZeroValidNumber"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.10.0/index.js#L598">NonZeroValidNumber :: Type</a></code></h4> | ||
| Type comprising every [`ValidNumber`][] value except `0` and `-0`. | ||
| <h4 name="Null"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.9.0/index.js#L590">Null :: Type</a></code></h4> | ||
| <h4 name="Null"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.10.0/index.js#L606">Null :: Type</a></code></h4> | ||
| Type whose sole member is `null`. | ||
| <h4 name="Nullable"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.9.0/index.js#L595">Nullable :: Type -> Type</a></code></h4> | ||
| <h4 name="Nullable"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.10.0/index.js#L611">Nullable :: Type -> Type</a></code></h4> | ||
| Constructor for types which include `null` as a member. | ||
| <h4 name="Number"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.9.0/index.js#L604">Number :: Type</a></code></h4> | ||
| <h4 name="Number"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.10.0/index.js#L623">Number :: Type</a></code></h4> | ||
| Type comprising every primitive Number value (including `NaN`). | ||
| <h4 name="Object"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.9.0/index.js#L609">Object :: Type</a></code></h4> | ||
| <h4 name="Object"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.10.0/index.js#L628">Object :: Type</a></code></h4> | ||
@@ -277,3 +301,3 @@ Type comprising every "plain" Object value. Specifically, values | ||
| <h4 name="Pair"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.9.0/index.js#L620">Pair :: Type -> Type -> Type</a></code></h4> | ||
| <h4 name="Pair"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.10.0/index.js#L639">Pair :: Type -> Type -> Type</a></code></h4> | ||
@@ -283,19 +307,19 @@ Constructor for tuple types of length 2. Arrays are said to represent | ||
| <h4 name="PositiveFiniteNumber"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.9.0/index.js#L631">PositiveFiniteNumber :: Type</a></code></h4> | ||
| <h4 name="PositiveFiniteNumber"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.10.0/index.js#L650">PositiveFiniteNumber :: Type</a></code></h4> | ||
| Type comprising every [`FiniteNumber`][] value greater than zero. | ||
| <h4 name="PositiveInteger"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.9.0/index.js#L639">PositiveInteger :: Type</a></code></h4> | ||
| <h4 name="PositiveInteger"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.10.0/index.js#L658">PositiveInteger :: Type</a></code></h4> | ||
| Type comprising every [`Integer`][] value greater than zero. | ||
| <h4 name="PositiveNumber"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.9.0/index.js#L647">PositiveNumber :: Type</a></code></h4> | ||
| <h4 name="PositiveNumber"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.10.0/index.js#L666">PositiveNumber :: Type</a></code></h4> | ||
| Type comprising every [`Number`][] value greater than zero. | ||
| <h4 name="RegExp"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.9.0/index.js#L655">RegExp :: Type</a></code></h4> | ||
| <h4 name="RegExp"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.10.0/index.js#L674">RegExp :: Type</a></code></h4> | ||
| Type comprising every RegExp value. | ||
| <h4 name="RegexFlags"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.9.0/index.js#L660">RegexFlags :: Type</a></code></h4> | ||
| <h4 name="RegexFlags"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.10.0/index.js#L679">RegexFlags :: Type</a></code></h4> | ||
@@ -313,3 +337,3 @@ Type comprising the canonical RegExp flags: | ||
| <h4 name="StrMap"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.9.0/index.js#L677">StrMap :: Type -> Type</a></code></h4> | ||
| <h4 name="StrMap"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.10.0/index.js#L696">StrMap :: Type -> Type</a></code></h4> | ||
@@ -321,43 +345,67 @@ Constructor for homogeneous Object types. | ||
| <h4 name="String"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.9.0/index.js#L692">String :: Type</a></code></h4> | ||
| <h4 name="String"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.10.0/index.js#L711">String :: Type</a></code></h4> | ||
| Type comprising every primitive String value. | ||
| <h4 name="Undefined"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.9.0/index.js#L697">Undefined :: Type</a></code></h4> | ||
| <h4 name="Symbol"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.10.0/index.js#L716">Symbol :: Type</a></code></h4> | ||
| Type comprising every Symbol value. | ||
| <h4 name="Type"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.10.0/index.js#L721">Type :: Type</a></code></h4> | ||
| Type comprising every `Type` value. | ||
| <h4 name="TypeClass"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.10.0/index.js#L726">TypeClass :: Type</a></code></h4> | ||
| Type comprising every [`TypeClass`][] value. | ||
| <h4 name="Undefined"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.10.0/index.js#L732">Undefined :: Type</a></code></h4> | ||
| Type whose sole member is `undefined`. | ||
| <h4 name="Unknown"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.9.0/index.js#L702">Unknown :: Type</a></code></h4> | ||
| <h4 name="Unknown"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.10.0/index.js#L737">Unknown :: Type</a></code></h4> | ||
| Type used internally to represent missing type information. The type of | ||
| `[]`, for example, is `Array ???`. This type is exported solely for use | ||
| by other Sanctuary packages. | ||
| Type used to represent missing type information. The type of `[]`, | ||
| for example, is `Array ???`. | ||
| <h4 name="ValidDate"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.9.0/index.js#L709">ValidDate :: Type</a></code></h4> | ||
| May be used with type constructors when defining environments. Given a | ||
| type constructor `List :: Type -> Type`, one could use `List($.Unknown)` | ||
| to include an infinite number of types in an environment: | ||
| - `List Number` | ||
| - `List String` | ||
| - `List (List Number)` | ||
| - `List (List String)` | ||
| - `List (List (List Number))` | ||
| - `List (List (List String))` | ||
| - `...` | ||
| <h4 name="ValidDate"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.10.0/index.js#L755">ValidDate :: Type</a></code></h4> | ||
| Type comprising every [`Date`][] value except `new Date(NaN)`. | ||
| <h4 name="ValidNumber"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.9.0/index.js#L717">ValidNumber :: Type</a></code></h4> | ||
| <h4 name="ValidNumber"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.10.0/index.js#L763">ValidNumber :: Type</a></code></h4> | ||
| Type comprising every [`Number`][] value except `NaN`. | ||
| <h4 name="env"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.9.0/index.js#L725">env :: Array Type</a></code></h4> | ||
| <h4 name="env"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.10.0/index.js#L771">env :: Array Type</a></code></h4> | ||
| An array of [types][]: | ||
| - [`AnyFunction`][] | ||
| - [`Arguments`][] | ||
| - [`Array`][] | ||
| - [`Boolean`][] | ||
| - [`Date`][] | ||
| - [`Error`][] | ||
| - [`Null`][] | ||
| - [`Number`][] | ||
| - [`Object`][] | ||
| - [`RegExp`][] | ||
| - [`StrMap`][] | ||
| - [`String`][] | ||
| - [`Undefined`][] | ||
| - <code><a href="#AnyFunction">AnyFunction</a></code> | ||
| - <code><a href="#Arguments">Arguments</a></code> | ||
| - <code><a href="#Array">Array</a>(<a href="#Unknown">Unknown</a>)</code> | ||
| - <code><a href="#Boolean">Boolean</a></code> | ||
| - <code><a href="#Date">Date</a></code> | ||
| - <code><a href="#Error">Error</a></code> | ||
| - <code><a href="#Null">Null</a></code> | ||
| - <code><a href="#Number">Number</a></code> | ||
| - <code><a href="#Object">Object</a></code> | ||
| - <code><a href="#RegExp">RegExp</a></code> | ||
| - <code><a href="#StrMap">StrMap</a>(<a href="#Unknown">Unknown</a>)</code> | ||
| - <code><a href="#String">String</a></code> | ||
| - <code><a href="#Symbol">Symbol</a></code> | ||
| - <code><a href="#Undefined">Undefined</a></code> | ||
| <h4 name="test"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.9.0/index.js#L1185">test :: Array Type -> Type -> a -> Boolean</a></code></h4> | ||
| <h4 name="test"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.10.0/index.js#L1216">test :: Array Type -> Type -> a -> Boolean</a></code></h4> | ||
@@ -389,3 +437,3 @@ Takes an environment, a type, and any value. Returns `true` if the value | ||
| <h4 name="NullaryType"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.9.0/index.js#L1217">NullaryType :: String -> String -> (Any -> Boolean) -> Type</a></code></h4> | ||
| <h4 name="NullaryType"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.10.0/index.js#L1247">NullaryType :: String -> String -> (Any -> Boolean) -> Type</a></code></h4> | ||
@@ -453,3 +501,3 @@ Type constructor for types with no type variables (such as [`Number`][]). | ||
| <h4 name="UnaryType"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.9.0/index.js#L1292">UnaryType :: String -> String -> (Any -> Boolean) -> (t a -> Array a) -> (Type -> Type)</a></code></h4> | ||
| <h4 name="UnaryType"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.10.0/index.js#L1322">UnaryType :: String -> String -> (Any -> Boolean) -> (t a -> Array a) -> (Type -> Type)</a></code></h4> | ||
@@ -533,3 +581,3 @@ Type constructor for types with one type variable (such as [`Array`][]). | ||
| <h4 name="BinaryType"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.9.0/index.js#L1401">BinaryType :: String -> String -> (Any -> Boolean) -> (t a b -> Array a) -> (t a b -> Array b) -> (Type -> Type -> Type)</a></code></h4> | ||
| <h4 name="BinaryType"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.10.0/index.js#L1431">BinaryType :: String -> String -> (Any -> Boolean) -> (t a b -> Array a) -> (t a b -> Array b) -> (Type -> Type -> Type)</a></code></h4> | ||
@@ -625,3 +673,3 @@ Type constructor for types with two type variables (such as [`Pair`][]). | ||
| <h4 name="EnumType"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.9.0/index.js#L1536">EnumType :: String -> String -> Array Any -> Type</a></code></h4> | ||
| <h4 name="EnumType"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.10.0/index.js#L1566">EnumType :: String -> String -> Array Any -> Type</a></code></h4> | ||
@@ -649,3 +697,3 @@ Type constructor for [enumerated types][] (such as [`RegexFlags`][]). | ||
| <h4 name="RecordType"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.9.0/index.js#L1565">RecordType :: StrMap Type -> Type</a></code></h4> | ||
| <h4 name="RecordType"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.10.0/index.js#L1595">RecordType :: StrMap Type -> Type</a></code></h4> | ||
@@ -700,3 +748,3 @@ `RecordType` is used to construct record types. The type definition | ||
| <h4 name="TypeVariable"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.9.0/index.js#L1643">TypeVariable :: String -> Type</a></code></h4> | ||
| <h4 name="TypeVariable"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.10.0/index.js#L1673">TypeVariable :: String -> Type</a></code></h4> | ||
@@ -755,3 +803,3 @@ Polymorphism is powerful. Not being able to define a function for | ||
| <h4 name="UnaryTypeVariable"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.9.0/index.js#L1703">UnaryTypeVariable :: String -> (Type -> Type)</a></code></h4> | ||
| <h4 name="UnaryTypeVariable"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.10.0/index.js#L1733">UnaryTypeVariable :: String -> (Type -> Type)</a></code></h4> | ||
@@ -803,3 +851,3 @@ Combines [`UnaryType`][] and [`TypeVariable`][]. | ||
| <h4 name="BinaryTypeVariable"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.9.0/index.js#L1767">BinaryTypeVariable :: String -> (Type -> Type -> Type)</a></code></h4> | ||
| <h4 name="BinaryTypeVariable"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.10.0/index.js#L1797">BinaryTypeVariable :: String -> (Type -> Type -> Type)</a></code></h4> | ||
@@ -915,9 +963,5 @@ Combines [`BinaryType`][] and [`TypeVariable`][]. | ||
| [FL:Semigroup]: https://github.com/fantasyland/fantasy-land#semigroup | ||
| [`AnyFunction`]: #AnyFunction | ||
| [`Arguments`]: #Arguments | ||
| [`Array`]: #Array | ||
| [`BinaryType`]: #BinaryType | ||
| [`Boolean`]: #Boolean | ||
| [`Date`]: #Date | ||
| [`Error`]: #Error | ||
| [`FiniteNumber`]: #FiniteNumber | ||
@@ -927,5 +971,3 @@ [`GlobalRegExp`]: #GlobalRegExp | ||
| [`NonGlobalRegExp`]: #NonGlobalRegExp | ||
| [`Null`]: #Null | ||
| [`Number`]: #Number | ||
| [`Object`]: #Object | ||
| [`Object.create`]: https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Object/create | ||
@@ -935,4 +977,2 @@ [`Pair`]: #Pair | ||
| [`RegexFlags`]: #RegexFlags | ||
| [`StrMap`]: #StrMap | ||
| [`String`]: #String | ||
| [`SyntaxError`]: https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/SyntaxError | ||
@@ -944,3 +984,3 @@ [`TypeClass`]: https://github.com/sanctuary-js/sanctuary-type-classes#TypeClass | ||
| [`UnaryTypeVariable`]: #UnaryTypeVariable | ||
| [`Undefined`]: #Undefined | ||
| [`Unknown`]: #Unknown | ||
| [`ValidNumber`]: #ValidNumber | ||
@@ -947,0 +987,0 @@ [`env`]: #env |
Sorry, the diff of this file is too big to display
Sorry, the diff of this file is not supported yet
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
Improved metrics
- Total package byte prevSize
- increased by3.39%
115535
- Lines of code
- increased by1.69%
2351
- Number of lines in readme file
- increased by4.29%
972
Worsened metrics
- Dev dependency count
- increased by42.86%
10
Dependency changes
+ Addedsanctuary-type-classes@4.0.0(transitive)
- Removedsanctuary-type-classes@2.0.1(transitive)
Updatedsanctuary-type-classes@4.0.x