ComposeLaw
trait ComposeLaw
Value members
Concrete methods
def associative[A, B, C, D](ab: A =>: B, bc: B =>: C, cd: C =>: D)(implicit E: Equal[A =>: D]): Boolean
compose
is associative.
compose
is associative.
compose
is associative.
compose
is associative.