Changelog History
-
v0.5 Changes
🛠 COMPILER ASSISTED BREAKING CHANGE: Fixed
TypeApplications
forzip1
so that @c@ comes first.📚 Documentation improvements.
-
v0.4 Changes
🛠 COMPILER ASSISTED BREAKING CHANGE: Fixed
TypeApplications
forflay1
so that @c@ comes first.COMPILER ASSISTED BREAKING CHANGE: Not exporting
GFlay'
,gflay'
,gterminal
anymore.COMPILER ASSISTED BREAKING CHANGE:
GFlay
andAll
are now type synonyms rather than classes.COMPILER ASSISTED BREAKING CHANGE:
Flayable1
is not a typeclass anymore. Now it is a type synonym forFlayable
using “quantified constraints” as implemented inData.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 aFlayable
instance for free.➕ Added
pump
,dump
,Pump
andGPump
.➕ Added
GTerminal
instance forGHC.Generics.U1
.➕ Added
Fields
,GFields
,FieldsF
andGFieldsF
.
-
v0.3 Changes
💥 BREAKING CHANGE:
zip
,zip1
andunsafeZip
now take a monadic pairing function, and returnMaybe
whereNothing
happens in the target indexes do not match.💥 BREAKING CHANGE: Remove
Record
andGRecord
.➕ Added
trivialize
.Generalized type of
trivial'
.
-
v0.2 Changes
💥 BREAKING CHANGE: The
m
parameter in inFlay
andFlayable
has been existentialized, to be chosen by the caller.💥 BREAKING CHANGE: We don't use
DefaultSignatures
forflay = gflay
anymore. This is very sad, but unfortunately type inferrence for thec
type variable in newFlayable
instances doesn't work.➕ Added
Flayable1
,trivial1
,collect1
,Terminal
,GTerminal
,zip1
,zip
,Record
,GRecord
.✂ Removed
outer
.Made compatible with GHC 8.2.2.
-
v0.1 Changes
- 🎉 Initial version.