zio-test
API
Generated with
zio-test/zio.test.laws/ZLaws

ZLaws

zio.test.laws.ZLaws$
See theZLaws companion class
object ZLaws

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
ZLaws.type

Members list

Concise view

Type members

Classlikes

abstract class Law1[-Caps[_]](label: String) extends ZLaws[Caps, Any]

Constructs a law from a pure function taking a single parameter.

Constructs a law from a pure function taking a single parameter.

Attributes

Graph
Supertypes
class ZLaws[Caps, Any]
class Object
trait Matchable
class Any
Self type
Law1[Caps]
abstract class Law1ZIO[-Caps[_], -R](label: String) extends ZLaws[Caps, R]

Constructs a law from an effectual function taking a single parameter.

Constructs a law from an effectual function taking a single parameter.

Attributes

Graph
Supertypes
class ZLaws[Caps, R]
class Object
trait Matchable
class Any
Self type
Law1ZIO[Caps, R]
abstract class Law2[-Caps[_]](label: String) extends ZLaws[Caps, Any]

Constructs a law from a pure function taking two parameters.

Constructs a law from a pure function taking two parameters.

Attributes

Graph
Supertypes
class ZLaws[Caps, Any]
class Object
trait Matchable
class Any
Self type
Law2[Caps]
abstract class Law2ZIO[-Caps[_], -R](label: String) extends ZLaws[Caps, R]

Constructs a law from an effectual function taking two parameters.

Constructs a law from an effectual function taking two parameters.

Attributes

Graph
Supertypes
class ZLaws[Caps, R]
class Object
trait Matchable
class Any
Self type
Law2ZIO[Caps, R]
abstract class Law3[-Caps[_]](label: String) extends ZLaws[Caps, Any]

Constructs a law from a pure function taking three parameters.

Constructs a law from a pure function taking three parameters.

Attributes

Graph
Supertypes
class ZLaws[Caps, Any]
class Object
trait Matchable
class Any
Self type
Law3[Caps]
abstract class Law3ZIO[-Caps[_], -R](label: String) extends ZLaws[Caps, R]

Constructs a law from an effectual function taking three parameters.

Constructs a law from an effectual function taking three parameters.

Attributes

Graph
Supertypes
class ZLaws[Caps, R]
class Object
trait Matchable
class Any
Self type
Law3ZIO[Caps, R]
Generated with