scalaz-core/scalaz/Divide

Divide

trait Divide[F[_]] extends Contravariant[F]

Divide is the contravariant analogue of scalaz.Apply

See also
Companion
object
trait Contravariant[F]
class Object
trait Matchable
class Any
trait Divisible[F]
trait Decidable[F]

Type members

Classlikes

trait DivideLaw extends ContravariantLaw

Inherited classlikes

trait ContravariantLaw
Inherited from
Contravariant
trait InvariantFunctorLaw
Inherited from
InvariantFunctor

Value members

Abstract methods

def divide2[A1, A2, Z](a1: => F[A1], a2: => F[A2])(f: Z => (A1, A2)): F[Z]

Concrete methods

final
def divide[A, B, C](fa: => F[A], fb: => F[B])(f: C => (A, B)): F[C]
final
def divide1[A1, Z](a1: F[A1])(f: Z => A1): F[Z]
def divide3[A1, A2, A3, Z](a1: => F[A1], a2: => F[A2], a3: => F[A3])(f: Z => (A1, A2, A3)): F[Z]
def divide4[A1, A2, A3, A4, Z](a1: => F[A1], a2: => F[A2], a3: => F[A3], a4: => F[A4])(f: Z => (A1, A2, A3, A4)): F[Z]
final
def dividing1[A1, Z](f: Z => A1)(implicit a1: F[A1]): F[Z]
final
def dividing2[A1, A2, Z](f: Z => (A1, A2))(implicit a1: F[A1], a2: F[A2]): F[Z]
final
def dividing3[A1, A2, A3, Z](f: Z => (A1, A2, A3))(implicit a1: F[A1], a2: F[A2], a3: F[A3]): F[Z]
final
def dividing4[A1, A2, A3, A4, Z](f: Z => (A1, A2, A3, A4))(implicit a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4]): F[Z]
def tuple2[A1, A2](a1: => F[A1], a2: => F[A2]): F[(A1, A2)]

Inherited methods

def compose[G[_]](implicit G0: Contravariant[G]): Functor[[α] =>> F[G[α]]]

The composition of Contravariant F and G, [x]F[G[x]], is covariant.

The composition of Contravariant F and G, [x]F[G[x]], is covariant.

Inherited from
Contravariant
def contramap[A, B](r: F[A])(f: B => A): F[B]

Transform A.

Transform A.

Note

contramap(r)(identity) = r

Inherited from
Contravariant
def icompose[G[_]](implicit G0: Functor[G]): Contravariant[[α] =>> F[G[α]]]

The composition of Contravariant F and Functor G, [x]F[G[x]], is contravariant.

The composition of Contravariant F and Functor G, [x]F[G[x]], is contravariant.

Inherited from
Contravariant
def narrow[A, B](fa: F[A])(implicit ev: Liskov[B, A]): F[B]
Inherited from
Contravariant
def product[G[_]](implicit G0: Contravariant[G]): Contravariant[[α] =>> (F[α], G[α])]

The product of Contravariant F and G, [x](F[x], G[x]]), is contravariant.

The product of Contravariant F and G, [x](F[x], G[x]]), is contravariant.

Inherited from
Contravariant
def xmap[A, B](fa: F[A], f: A => B, g: B => A): F[B]
Inherited from
Contravariant
def xmapb[A, B](ma: F[A])(b: Bijection[A, B]): F[B]

Converts ma to a value of type F[B] using the provided bijection.

Converts ma to a value of type F[B] using the provided bijection.

Inherited from
InvariantFunctor
def xmapi[A, B](ma: F[A])(iso: IsoSet[A, B]): F[B]

Converts ma to a value of type F[B] using the provided isomorphism.

Converts ma to a value of type F[B] using the provided isomorphism.

Inherited from
InvariantFunctor

Concrete fields

Inherited fields