io-ts

• Bug Fix
  • allow Error to be decoded with UnknownRecord, #664 (@mlegenhausen)

• Bug Fix
  • fix typescript@4.8 errors, closes #656, closes #647 (@gcanti)

• Bug Fix
  • Don't throw a TypeError when trying to decode a sum value that contains a dangerous string, #650 (@thewilkybarkid)

Experimental modules require fp-ts@^2.5.0.

• Experimental
  • Codec
    • add readonly combinator (@gcanti)
  • Encoder
    • add readonly combinator (@gcanti)

• Experimental
  • Schemable
    • (*) add readonly combinator (@gcanti)
    • (*) add struct combinator (@gcanti)
  • deprecate type in favour of struct (@gcanti)
  • deprecate fromType in favour of fromStruct (@gcanti)

(*) breaking change

• Experimental
  • Guard
    • relax UnknownRecord check, closes #559 (@waynevanson)

• Bug Fix
  • improve internal mergeAll function, closes #532 (@gcanti)

• Experimental
  • (*) make sum safer, closes #523 (@gcanti)

(*) breaking change

In case of non-string tag values, the respective key must be enclosed in brackets

export const MySum: D.Decoder<
  unknown,
  | {
      type: 1 // non-`string` tag value
      a: string
    }
  | {
      type: 2 // non-`string` tag value
      b: number
    }
> = D.sum('type')({
  [1]: D.type({ type: D.literal(1), a: D.string }),
  [2]: D.type({ type: D.literal(2), b: D.number })
})

• Experimental
  • Decoder
    • make toForest stack-safe, #520 (@safareli)

• Polish
  • expose modules without lib/es6 prefix, #507 (@osdiab)

• Polish
  • remove Object.freeze calls, closes #497 (@gcanti)
• Experimental
  • DecodeError
    • add Wrap member (@gcanti)
  • Decoder
    • add withMessage combinator (@gcanti)
  • TaskDecoder
    • add withMessage combinator (@gcanti)

• Experimental
  • (*) remove KleisliDecoder module (@gcanti)
  • (*) remove KleisliTaskDecoder module (@gcanti)
  • (*) remove JsonCodec module (@gcanti)
  • (*) remove JsonEncoder module (@gcanti)
  • Codec
    • (*) make Codec more general by adding a I type parameter (@gcanti)
    • add fromType function (@gcanti)
    • add fromPartial function (@gcanti)
    • add fromArray function (@gcanti)
    • add fromRecord function (@gcanti)
    • add fromTuple function (@gcanti)
    • add fromSum function (@gcanti)
    • add compose function (@gcanti)
  • Decoder
    • (*) make Decoder more general by adding a I type parameter (@gcanti)
    • add fromRefinement function (@gcanti)
    • change fromGuard signature (@gcanti)
    • add fromType function (@gcanti)
    • add fromPartial function (@gcanti)
    • add fromArray function (@gcanti)
    • add fromRecord function (@gcanti)
    • add fromTuple function (@gcanti)
    • add fromSum function (@gcanti)
    • add compose function (@gcanti)
    • add id function (@gcanti)
    • (*) rename functorDecoder instance to Functor (@gcanti)
    • (*) rename altDecoder instance to Alt (@gcanti)
    • (*) rename and split schemableDecoder (@gcanti)
    • add Category instance (@gcanti)
    • add InputOf type (@gcanti)
  • TaskDecoder
    • (*) make TaskDecoder more general by adding a I type parameter (@gcanti)
    • add fromRefinement function (@gcanti)
    • change fromDecoder signature (@gcanti)
    • add fromType function (@gcanti)
    • add fromPartial function (@gcanti)
    • add fromArray function (@gcanti)
    • add fromRecord function (@gcanti)
    • add fromTuple function (@gcanti)
    • add fromSum function (@gcanti)
    • add compose function (@gcanti)
    • add id function (@gcanti)
    • (*) rename functorTaskDecoder instance to Functor (@gcanti)
    • (*) rename altTaskDecoder instance to Alt (@gcanti)
    • (*) rename and split schemableTaskDecoder (@gcanti)
    • add Category instance (@gcanti)
    • add InputOf type (@gcanti)
  • Guard
    • (*) make Guard more general by adding a I type parameter (@gcanti)
    • (*) rename schemableGuard (@gcanti)
    • add InputOf type (@gcanti)
    • add alt function (@gcanti)
    • add zero function (@gcanti)
    • add compose function (@gcanti)
    • add id function (@gcanti)
  • Codec
    • (*) rename invariantCodec to Invariant (@gcanti)
  • Encoder
    • (*) rename contravariantEncoder to Contravariant (@gcanti)
    • (*) rename categoryEncoder to Category (@gcanti)
  • Eq
    • (*) rename and split schemableEq (@gcanti)
  • Kleisli
    • add id (@gcanti)
    • rename type to fromType (@gcanti)
    • rename partial to fromPartial (@gcanti)
    • rename array to fromArray (@gcanti)
    • rename record to fromRecord (@gcanti)
    • rename tuple to fromTuple (@gcanti)
    • rename sum to fromSum (@gcanti)
  • Schemable
    • add Schemable2C, WithUnknownContainers2C, WithUnion2C, WithRefine2C (@gcanti)
  • Type
    • (*) rename and split schemableType (@gcanti)

(*) breaking change

• Experimental
  • add DecodeError module (@gcanti)
  • add FreeSemigroup module (@gcanti)
  • add TaskDecoder module (@gcanti)
  • add Kleisli module (@gcanti)
  • add KleisliDecoder module (@gcanti)
  • add KleisliTaskDecoder module (@gcanti)
  • (*) remove NaN from number instances (@gcanti)
  • (*) remove Tree module (@gcanti)
  • (*) make Json type immutable (@gcanti)
  • Decoder
    • (*) remove never (@gcanti)
    • (*) make parse pipeable and change its parser argument (@gcanti)
    • (*) change DecoderError (@gcanti)
    • (*) remove withExpected in favour of mapLeftWithInput (@gcanti)
  • Guard
    • (*) remove never (@gcanti)
  • Schemable
    • (*) better literal signature (@gcanti)
    • (*) better union signature (@gcanti)
    • (*) make intersections pipeables (@gcanti)
    • (*) make refinements pipeables (@gcanti)

(*) breaking change

• Experimental
  • Decoder
    • add support for non-string tag values to sum, closes #481 (@gcanti)
    • intersection should accumulate all errors (@gcanti)

• Experimental
  • fix type information lost from nested decoder types, #479 (@gcanti)
  • JsonEncoder
    • change id signature (@gcanti)

• Polish
  • remove the dependency on the either instance as a mean of improving tree shaking (@gcanti)

• Polish
  • use the built-in Readonly type in readonly combinator, closes #472 (@gcanti)
• Experimental
  • split instances (@gcanti)
  • add Type experimental module, #464 (@gcanti)
  • restore the O type parameter to Encoder, #469 (@gcanti)
  • add the O type parameter to Codec (@gcanti)
  • add JsonCodec experimental module (@gcanti)
  • add JsonEncoder experimental module (@gcanti)
  • Schemable
    • rename Schemable interface to Schemable1 (@gcanti)
    • rename WithUnion interface to WithUnion1 (@gcanti)
    • add Schemable interface (@gcanti)
    • add WithUnion interface (@gcanti)
    • add WithRefinement / WithRefinement1 interfaces (@gcanti)
    • add WithUnknownContainers / WithUnknownContainers1 interfaces (@gcanti)
      • move UnknownArray and UnknownRecord to WithUnknownContainers (@gcanti)
  • Schema
    • refactoring with the new Schemable interface (@gcanti)
    • add interpreter function (@gcanti)
• Internal
  • upgrade to typescript@3.9.3 (@gcanti)

• Experimental
  • add Eq module (@gcanti)
  • Codec
    • add TypeOf operator (@gcanti)
  • Decoder
    • add DecodeError interface (@gcanti)
  • Encoder
    • add TypeOf operator (@gcanti)
  • Guard
    • add TypeOf operator (@gcanti)

• Experimental
  • Decoder
    • collect all errors while decoding, closes #449 (@gcanti)

• Experimental
  • add Codec, Decoder, Encoder, Guard, Schema, Schemable, Tree modules (@gcanti)

• Polish
  • remove useless hasOwnProperty calls, closes #423 (@gcanti)

• Bug Fix
  • fix record domain handling, closes #391 (@gcanti)

• New Feature
  • add bigint codec (@mixedCase)

• Bug Fix
  • whitelist window in UnknownRecord, fix #413 (@gcanti)

• Bug Fix
  • partial shouldn't allow arrays, fix #407 (@gcanti)

• Bug Fix
  • remove getters, fix #404 (@gcanti)

• Bug Fix
  • rewrite es6 imports (@gcanti)

• Bug Fix
  • fix #397 (@gcanti)

• Bug Fix
  • fix getTags algorithm for mutually recursive codecs, closes #354 (@gcanti)

• Breaking Change
  • upgrade to fp-ts@2.x (@gcanti)
  • move fp-ts to peerDependencies (@gcanti)

• Polish
  • remove unneeded internal code (@gcanti)

• Bug Fix
  • revert 1.10.0 compatibility, fix #344 (@gcanti)

• Bug Fix
  • move fp-ts back to dependencies (@gcanti)

• Bug Fix
  • handle strict, exact and refinement codecs when optimizing tagged unions, fix #339 (@gcanti)

• New Feature
  • make io-ts compatible with both fp-ts@1.x, fp-ts@2.x (@gcanti)

• New Feature
  • union is now able to detect and optimize tagged unions (@gcanti)
• Deprecation
  • deprecate taggedUnion in favour of union (@gcanti)

output ES modules to better support tree-shaking, closes #326 (@gcanti)

• Bug Fix
  • change how types and output types are retrieved in IntersectionC and TupleC, fix #315 (@gcanti)

• Polish
  • autobind decode method (@gcanti)

• Polish
  • add stripInternal flag to tsconfig.json (@gcanti)
  • handle NaN in PathReporter (@gcanti)
  • throw if union encoding doesn't find a usable codec (@leemhenson)
• Deprecation
  • deprecate NeverType (@gcanti)
  • deprecate FunctionType (@gcanti)

• Bug Fix
  • align the runtime behavior of Exact.is with the type system, fix #288 (@gcanti)

• New Feature
  • add brand combinator (@gcanti, @lostintime)
  • add Int codec (@gcanti)
  • exact strips additional properties while decoding / encoding (@gcanti)
  • un-deprecate strict combinator, is now an alias of exact(type(...)) (@gcanti)
• Bug Fix
  • fix wrong context keys for tagged unions (@gcanti)
• Deprecation
  • deprecate refinement combinator in favour of brand (@gcanti)
  • deprecate Integer codec in favour of Int (@gcanti)
  • deprecate StrictType class (@gcanti)
  • deprecate StrictC interface (@gcanti)
• Polish
  • modify the implementation of intersection in order to support combinators that strip additional properties (@gcanti)
  • do not validate the codomain of a key of a record if its domain in invalid (@gcanti)
  • normalize missing message field in ValidationError (@gcanti)
  • fix name of recursive codec definitions (@gcanti)
  • remove unexpected validation path from partial type, closes #195 (@gcanti)
  • do not leak taggedUnion implementation when tag validation fails (@gcanti)
  • add actual value to all context entries (@gcanti)
  • exact now bails out when the value is not an UnknownRecord (@gcanti)
  • tuple should not leak the implementation (never usage) (@gcanti)
  • exact should not leak the implementation (never usage) (@gcanti)
  • use Number.isInteger in Integer implementation (@gcanti)
  • use the Flow convention to name exact codecs (@gcanti)

• Deprecation
  • deprecate any (@gcanti)
  • deprecate object (@gcanti)
  • deprecate Dictionary in favour of UnknownRecord (@gcanti)
  • deprecate Array in favour of UnknownArray (@gcanti)
  • deprecate dictionary in favour of record (@gcanti)

• New Feature
  • better support for custom messages, closes #148 (@gcanti)
    • add optional message field to ValidationError
    • add message argument to failure
    • PathReporter should account for the new field
  • add actual optional field to ContextEntry, closes #194 (@gcanti)
• Deprecation
  • deprecate getValidationError (@gcanti)
  • deprecate getDefaultContext (@gcanti)

• Bug Fix
  • getIndexRecord: getIndexRecord: handle conflicting tags in different positions, ref #263 (@gcanti)
• Experimental
  • added a warning to the console if a tagged union cannot be created (@gcanti)
  • revert union optimization, needs more work to make it happen (@gcanti)

• Bug Fix
  • prevent maximum call stack size exceeded when indexing recursive codecs, closes #259 (@gcanti)

• Polish
  • make isIndexableCodec more strict (@gcanti)

• Bug Fix
  • taggedUnion should handle sub unions / tagged unions correctly, closes #257 (@gcanti)
• Experimental
  • optimize union with the same algorithm used in taggedUnion (@gcanti)

Important. This version requires typescript@3.2.2+

• New Feature
  • leverage typescript@3.2.2 (@gcanti)
    • TypeC
    • PartialC
    • RecordC
    • UnionC
    • ReadonlyC
    • StrictC
    • TaggedUnionC

• Bug Fix
  • missing context info while decoding an intersection, fix #246 (@gcanti)
• Experimental
  • add intermediary interfaces, closes #165 (@gcanti)
    • NullC
    • UndefinedC
    • VoidC
    • AnyC
    • UnknownC
    • NeverC
    • StringC
    • NumberC
    • BooleanC
    • UnknownArrayC
    • UnknownRecordC
    • ObjectC
    • FunctionC
    • RefinementC
    • LiteralC
    • KeyofC
    • ArrayC
    • TypeC
    • PartialC
    • RecordC
    • UnionC
    • IntersectionC
    • TupleC
    • ReadonlyC
    • ReadonlyArrayC
    • StrictC
    • TaggedUnionC
    • ExactC
• Polishs
  • use rest elements in tuple types (typescript@3.0.1 feature) (@gcanti)
  • union should handle zero types (@gcanti)
  • intersection should handle zero / one types (@gcanti)
• Deprecation
  • deprecate clean (@gcanti)
  • deprecate alias (@gcanti)
  • deprecate PropsOf type (@gcanti)
  • deprecate Exact type (@gcanti)

• Deprecation
  • deprecate Compact type (@gcanti)

• Polish
  • remove useless module augmentation of Array (@gcanti)

• New Feature
  • add UnknownType, closes #238 (@gcanti)
• Deprecation
  • ThrowReporter is now deprecated (@gcanti)

use Compact in intersection signatures as a workaround for #234 (@sledorze)

• Polish
  • Type.prototype.pipe now allows more types as input, #231 #232 (@sledorze)