t

scalaz

NaturalTransformation 

Companion object NaturalTransformation

trait NaturalTransformation[F[_], G[_]] extends AnyRef

A universally quantified function, usually written as `F ~> G`, for symmetry with `A => B`.

Can be used to encode first-class functor transformations in the same way functions encode first-class concrete value morphisms; for example, `sequence` from scalaz.Traverse and `cosequence` from scalaz.Distributive give rise to ```([a]T[A[a]]) ~> ([a]A[T[a]])```, for varying `A` and `T` constraints.

Self Type
NaturalTransformation[F, G]
Source
NaturalTransformation.scala
Linear Supertypes
Known Subclasses
Ordering
1. Alphabetic
2. By Inheritance
Inherited
1. NaturalTransformation
2. AnyRef
3. Any
1. Hide All
2. Show All
Visibility
1. Public
2. All

Abstract Value Members

1. abstract def apply[A](fa: F[A]): G[A]

Concrete Value Members

1. final def !=(arg0: Any)
Definition Classes
AnyRef → Any
2. final def ##(): Int
Definition Classes
AnyRef → Any
3. final def ==(arg0: Any)
Definition Classes
AnyRef → Any
4. def andThen[H[_]](f: ~>[G, H]): ~>[F, H]
5. final def asInstanceOf[T0]: T0
Definition Classes
Any
6. def clone()
Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@native() @throws( ... )
7. def compose[E[_]](f: ~>[E, F]): ~>[E, G]
8. final def eq(arg0: AnyRef)
Definition Classes
AnyRef
9. def equals(arg0: Any)
Definition Classes
AnyRef → Any
10. def finalize(): Unit
Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
11. final def getClass(): Class[_]
Definition Classes
AnyRef → Any
Annotations
@native()
12. def hashCode(): Int
Definition Classes
AnyRef → Any
Annotations
@native()
13. final def isInstanceOf[T0]
Definition Classes
Any
14. def narrow[FF[_]](implicit ev: <~~<[FF, F]): ~>[FF, G]
15. final def ne(arg0: AnyRef)
Definition Classes
AnyRef
16. final def notify(): Unit
Definition Classes
AnyRef
Annotations
@native()
17. final def notifyAll(): Unit
Definition Classes
AnyRef
Annotations
@native()
18. def or[H[_]](hg: ~>[H, G]): ~>[[γ\$1\$]Coproduct[F, H, γ\$1\$], G]

Combines this scalaz.NaturalTransformation with another one to create one that can transform scalaz.Coproduct.

Combines this scalaz.NaturalTransformation with another one to create one that can transform scalaz.Coproduct.

The current NaturalTransformation will be used to transform the Left (`F`) value of the scalaz.Coproduct while the other one will be used to transform the Right (`H`) value.

19. final def synchronized[T0](arg0: ⇒ T0): T0
Definition Classes
AnyRef
20. def toString()
Definition Classes
AnyRef → Any
21. final def wait(): Unit
Definition Classes
AnyRef
Annotations
@throws( ... )
22. final def wait(arg0: Long, arg1: Int): Unit
Definition Classes
AnyRef
Annotations
@throws( ... )
23. final def wait(arg0: Long): Unit
Definition Classes
AnyRef
Annotations
@native() @throws( ... )
24. def widen[GG[_]](implicit ev: >~~>[GG, G]): ~>[F, GG]