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

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