choam-laws
choam-laws
API
dev.tauri.choam.laws
discipline
AsyncReactiveLawTests
AsyncReactiveLawTests
ReactiveLawTests
ReactiveLawTests
RefLawTests
RefLawTests
RxnLawTests
AsyncReactiveLaws
AsyncReactiveLaws
ReactiveLaws
ReactiveLaws
RefLaws
RxnLaws
TestInstances
choam-laws
/
dev.tauri.choam.laws
/
RefLaws
RefLaws
dev.tauri.choam.laws.RefLaws
trait
RefLaws
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Members list
Clear all
Value members
Concrete methods
def
equalsItself
[
A
](
r
:
Ref
[
A
]):
IsEq
[
Boolean
]
def
orderConsistentWithIdentity
[
A
](
x
:
Ref
[
A
],
y
:
Ref
[
A
]):
IsEq
[
Boolean
]
def
uniqueIdsDifferentType
[
A
,
B
](
x
:
Ref
[
A
],
y
:
Ref
[
B
]):
IsEq
[
Boolean
]
def
uniqueIdsSameType
[
A
](
x
:
Ref
[
A
],
y
:
Ref
[
A
]):
IsEq
[
Boolean
]
def
updWithRetIsUpd
[
A
,
B
,
C
](
x
:
Ref
[
A
],
f
:
A
=>
A
,
g
:
B
=>
C
):
IsEq
[
Rxn
[
B
,
C
]]
In this article
Attributes
Members list
Value members
Concrete methods