CalculusLike

rescala.scheduler.CalculusLike
trait CalculusLike

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Type members

Classlikes

Attributes

Supertypes
trait Scheduler[State]
class Object
trait Matchable
class Any
Show all
Self type
FScheduler.type
case class FTransaction(initializer: Initializer[State]) extends Transaction[State]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class Propagation(active: Set[of[State]], processed: Set[of[State]], knownReactives: Set[of[State]], transaction: FTransaction)

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object Reevaluate

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Reevaluate.type
final class SimpleCreation() extends Initializer[State]

The main task of the initializer is to handle creation of reactives, especially during an ongoing propagation. The formalization does not support this, to keep the complexity of the proofs in check.

The main task of the initializer is to handle creation of reactives, especially during an ongoing propagation. The formalization does not support this, to keep the complexity of the proofs in check.

Attributes

Supertypes
class Object
trait Matchable
class Any
class StoreValue[V](var value: V)

The formalization uses a per device store mapping reactives to their inputs, values, and operator. The operator is already handled by the common implementation, so we keep the value and inputs. The store mapping does not exist as a single object, but instead each reactive has this state.

The formalization uses a per device store mapping reactives to their inputs, values, and operator. The operator is already handled by the common implementation, so we keep the value and inputs. The store mapping does not exist as a single object, but instead each reactive has this state.

Attributes

Supertypes
class Object
trait Matchable
class Any

Types

type State[V] = StoreValue[V]