choam-docs
API
Generated with
choam-docs/dev.tauri.choam.laws/TestInstances

TestInstances

dev.tauri.choam.laws.TestInstances
trait TestInstances

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Value members

Abstract methods

Implicits

Implicits

implicit def arbAxn[B](implicit arbB: Arbitrary[B]): Arbitrary[Axn[B]]
implicit def arbIor[A, B](implicit arbA: Arbitrary[A], arbB: Arbitrary[B]): Arbitrary[Ior[A, B]]
implicit def arbRef[A](implicit arbA: Arbitrary[A]): Arbitrary[Ref[A]]
implicit def cogIor[A, B](implicit cogA: Cogen[A], cogB: Cogen[B]): Cogen[Ior[A, B]]
implicit def cogenRef[A]: Cogen[Ref[A]]
implicit def testingEqAxn[A](implicit equA: Eq[A]): Eq[Axn[A]]

Inherited implicits

implicit def arbRxn[A, B](implicit arbA: Arbitrary[A], arbB: Arbitrary[B], arbAB: Arbitrary[A => B], arbAA: Arbitrary[A => A]): Arbitrary[Rxn[A, B]]

Attributes

Inherited from:
TestInstancesLowPrio0 (hidden)
implicit def testingEqRxn[A, B](implicit arbA: Arbitrary[A], equB: Eq[B]): Eq[Rxn[A, B]]

Attributes

Inherited from:
TestInstancesLowPrio0 (hidden)
Generated with