scalaz-core/scalaz/Corepresentable

Corepresentable

abstract
class Corepresentable[F[_], X]()(implicit evidence$1: Contravariant[F])

Corepresentable functors

class Object
trait Matchable
class Any

Type members

Classlikes

trait CorepresentableLaw

Value members

Abstract methods

def corep[A](f: A => X): F[A]
def uncorep[A](f: F[A]): A => X

Concrete methods