Proptics law/proptics.law/ClosedLaws

ClosedLaws

object ClosedLaws
Companion:
class
class Object
trait Matchable
class Any

Value members

Concrete methods

def apply[F[_, _]](implicit ev: Closed[F]): ClosedLaws[F]