Laws

object Laws
class Object
trait Matchable
class Any
Laws.type

Type members

Types

type Law1[-Caps[_]] = Law1[Caps]
type Law1ZIO[-Caps[_]] = Law1ZIO[Caps, Any]
type Law2[-Caps[_]] = Law2[Caps]
type Law2ZIO[-Caps[_]] = Law2ZIO[Caps, Any]
type Law3[-Caps[_]] = Law3[Caps]
type Law3ZIO[-Caps[_]] = Law3ZIO[Caps, Any]