search

jcpetruzza / barbies

BSD 3-Clause "New" or "Revised" License
92 stars 15 forks source link

Support instance derivation for types parametric on a barbie-type #5

Closed jcpetruzza closed 5 years ago

jcpetruzza commented 6 years ago

The following currently doesn't work:

data B b (f :: * -> *)  = B (b f)
  deriving (Generic)

instance FunctorB b => FunctorB (B b)

Of course, one can write the instances manually...

instance FunctorB b => FunctorB (B b) where
    bmap f (B bf) = B (bmap f bf)
jcpetruzza commented 5 years ago

FunctorB seems to be working now on master for this case, but not ConstraintsB

jcpetruzza commented 5 years ago

Fixed in v1.0.0.0