root/scalaz/Comonad/ComonadLaws

ComonadLaws

trait ComonadLaws extends CobindLaws
class Object
trait Matchable
class Any

Value members

Concrete methods

def cobindLeftIdentity[A](fa: F[A])(implicit F: Equal[F[A]]): Boolean
def cobindRightIdentity[A, B](fa: F[A], f: F[A] => B)(implicit F: Equal[B]): Boolean

Inherited methods

def cobindAssociative[A, B, C, D](fa: F[A], f: F[A] => B, g: F[B] => C, h: F[C] => D)(implicit F: Equal[D]): Boolean
Inherited from
CobindLaws