Version 0.17.0

Changes:

• ⚠️ record fields are now defined as enumerable properties rather than own properties (#202)
• show is now used for string representations (#198)
• improved string representations of empty record type and record types with unusual field names (#201)
• underlining is now more precise in certain cases (#192, #200)
• sanctuary-type-classes dependency upgraded from 8.1.x to 9.0.x (#197, #199)

Version 0.16.0

Changes:

• Type values can now be compared via S.equals (#189)

Version 0.15.0

Changes:

• $ functions must now be applied to arguments one at a time (#179)
• def now requires a curried implementation function (#179)
• def no longer imposes an arbitrary arity limit (#179)
• def functions must now be applied to arguments one at a time (#179)
• $.Pair is now known as $.Array2 (#182)
• $ functions no longer perform type checking when NODE_ENV is 'production' (#187)
• sanctuary-type-classes dependency upgraded from 7.1.x to 8.1.x (#188)

Removals:

• $.__ (#179)

Additions:

• $.Array0 and $.Array1 (#182)

Version 0.14.0

Changes:

• type checking of unary types is now far more efficient: O(tn) rather than O(tⁿ) (#177)
• sanctuary-type-classes dependency upgraded from 6.0.x to 7.1.x

Version 0.13.1

Changes:

• fixed underlining of unary and binary type variables (#167)

Version 0.13.0

Changes:

• lists of types in error messages can no longer contain duplicates (#159)
• fixed handling of constraint violations of nested type variables (#160)
• Unknown is now distinguished from Inconsistent in string representations (#163)

Additions:

• $.Thunk and $.Predicate (#161)
• $.NonNegativeInteger (#165)

Version 0.12.1

Changes:

• improved interoperability with older versions of sanctuary-type-classes (#157)

Version 0.12.0

Changes:

• error messages for type-class constraint violations now link to the type class's documentation (#153)
• sanctuary-type-classes dependency upgraded from 5.1.x to 6.0.x
• sanctuary-type-identifiers dependency upgraded from 1.0.x to 2.0.x

Version 0.11.1

Changes:

• type-class constraints of nested type variables are now respected (#152)

Version 0.11.0

Changes:

• functions returned by functions with return types such as (a -> Boolean) now perform type checking (#147)
• sanctuary-type-classes dependency upgraded from 4.0.x to 5.1.x

Additions:

• $.NonEmpty (#145)