# Changelog for typed-encoding


## Unreleased changes

## 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