Packages

c

scalaz

Corepresentable

abstract class Corepresentable[F[_], X] extends AnyRef

Corepresentable functors

Source
Representable.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Corepresentable
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new Corepresentable()(implicit arg0: Contravariant[F])

Type Members

  1. trait CorepresentableLaw extends AnyRef

Abstract Value Members

  1. abstract def corep[A](f: (A) => X): F[A]
  2. abstract def uncorep[A](f: F[A]): (A) => X

Concrete Value Members

  1. def corepresentableLaw: CorepresentableLaw