LawsF2

zio.test.laws.`package`.LawsF2
object LawsF2

Attributes

Source
package.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
LawsF2.type

Members list

Type members

Classlikes

object Divariant

Attributes

Source
package.scala
Supertypes
class Object
trait Matchable
class Any
Self type
Divariant.type

Types

type Divariant[-CapsBoth[_[_, _]], -CapsLeft[_], -CapsRight[_]] = Divariant[CapsBoth, CapsLeft, CapsRight, Any]

Attributes

Source
package.scala