Io Ts Versions Save

• 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 [email protected] (@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
  • collect all errors while decoding, closes #449 (@gcanti)