choam-laws
choam-laws
API
dev.tauri.choam.laws
AsyncReactiveLaws
AsyncReactiveLaws
ReactiveLaws
ReactiveLaws
RefLaws
RxnLaws
TestInstances
dev.tauri.choam.laws.discipline
AsyncReactiveLawTests
AsyncReactiveLawTests
ReactiveLawTests
ReactiveLawTests
RefLawTests
RefLawTests
RxnLawTests
choam-laws
/
dev.tauri.choam.laws
/
TestInstances
TestInstances
dev.tauri.choam.laws.TestInstances
trait
TestInstances
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Self type
TestInstances
Clear all
Members list
Concise view
Value members
Abstract methods
def
mcasImpl
:
Mcas
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)