choam-laws
0.4.0-RC9.long-id.padcache.longmap.trcm
choam-laws
API
dev.tauri.choam.laws
discipline
AsyncReactiveLawTests
AsyncReactiveLawTests
ReactiveLawTests
ReactiveLawTests
RefLawTests
RefLawTests
RxnLawTests
RxnLawTests
AsyncReactiveLaws
AsyncReactiveLaws
ReactiveLaws
ReactiveLaws
RefLaws
RefLaws
RxnLaws
RxnLaws
TestInstances
choam-laws
/
dev.tauri.choam.laws
/
RefLaws
RefLaws
dev.tauri.choam.laws.RefLaws
See the
RefLaws
companion object
sealed
trait
RefLaws
Attributes
Companion
object
Source
RefLaws.scala
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
]
Attributes
Source
RefLaws.scala
def
orderConsistentWithIdentity
[
A
](
x
:
Ref
[
A
],
y
:
Ref
[
A
]):
IsEq
[
Boolean
]
Attributes
Source
RefLaws.scala
def
uniqueIdsDifferentType
[
A
,
B
](
x
:
Ref
[
A
],
y
:
Ref
[
B
]):
IsEq
[
Boolean
]
Attributes
Source
RefLaws.scala
def
uniqueIdsSameType
[
A
](
x
:
Ref
[
A
],
y
:
Ref
[
A
]):
IsEq
[
Boolean
]
Attributes
Source
RefLaws.scala
def
updWithRetIsUpd
[
A
,
B
,
C
](
x
:
Ref
[
A
],
f
:
A
=>
A
,
g
:
B
=>
C
):
IsEq
[
Rxn
[
B
,
C
]]
Attributes
Source
RefLaws.scala
In this article
Attributes
Members list
Value members
Concrete methods