New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fixed the order of type arguments to correspond to Distributive methods #18

Merged

RyanGlScott merged 2 commits into ekmett:master from Icelandjack:typeapp

Aug 5, 2016

Contributor

Icelandjack commented Aug 5, 2016

The parent type class is the first argument of methods, make cotraverse and comapM follow that example:

distribute @(Backwards _) :: 
  (Distributive t, Functor f) => f (Backwards t a) -> Backwards t (f a)

cotraverse @(Backwards _) :: 
  (Distributive t, Functor f) => (f a -> b) -> f (Backwards t a) -> Backwards t b

comapM @(Backwards _) :: 
  (Distributive t, Monad m) => (m a -> b) -> m (Backwards t a) -> Backwards t b

Icelandjack added 2 commits

August 5, 2016 20:34


          Fixed the order of type arguments, now corresponds to Distributive me…

d6c2f7f

…thods


          remove ScopedTypeVariables

67138d3

RyanGlScott merged commit 8cc6891 into ekmett:master

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment