Skip to content

Conversation

@mpilquist
Copy link
Contributor

This PR adds a Scalaz 7 version of InvariantFunctor from Scalaz 6.

Lens, PLens, StoreT, StateT do not have InvariantFunctor instances, although in general they could.

Also, note that Bijection[A, B] is redundant with IsoSet[A, B].

@pthariensflame
Copy link
Contributor

Why is InvariantFunctor not a supertype of Functor and Contravariant?

@larsrh
Copy link
Contributor

larsrh commented May 2, 2013

@pthariensflame That would require fiddling with GenTypeClass. I can do that.

larsrh added a commit that referenced this pull request Jun 2, 2013
@larsrh larsrh merged commit f2ee752 into scalaz:scalaz-seven Jun 2, 2013
@larsrh
Copy link
Contributor

larsrh commented Jun 2, 2013

I incorporated your patch, and made Functor and Contravariant extend InvariantFunctor. Thanks!

@mpilquist mpilquist deleted the invariant-functor branch March 28, 2014 01:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants