scalaz-core/scalaz/Forall

Forall

trait Forall[P[_]]

A universally quantified value

Companion
object
class Object
trait Matchable
class Any

Value members

Abstract methods

def apply[A]: P[A]

Concrete methods

def map[Q[_]](f: NaturalTransformation[P, Q]): Forall[Q]

Forall is an endofunctor in an endofunctor category

Forall is an endofunctor in an endofunctor category