See the BSD3 LICENSE
file to learn about the legal terms and conditions for this library.
Find documentation for this library in the
Flay module.
You can build this library with Nix by running
nix-build on the top level of this module. nix-shell works as well.
Changes
Version 0.4
COMPILER ASSISTED BREAKING CHANGE: Fixed TypeApplications for flay1 so
that @c@ comes first.
COMPILER ASSISTED BREAKING CHANGE: Not exporting GFlay', gflay',
gterminal anymore.
COMPILER ASSISTED BREAKING CHANGE: GFlay and All are now type synonyms
rather than classes.
COMPILER ASSISTED BREAKING CHANGE: Flayable1 is not a typeclass anymore.
Now it is a type synonym for Flayable using “quantified constraints” as
implemented in Data.Constraint.Forall. Accordingly, flay1 is not a
typeclass method anymore.
Generic types parametrized by a type constructor who have all of their
immediate children fields using said type constructor get a Flayable
instance for free.
Added pump, dump, Pump and GPump.
Added GTerminal instance for GHC.Generics.U1.
Added Fields, GFields, FieldsF and GFieldsF.
Version 0.3
BREAKING CHANGE: zip, zip1 and unsafeZip now take a monadic pairing function, and return
Maybe where Nothing happens in the target indexes do not match.
BREAKING CHANGE: Remove Record and GRecord.
Added trivialize.
Generalized type of trivial'.
Version 0.2
BREAKING CHANGE: The m parameter in in Flay and Flayable has been
existentialized, to be chosen by the caller.
BREAKING CHANGE: We don’t use DefaultSignatures for flay = gflay anymore.
This is very sad, but unfortunately type inferrence for the c type variable
in new Flayable instances doesn’t work.
