ReevOutBranchResult

rescala.fullmv.NotificationBranchResult.ReevOutBranchResult
See theReevOutBranchResult companion trait

Attributes

Companion
trait
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type

Members list

Type members

Classlikes

case class NotifyAndNonReadySuccessor[T, R](out: Set[R], succTxn: T) extends ReevOutBranchResult[T, R]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ReevOutBranchResult[T, R]
class Object
trait Matchable
class Any
Show all
case class NotifyAndReevaluationReadySuccessor[T, R](out: Set[R], succTxn: T) extends ReevOutBranchResult[T, R]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ReevOutBranchResult[T, R]
class Object
trait Matchable
class Any
Show all
case class PureNotifyOnly[R](out: Set[R]) extends ReevOutBranchResult[Nothing, R]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ReevOutBranchResult[Nothing, R]
trait NotificationBranchResult[Nothing, R]
class Object
trait Matchable
class Any
Show all

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror

The name of the type

The name of the type

Attributes

Inherited from:
Mirror