| Safe Haskell | Safe | 
|---|---|
| Language | Haskell2010 | 
Examples.TypedEncoding
Contents
- Overview Examples
 - Conversions between encodings
 - Adding new encodings, error handling
 - Examples of "do-" encodings that perform some string transformation such as title-casing
 - Converting other types to and from encoded strings
 - Modifying encoded payload
 - a more dependently typed alternative to 
CheckedEnc