Changelog of @hackage/typed-encoding 0.3.0.2

Changelog for typed-encoding

Anticipated future breaking changes

  • Data.TypedEncoding.Internal.Class.IsStringR expected to be be changed / replaced
  • (post 0.3) "enc-B64" will be moved to a different package (more distant goal)
  • Improved constrains in Data.TypedEncoding.Conv modules

0.3.0.2

  • Added documentation to Data.TypedEncoding.Conv outlining current limitations, challenges of conversions.
  • Improved readme

0.3.0.1

  • Documentation changes / corrections
  • New doctest tests
  • Haddock coverage and @since flags

0.3

  • Breaking: Numerous changes on the implementation side, new version should be largely compatible on the call site except for small differences in constraints and order for type variables (if -XTypeApplications is used). See v3 migration guide.

    • EncodeFAll, DecodeFAll, RecreateFAll, EncodeF, DecodeF, RecreateF replaced with EncodeAll, DecodeAll, ValidateAll, Encode, Decode, Validate.
    • functions used to create encoding instances or encoding combinators (e.g. implEncodeP) are now more precisely typed
    • Displ String instance (used in examples, has been made consistent with Text and ByteString)
    • Modules under Data.TypedEncoding.Combinators merged into Data.TypedEncoding.Instances.
    • Modules under Data.TypedEncoding.Internal have been reorganized and moved outside of Internal. Various changes that make the library easier to navigate. for better navigation and discovery.
    • some previously exported combinators (e.g. implTranF) have moved to Data.TypedEncoding.Instances.Support.Unsafe
    • ToEncString, FromEncString have more type variables and function name but backward compatible functions have been provided.
    • Superset typeclass removed, replaced with IsSuperset type family.
    • Minor changes in forall variable order in combinators for "r-bool:" encodings.
    • Encoder type removed, replaced by Encodings.
    • checkWithValidationsEnc combinator renamed to check
    • (Considered private) MkCheckedEnc constructor became UnsafeMkCheckedEnc
    • (Considered private) MkEnc constructor became UnsafeMkEnc

  • new functionality

    • new types and typeclasses are based on both encoding name and algorithm name allowing typeclass definitions for open encodings like "r-ban:" that can contain arbitrary symbol literals.
    • new set of combinators grouped into _ (compiler decided algorithm), ' (program specifies algorithm), and algorithm name ~ encoding name categories
    • above combinator subsumes partial encoding / decoding combinators
    • EncodingSuperset class added

0.2.2

  • Next version (0.3) will have number of breaking changes, some rethinking and a lot of cleanup, this version preps for some of that (see section above)
  • Fixes
    • Conversions type safety issues
    • new and corrected approach to conversions (all old conversion functions have been deprecated)
    • corrected documentation in Data.TypedEncoding.Combinators.Restriction.BoundedAlphaNums
  • new functionality:
    • Enc versions for pack/ unpack for Text and ByteString.
    • Enc versions of decodeUtf8 / encodeUtf8
    • new and corrected approach to conversions (all old conversion functions have been deprecated)
    • IsSuperset type family with basic combinators deprecates Superset typeclass.
    • more modules exported from Data.TypedEncoding.Instances.Support for instance and combinator creation
    • more utility type families Data.TypedEncoding.Internal.Util.TypeLits
    • more utility combinators for creating encoding instances and combinators.
    • String instance added in number of places, including for "r-ASCII" encoding
    • few more support convenience functions.
  • deprecation warnings (see above)

0.2.1.0

  • new functionality:
    • bounded alpha-numeric restriction encodings (r-ban)
    • boolean algebra of encodings
  • minor improvements
    • dropped IsString constraint from instances in Data.TypedEncoding.Instances.Restriction.Common
    • added forall annotation to encodeAll and decodeAll

0.2.0.0

  • breaking:
    • Data.TypedEncoding.Instances modules reorganized
    • Data.TypedEncoding.Internal.Class modules reorganized
    • Data.TypedEncoding.Internal.Utils module renamed
    • Several TypeAnnotations friendly changes:
      • Removed polymorphic kinds in most places
      • Changed typeclass name from Subset to Superset
      • flipped type parameters on FlattenAs, HasA typeclass functions
      • Removed Proxy parameters from several methods (few methods have a '_' backward compatible version which still has them)
  • new functionality:
    • ToEncString - class allowing to convert types to Enc encoded strings
    • FromEncString - class reverses ToEncString
    • CheckedEnc untyped version of Enc containing valid encoding
    • SomeEnc existentially quantified version of Enc
    • UncheckedEnc for working with not validated encoding
    • RecreateExUnkStep constructor added to RecreateEx
    • utility IsStringR - reverse to IsString class
    • utility SymbolList class
  • docs:
    • ToEncString example

0.1.0.0

  • initial release