scalaz-core/scalaz/Profunctor/ProfunctorLaw

ProfunctorLaw

trait ProfunctorLaw
class Object
trait Matchable
class Any

Value members

Concrete methods

def composite[A, B, C, D, E, F](gad: A =>: D, fac: C => B, fba: B => A, fde: D => E, fef: E => F)(implicit E: Equal[C =>: F]): Boolean
def identity[A, B](gab: A =>: B)(implicit E: Equal[A =>: B]): Boolean