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.15.0 to 0.16.0
| { | ||
| "name": "sanctuary-def", | ||
| "version": "0.15.0", | ||
| "version": "0.16.0", | ||
| "description": "Run-time type system for JavaScript", | ||
@@ -22,3 +22,3 @@ "license": "MIT", | ||
| "eslint-plugin-markdown": "1.0.0-beta.7", | ||
| "sanctuary-scripts": "1.2.x" | ||
| "sanctuary-scripts": "1.4.x" | ||
| }, | ||
@@ -25,0 +25,0 @@ "files": [ |
106
README.md
@@ -176,27 +176,27 @@ # sanctuary-def | ||
| <h4 name="Any"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.15.0/index.js#L454">Any :: Type</a></code></h4> | ||
| #### <a name="Any" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L467">`Any :: Type`</a> | ||
| Type comprising every JavaScript value. | ||
| <h4 name="AnyFunction"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.15.0/index.js#L459">AnyFunction :: Type</a></code></h4> | ||
| #### <a name="AnyFunction" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L472">`AnyFunction :: Type`</a> | ||
| Type comprising every Function value. | ||
| <h4 name="Arguments"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.15.0/index.js#L464">Arguments :: Type</a></code></h4> | ||
| #### <a name="Arguments" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L477">`Arguments :: Type`</a> | ||
| Type comprising every [`arguments`][arguments] object. | ||
| <h4 name="Array"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.15.0/index.js#L469">Array :: Type -> Type</a></code></h4> | ||
| #### <a name="Array" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L482">`Array :: Type -> Type`</a> | ||
| Constructor for homogeneous Array types. | ||
| <h4 name="Array0"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.15.0/index.js#L474">Array0 :: Type</a></code></h4> | ||
| #### <a name="Array0" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L487">`Array0 :: Type`</a> | ||
| Type whose sole member is `[]`. | ||
| <h4 name="Array1"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.15.0/index.js#L482">Array1 :: Type -> Type</a></code></h4> | ||
| #### <a name="Array1" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L495">`Array1 :: Type -> Type`</a> | ||
| Constructor for singleton Array types. | ||
| <h4 name="Array2"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.15.0/index.js#L491">Array2 :: Type -> Type -> Type</a></code></h4> | ||
| #### <a name="Array2" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L504">`Array2 :: Type -> Type -> Type`</a> | ||
@@ -206,11 +206,11 @@ Constructor for heterogeneous Array types of length 2. `['foo', true]` is | ||
| <h4 name="Boolean"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.15.0/index.js#L502">Boolean :: Type</a></code></h4> | ||
| #### <a name="Boolean" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L515">`Boolean :: Type`</a> | ||
| Type comprising `true` and `false`. | ||
| <h4 name="Date"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.15.0/index.js#L507">Date :: Type</a></code></h4> | ||
| #### <a name="Date" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L520">`Date :: Type`</a> | ||
| Type comprising every Date value. | ||
| <h4 name="Error"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.15.0/index.js#L512">Error :: Type</a></code></h4> | ||
| #### <a name="Error" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L525">`Error :: Type`</a> | ||
@@ -220,3 +220,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.15.0/index.js#L518">FiniteNumber :: Type</a></code></h4> | ||
| #### <a name="FiniteNumber" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L531">`FiniteNumber :: Type`</a> | ||
@@ -226,3 +226,3 @@ Type comprising every [`ValidNumber`][] value except `Infinity` and | ||
| <h4 name="Function"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.15.0/index.js#L532">Function :: NonEmpty (Array Type) -> Type</a></code></h4> | ||
| #### <a name="Function" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L545">`Function :: NonEmpty (Array Type) -> Type`</a> | ||
@@ -237,3 +237,3 @@ Constructor for Function types. | ||
| <h4 name="GlobalRegExp"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.15.0/index.js#L571">GlobalRegExp :: Type</a></code></h4> | ||
| #### <a name="GlobalRegExp" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L584">`GlobalRegExp :: Type`</a> | ||
@@ -244,3 +244,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.15.0/index.js#L581">Integer :: Type</a></code></h4> | ||
| #### <a name="Integer" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L594">`Integer :: Type`</a> | ||
@@ -250,15 +250,15 @@ Type comprising every integer in the range | ||
| <h4 name="NegativeFiniteNumber"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.15.0/index.js#L595">NegativeFiniteNumber :: Type</a></code></h4> | ||
| #### <a name="NegativeFiniteNumber" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L608">`NegativeFiniteNumber :: Type`</a> | ||
| Type comprising every [`FiniteNumber`][] value less than zero. | ||
| <h4 name="NegativeInteger"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.15.0/index.js#L603">NegativeInteger :: Type</a></code></h4> | ||
| #### <a name="NegativeInteger" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L616">`NegativeInteger :: Type`</a> | ||
| Type comprising every [`Integer`][] value less than zero. | ||
| <h4 name="NegativeNumber"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.15.0/index.js#L611">NegativeNumber :: Type</a></code></h4> | ||
| #### <a name="NegativeNumber" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L624">`NegativeNumber :: Type`</a> | ||
| Type comprising every [`Number`][] value less than zero. | ||
| <h4 name="NonEmpty"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.15.0/index.js#L619">NonEmpty :: Type -> Type</a></code></h4> | ||
| #### <a name="NonEmpty" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L632">`NonEmpty :: Type -> Type`</a> | ||
@@ -270,3 +270,3 @@ Constructor for non-empty types. `$.NonEmpty ($.String)`, for example, is | ||
| <h4 name="NonGlobalRegExp"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.15.0/index.js#L635">NonGlobalRegExp :: Type</a></code></h4> | ||
| #### <a name="NonGlobalRegExp" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L648">`NonGlobalRegExp :: Type`</a> | ||
@@ -277,3 +277,3 @@ Type comprising every [`RegExp`][] value whose `global` flag is `false`. | ||
| <h4 name="NonNegativeInteger"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.15.0/index.js#L645">NonNegativeInteger :: Type</a></code></h4> | ||
| #### <a name="NonNegativeInteger" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L658">`NonNegativeInteger :: Type`</a> | ||
@@ -283,27 +283,27 @@ Type comprising every non-negative [`Integer`][] value (including `-0`). | ||
| <h4 name="NonZeroFiniteNumber"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.15.0/index.js#L654">NonZeroFiniteNumber :: Type</a></code></h4> | ||
| #### <a name="NonZeroFiniteNumber" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L667">`NonZeroFiniteNumber :: Type`</a> | ||
| Type comprising every [`FiniteNumber`][] value except `0` and `-0`. | ||
| <h4 name="NonZeroInteger"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.15.0/index.js#L662">NonZeroInteger :: Type</a></code></h4> | ||
| #### <a name="NonZeroInteger" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L675">`NonZeroInteger :: Type`</a> | ||
| Type comprising every [`Integer`][] value except `0` and `-0`. | ||
| <h4 name="NonZeroValidNumber"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.15.0/index.js#L670">NonZeroValidNumber :: Type</a></code></h4> | ||
| #### <a name="NonZeroValidNumber" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L683">`NonZeroValidNumber :: Type`</a> | ||
| Type comprising every [`ValidNumber`][] value except `0` and `-0`. | ||
| <h4 name="Null"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.15.0/index.js#L678">Null :: Type</a></code></h4> | ||
| #### <a name="Null" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L691">`Null :: Type`</a> | ||
| Type whose sole member is `null`. | ||
| <h4 name="Nullable"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.15.0/index.js#L683">Nullable :: Type -> Type</a></code></h4> | ||
| #### <a name="Nullable" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L696">`Nullable :: Type -> Type`</a> | ||
| Constructor for types which include `null` as a member. | ||
| <h4 name="Number"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.15.0/index.js#L695">Number :: Type</a></code></h4> | ||
| #### <a name="Number" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L708">`Number :: Type`</a> | ||
| Type comprising every primitive Number value (including `NaN`). | ||
| <h4 name="Object"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.15.0/index.js#L700">Object :: Type</a></code></h4> | ||
| #### <a name="Object" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L713">`Object :: Type`</a> | ||
@@ -318,19 +318,19 @@ Type comprising every "plain" Object value. Specifically, values | ||
| <h4 name="PositiveFiniteNumber"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.15.0/index.js#L711">PositiveFiniteNumber :: Type</a></code></h4> | ||
| #### <a name="PositiveFiniteNumber" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L724">`PositiveFiniteNumber :: Type`</a> | ||
| Type comprising every [`FiniteNumber`][] value greater than zero. | ||
| <h4 name="PositiveInteger"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.15.0/index.js#L719">PositiveInteger :: Type</a></code></h4> | ||
| #### <a name="PositiveInteger" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L732">`PositiveInteger :: Type`</a> | ||
| Type comprising every [`Integer`][] value greater than zero. | ||
| <h4 name="PositiveNumber"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.15.0/index.js#L727">PositiveNumber :: Type</a></code></h4> | ||
| #### <a name="PositiveNumber" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L740">`PositiveNumber :: Type`</a> | ||
| Type comprising every [`Number`][] value greater than zero. | ||
| <h4 name="RegExp"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.15.0/index.js#L735">RegExp :: Type</a></code></h4> | ||
| #### <a name="RegExp" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L748">`RegExp :: Type`</a> | ||
| Type comprising every RegExp value. | ||
| <h4 name="RegexFlags"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.15.0/index.js#L740">RegexFlags :: Type</a></code></h4> | ||
| #### <a name="RegexFlags" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L753">`RegexFlags :: Type`</a> | ||
@@ -348,3 +348,3 @@ Type comprising the canonical RegExp flags: | ||
| <h4 name="StrMap"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.15.0/index.js#L757">StrMap :: Type -> Type</a></code></h4> | ||
| #### <a name="StrMap" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L770">`StrMap :: Type -> Type`</a> | ||
@@ -356,23 +356,23 @@ Constructor for homogeneous Object types. | ||
| <h4 name="String"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.15.0/index.js#L771">String :: Type</a></code></h4> | ||
| #### <a name="String" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L784">`String :: Type`</a> | ||
| Type comprising every primitive String value. | ||
| <h4 name="Symbol"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.15.0/index.js#L776">Symbol :: Type</a></code></h4> | ||
| #### <a name="Symbol" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L789">`Symbol :: Type`</a> | ||
| Type comprising every Symbol value. | ||
| <h4 name="Type"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.15.0/index.js#L781">Type :: Type</a></code></h4> | ||
| #### <a name="Type" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L794">`Type :: Type`</a> | ||
| Type comprising every `Type` value. | ||
| <h4 name="TypeClass"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.15.0/index.js#L786">TypeClass :: Type</a></code></h4> | ||
| #### <a name="TypeClass" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L799">`TypeClass :: Type`</a> | ||
| Type comprising every [`TypeClass`][] value. | ||
| <h4 name="Undefined"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.15.0/index.js#L792">Undefined :: Type</a></code></h4> | ||
| #### <a name="Undefined" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L805">`Undefined :: Type`</a> | ||
| Type whose sole member is `undefined`. | ||
| <h4 name="Unknown"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.15.0/index.js#L797">Unknown :: Type</a></code></h4> | ||
| #### <a name="Unknown" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L810">`Unknown :: Type`</a> | ||
@@ -394,11 +394,11 @@ Type used to represent missing type information. The type of `[]`, | ||
| <h4 name="ValidDate"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.15.0/index.js#L816">ValidDate :: Type</a></code></h4> | ||
| #### <a name="ValidDate" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L829">`ValidDate :: Type`</a> | ||
| Type comprising every [`Date`][] value except `new Date (NaN)`. | ||
| <h4 name="ValidNumber"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.15.0/index.js#L824">ValidNumber :: Type</a></code></h4> | ||
| #### <a name="ValidNumber" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L837">`ValidNumber :: Type`</a> | ||
| Type comprising every [`Number`][] value except `NaN`. | ||
| <h4 name="env"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.15.0/index.js#L832">env :: Array Type</a></code></h4> | ||
| #### <a name="env" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L845">`env :: Array Type`</a> | ||
@@ -422,3 +422,3 @@ An array of [types][]: | ||
| <h4 name="test"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.15.0/index.js#L1250">test :: Array Type -> Type -> a -> Boolean</a></code></h4> | ||
| #### <a name="test" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L1263">`test :: Array Type -> Type -> a -> Boolean`</a> | ||
@@ -449,3 +449,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.15.0/index.js#L1284">NullaryType :: String -> String -> (Any -> Boolean) -> Type</a></code></h4> | ||
| #### <a name="NullaryType" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L1297">`NullaryType :: String -> String -> (Any -> Boolean) -> Type`</a> | ||
@@ -514,3 +514,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.15.0/index.js#L1364">UnaryType :: String -> String -> (Any -> Boolean) -> (t a -> Array a) -> Type -> Type</a></code></h4> | ||
| #### <a name="UnaryType" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L1377">`UnaryType :: String -> String -> (Any -> Boolean) -> (t a -> Array a) -> Type -> Type`</a> | ||
@@ -596,3 +596,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.15.0/index.js#L1484">BinaryType :: String -> String -> (Any -> Boolean) -> (t a b -> Array a) -> (t a b -> Array b) -> Type -> Type -> Type</a></code></h4> | ||
| #### <a name="BinaryType" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L1497">`BinaryType :: String -> String -> (Any -> Boolean) -> (t a b -> Array a) -> (t a b -> Array b) -> Type -> Type -> Type`</a> | ||
@@ -695,3 +695,3 @@ Type constructor for types with two type variables (such as | ||
| <h4 name="EnumType"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.15.0/index.js#L1644">EnumType :: String -> String -> Array Any -> Type</a></code></h4> | ||
| #### <a name="EnumType" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L1657">`EnumType :: String -> String -> Array Any -> Type`</a> | ||
@@ -718,3 +718,3 @@ Type constructor for [enumerated types][] (such as [`RegexFlags`][]). | ||
| <h4 name="RecordType"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.15.0/index.js#L1677">RecordType :: StrMap Type -> Type</a></code></h4> | ||
| #### <a name="RecordType" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L1690">`RecordType :: StrMap Type -> Type`</a> | ||
@@ -771,3 +771,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.15.0/index.js#L1757">TypeVariable :: String -> Type</a></code></h4> | ||
| #### <a name="TypeVariable" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L1770">`TypeVariable :: String -> Type`</a> | ||
@@ -829,3 +829,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.15.0/index.js#L1820">UnaryTypeVariable :: String -> Type -> Type</a></code></h4> | ||
| #### <a name="UnaryTypeVariable" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L1833">`UnaryTypeVariable :: String -> Type -> Type`</a> | ||
@@ -877,3 +877,3 @@ Combines [`UnaryType`][] and [`TypeVariable`][]. | ||
| <h4 name="BinaryTypeVariable"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.15.0/index.js#L1884">BinaryTypeVariable :: String -> Type -> Type -> Type</a></code></h4> | ||
| #### <a name="BinaryTypeVariable" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L1897">`BinaryTypeVariable :: String -> Type -> Type -> Type`</a> | ||
@@ -893,3 +893,3 @@ Combines [`BinaryType`][] and [`TypeVariable`][]. | ||
| <h4 name="Thunk"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.15.0/index.js#L1924">Thunk :: Type -> Type</a></code></h4> | ||
| #### <a name="Thunk" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L1937">`Thunk :: Type -> Type`</a> | ||
@@ -899,3 +899,3 @@ `$.Thunk (T)` is shorthand for `$.Function ([T])`, the type comprising | ||
| <h4 name="Predicate"><code><a href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.15.0/index.js#L1934">Predicate :: Type -> Type</a></code></h4> | ||
| #### <a name="Predicate" href="https://github.com/sanctuary-js/sanctuary-def/blob/v0.16.0/index.js#L1947">`Predicate :: Type -> Type`</a> | ||
@@ -902,0 +902,0 @@ `$.Predicate (T)` is shorthand for `$.Function ([T, $.Boolean])`, the |
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
Improved metrics
- Lines of code
- increased by0.49%
2484
Worsened metrics
- Total package byte prevSize
- decreased by-0.31%
120593
No dependency changes