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

TestInstances

dev.tauri.choam.laws.TestInstances
trait TestInstances

Attributes

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

Members list

Value members

Abstract methods

def mcasImpl: Mcas

Attributes

Source
TestInstances.scala

Implicits

Implicits

implicit def arbAxn[B](implicit arbB: Arbitrary[B]): Arbitrary[Axn[B]]

Attributes

Source
TestInstances.scala
implicit def arbIor[A, B](implicit arbA: Arbitrary[A], arbB: Arbitrary[B]): Arbitrary[Ior[A, B]]

Attributes

Source
TestInstances.scala
implicit def arbRef[A](implicit arbA: Arbitrary[A]): Arbitrary[Ref[A]]

Attributes

Source
TestInstances.scala
implicit def cogenIor[A, B](implicit cogA: Cogen[A], cogB: Cogen[B]): Cogen[Ior[A, B]]

Attributes

Source
TestInstances.scala
implicit def cogenRef[A]: Cogen[Ref[A]]

Attributes

Source
TestInstances.scala
implicit def testingEqAxn[A](implicit equA: Eq[A]): Eq[Axn[A]]

Attributes

Source
TestInstances.scala

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)
Source
TestInstances.scala
implicit def testingEqRxn[A, B](implicit arbA: Arbitrary[A], equB: Eq[B]): Eq[Rxn[A, B]]

Attributes

Inherited from:
TestInstancesLowPrio0 (hidden)
Source
TestInstances.scala
Generated with