# Changelog for typed-encoding
## Unreleased changes
## Anticipated future breaking changes
- `Data.TypedEncoding.Internal.Class.IsStringR` expected to be be changed / replaced
## 0.2.1.0
- new functionality:
- bounded alpha-numeric restriction encodings (`r-ban`)
- boolean algebra of encodings
- minor improvements
- dropped IsString contraint from instances in `Data.TypedEncoding.Instances.Restriction.Common`
- added forall annotation to ecodeAll 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