scalaz/scalaz/Representable/RepresentableLaw

RepresentableLaw

trait RepresentableLaw
class Object
trait Matchable
class Any

Value members

Concrete methods

def repUnrep[A](f: F[A])(implicit E: Equal[F[A]]): Boolean

rep compose unrep is vacuous.

rep compose unrep is vacuous.

def unrepRep[A](f: X => A, x: X)(implicit E: Equal[A]): Boolean

unrep compose rep is vacuous.

unrep compose rep is vacuous.