scalaz-core/scalaz/Corepresentable/CorepresentableLaw

CorepresentableLaw

trait CorepresentableLaw
class Object
trait Matchable
class Any

Value members

Concrete methods

def corepUncorep[A](f: F[A])(implicit E: Equal[F[A]]): Boolean
def uncorepCorep[A](f: A => X, a: A)(implicit E: Equal[X]): Boolean