Bi-Kleisli category is a category defined by a comonad and a monad and a distributive laws of them.
For precise definition, refer to:
In Haskell, there is also an implementation, Control.Arrow.BiKleisli
scalaVersion:=2.9.1 resolvers += "Scala Tools Snapshots" at "http://scala-tools.org/repo-snapshots/" libraryDependencies += "org.scalaz" %% "scalaz-core" % "6.0.2"
You can browse source codes generated by Scala X-ray.
You can clone the project with Git by running:
$ git clone git://github.com/everpeace/scala-bikleisli
Apache Licence
Shingo Omura (everpeace@gmail.com)
Shingo Omura (everpeace@gmail.com)