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
/
RefLaws
RefLaws
dev.tauri.choam.laws.RefLaws
trait
RefLaws
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Clear all
Members list
Concise view
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
]]