Changelog of @hackage/row-types 0.4.0.0

0.4.0.0 [2020-05-20]

Renamed toNative to toNativeGeneral and toNativeExact to toNative for records and likewise for fromNative for variants.
Added a type family NativeRow which, when given any generic type that can go through fromNative, is equal to the row-type of the resulting record/variant. Note that NativeRow is defined separately (and differently!) for records vs variants, so it is exported at the Data.Row.Records/Variants level but not at Data.Row.
Added coerceRec and coerceVar to coerce the row-types of records and variants respectively.
Exposed BiForall in Data.Row, Data.Row.Records, and Data.Row.Variants
(Internal) Rewrote internal Generic code to use an associated type family instead of a standalone one.

Note: GHC 8.2 and earlier are no longer supported in row-types 0.4.0.0.

Added "native" classes as exports for Records and Variants (e.g., ToNative, FromNative)
Added more example hs files.

Added HasField and AsConstructor instances (from generic-lens) for Rec and Var respectively.
Added record-overwrite function .//.
Added Generic instances for Rec and Var.
Added mapHas entailment connecting Map f r .! l to r .! l.
Changed Forall2 to BiForall.
- Added BiConstraint type class for use with BiForall.
Added Ap type family that functions as ap over rows using zipping.
- Added mapF to map a function over a record with an Ap row.
Added toDynamicMap and fromDynamicMap as functions to convert between Recs and HashMap Text Dynamics.
Added toNativeExact to convert a Rec to a native Haskell type without losing any fields.
Added toNative, fromNative, and fromNativeExact for Vars.
Added unSingleton for Vars.
- Removed unSingleton from Data.Row export list.
Tightened the type signatures of focus (for both Rec and Var) to improve type inference when using focus in lens-like situations.

Update the Show instance for Rec to render valid code.
Add toNative and fromNative functions for records to easily convert between Haskell records and row-types records.
Make type families in Data.Row.Internal polykinded (thanks James Yu!)

Bug Fix: The type of update for both Rec and Var now enforce the newly inserted type is correct.
New: Add restrict and split for Vars.
- Removed restrict from Data.Row export list.
New: Added support for universally quantified rows: mapForall and uniqueMap.
Added very simple test suite.