First milestone of Scalaz 7.1.0 released!

[Lars Hupel]

Just staged on Sonatype:

"org.scalaz" %% "scalaz-core" % "7.1.0-M1"

for Scala binary versions 2.9.3 and 2.10.

This is a milestone release for the upcoming 7.1.x series. It is *not*
binary compatible to 7.0.x.

This version features an impressive list of changes. See the full
changelog at [0].

Some of the most notable new features include:

* new `InvariantFunctor` type class
* new `OneAnd` data type which generalizes `NonEmptyList`
* new `Endomorphic` data type which generalizes `Endo`
* new `to` method on `Foldable`

And of course, lots of other fixes and additions! Big thanks to the 27
contributors who made this release happen.

Please have a look at the list of incompatible changes, too. Except for
the change in variance annotations [1], those are relatively small.

***

The full list of published submodules is available with this Nexus search:

<https://oss.sonatype.org/index.html#nexus-search;gav~org.scalaz~~7.1.0-M1~~>

***

[0] <https://github.com/scalaz/scalaz/wiki/7.1.0-M1>
[1] <https://groups.google.com/d/msg/scalaz/-OEK9DhyB_Q/kyG5XyKmmL0J>

[Runar Bjarnason]

Silly question, but isn't Cofree a generalization of NonEmptyList? Are there any uses for OneAnd that are not cofree?

Runar

--
You received this message because you are subscribed to the Google Groups "scalaz" group.
To unsubscribe from this group and stop receiving emails from it, send an email to scalaz+un...@googlegroups.com.
To post to this group, send email to sca...@googlegroups.com.
Visit this group at http://groups.google.com/group/scalaz.
For more options, visit https://groups.google.com/groups/opt_out.

[Stephen Compall]

Runar Bjarnason <runar...@gmail.com> wrote:
>Silly question, but isn't Cofree a generalization of NonEmptyList?

Cofree of Option, and generalization in a different vector from OneAnd.

If you have List in hand, how do you find out that you need Option? What is it for Vector, preserving operations in similar times?

More generally, can you get the F for any Functor G which forms a OneAnd G equivalent by applying Cofree to F?

--
Stephen Compall
If anyone in the MSA is online, you should watch this flythrough.