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

RefLaws

dev.tauri.choam.laws.RefLaws
See theRefLaws companion object
sealed trait RefLaws

Attributes

Companion
object
Source
RefLaws.scala
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def equalsItself[A](r: Ref[A]): IsEq[Boolean]

Attributes

Source
RefLaws.scala
def hashCodeBasedOnId[A](r: Ref[A]): IsEq[Int]

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
Generated with