Proptics law/proptics.law/ChoiceLaws

ChoiceLaws

object ChoiceLaws
Companion:
class
class Object
trait Matchable
class Any

Value members

Concrete methods

def apply[F[_, _]](implicit ev: Choice[F]): ChoiceLaws[F]