Package

harmony

Permalink

package harmony

Visibility

Public
All

Type Members

trait BiNaturalTransformation[-F[_, _], +G[_, _]] extends AnyRef

Scalaz's BiNaturalTransformation, but refl is implicit.
trait NaturalTransformation[-F[_], +G[_]] extends AnyRef

Scalaz's NaturalTransformation, but refl is implicit.
trait ReversableBiNatTrans[-F[_, _], +G[_, _], -G0[_, _], +F0[_, _]] extends BiNaturalTransformation[F, G]
trait ReversableNatTrans[-F[_], +G[_], -G0[_], +F0[_]] extends NaturalTransformation[F, G]

G0
contravariant G
F0
covariant F
trait ToCats extends Data with TypeClass
trait ToScalaz extends Data with TypeClass

Value Members

object BiNaturalTransformation
object Everyone extends ToCats with ToScalaz
object NaturalTransformation
object ReversableBiNatTrans
object ReversableNatTrans
object ToCats extends ToCats
object ToScalaz extends ToScalaz
package tocats
package toscalaz

Ungrouped