Generated with

zio-test/zio.test/zio.test.laws/ZLawsF2

ZLawsF2

zio.test.laws.ZLawsF2

object ZLawsF2

Attributes

Graph
Supertypes: class Object

trait Matchable

class Any
Self type: ZLawsF2.type

Members list

Type members

Classlikes

ZLawsF2 for Divariant type constructors.

ZLawsF2 for Divariant type constructors.

Attributes

Companion: object
Supertypes: class Object

trait Matchable

class Any
Known subtypes: class ComposeLaw[CapsBothF, Caps]

class Law1[CapsBothF, CapsLeft, CapsRight]
Self type: Divariant[CapsF, CapsLeft, CapsRight, R]

Attributes

Companion: class
Supertypes: class Object

trait Matchable

class Any
Self type: Divariant.type

In this article

Generated with