non / alleycats Goto Github PK

Seems we had dropped it in alleycats since we weren't publishing 2.10 snapshots for Cats. Since (I think) we have a 2.10 jar published for Cats 0.1.2, we can perhaps re-instate 2.10 support here? :-)

Welcome to the Ammonite Repl 0.5.2
(Scala 2.11.7 Java 1.8._51)
@ load.ivy("org.typelevel" %% "alleycats-core" % "0.1.3")
@ import alleycats._
import alleycats._
@ import alleycats.std.all._
import alleycats.std.all._
@ implicitly[EmptyK[Option]]
Compilation Failed
Main.scala:74: could not find implicit value for parameter e: alleycats.EmptyK[Option]
implicitly[EmptyK[Option]]
          ^

However, import alleycats.std.OptionInstances._ works fine, suggesting issue may be with https://github.com/milessabin/export-hook

When should we do this?

Also, should we sync up alleycats version numbers with Cats'? If so, we should start with 0.1.2.

Alleycats being a separate module of cats, is it possible to move to the typelevel github org? It's already published under typelevel.org, But having it under a different github org repo just seems not as "official" as other separate modules of cats like cats-mtl and cats-effects( I am raising the same issue in mouse), and thus hurts its popularity, which is a shame. @non WDYT?

Mirror of https://github.com/non/cats/issues/589

They'd be useful for OptionT[Future, _].{getOrElse, getOrElseT}

Requires export-hook in Cats
Alleycats code: https://github.com/milessabin/alleycats/blob/master/core/src/main/scala/alleycats/std/try.scala#L45

Cats Issue: https://github.com/non/cats/issues/433

Shouldn't this method align with pure in Applicative?

It seems like alleycats depends on alleycats-tests which is not published. This means our instructions in the README are wrong. You can depend on alleycats-core (or presumably alleycats-laws) and have things work fine though.

We should fix the README, and also fix the SBT build.

As detailed typelevel/cats#277 (comment), I would like Foldable[Iterable] to fold over Map.valuesand IIUC Alleycats is the designated place for these kinds of things.

Im going to work on a PR now. One aspect that may surprise is that, in order to leverage the investment in Foldable laws within cats, it seems I want to alleycats test module to depend on cats laws (actually seems that dependency already present, via alleycats-laws).

I was intrigued by the discussion of parametric reasoning for Sets, but the link with the name 'parametricity' doesn't go anywhere.