Proptics law/proptics.law/WanderLaws

WanderLaws

trait WanderLaws[F[_, _]]
Companion:
object
class Object
trait Matchable
class Any

Implicits

Implicits

implicit def F: Wander[F]