p
harmony
package harmony
Ordering
- Alphabetic
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