barbies v1.0.0.0 Release Notes
Release Date: 2018-09-29 // over 5 years ago-
Replaced
ConstraintsOf
inConstraintsB
byAllB
, which allows constraints to be given ona
instead of onf a
. TheClassF
class lets us specify constraints onf a
by doingAllB (ClassF c f) b
.ConstraintsOf
becomes then a type alias. Credit goes to Csongor Kiss.ConstraintsOf
was ultimately deprecated in favour ofAllBF
, which is shorter and more consistent withAllB
.Renamed
ConstraintsB(adjProof)
toConstraintsB(baddDicts)
.Renamed
ProofB(bproof)
toProductBC(bdicts)
.Changed the way
Wear
works: now wear-types need to have an extra type parameter that controls whether they areBare
orCovered
. This let us remove all the "magic" that was involved, in the sense that one couldn't have instances ofFunctorB
, etc, for wear-types wihtout usingunsafeCoerce
(this was true also for handwritten instances).Added
bsequence'
, a frequent specialisation ofbsequence
.Added
bfoldMap
.Added
buniqC
andbmempty
.Improved the internal instance derivation mechanism. We no longer need
unsafeCoerce
and the code should be in general indistinguishible from hand-written instances (not currently verified).Fixed support for barbie-types that have additional type parameters (#5).