Unmanaged

trait Unmanaged extends NoLock

Basic implementations of propagation engines

trait NoLock
trait Core
class Object
trait Matchable
class Any
object unmanaged
object default

Type members

Inherited classlikes

Inherited from
Core
abstract
class AdmissionTicket(initializer: Initializer, declaredWrites: Set[ReSource])

Enables reading of the current value during admission. Keeps track of written sources internally.

Enables reading of the current value during admission. Keeps track of written sources internally.

Inherited from
Core
abstract
class Base[V](val state: State[V], val name: ReName)

Base implementation for reactives, with Derived for scheduling, together with a ReName and containing a State

Base implementation for reactives, with Derived for scheduling, together with a ReName and containing a State

Value Params
name

the name of the reactive, useful for debugging as it often contains positional information

state

the initial state passed by the scheduler

Inherited from
Core
@implicitNotFound(msg = "Could not find capability to create reactives. Maybe a missing import?")
final
class CreationTicket(val self: Either[Initializer, Scheduler], val rename: ReName)

Enables the creation of other reactives

Enables the creation of other reactives

Inherited from
Core

As reactives can be created during propagation, any InnerTicket can be converted to a creation ticket.

As reactives can be created during propagation, any InnerTicket can be converted to a creation ticket.

Inherited from
Core
trait Derived

A reactive value is something that can be reevaluated

A reactive value is something that can be reevaluated

Inherited from
Core
Inherited from
Core
Inherited from
Core
trait DynamicInitializerLookup[ExactInitializer <: Initializer]
Inherited from
Core
abstract
class DynamicTicket(creation: Initializer)

User facing low level API to access values in a dynamic context.

User facing low level API to access values in a dynamic context.

Inherited from
Core

Encapsulates an action changing a single source.

Encapsulates an action changing a single source.

Inherited from
Core
Inherited from
Core
class InnerTicket(val initializer: Initializer)

InnerTickets are used in Rescala to give capabilities to contexts during propagation. ReevTicket is used during reevaluation, and AdmissionTicket during the initialization.

InnerTickets are used in Rescala to give capabilities to contexts during propagation. ReevTicket is used during reevaluation, and AdmissionTicket during the initialization.

Inherited from
Core
trait Interp[+A]
Type Params
A

return type of the accessor

Inherited from
Core

Further implementation of level-based propagation based on the common propagation implementation.

Further implementation of level-based propagation based on the common propagation implementation.

Inherited from
Levelbased
class LevelState[V](ip: V)
Inherited from
Levelbased

If no InnerTicket is found, then these implicits will search for a Scheduler, creating the reactives outside of any turn.

If no InnerTicket is found, then these implicits will search for a Scheduler, creating the reactives outside of any turn.

Inherited from
Core
Inherited from
Core
trait ReSource

Source of (reactive) values. State can only be accessed with a correct InnerTicket.

Source of (reactive) values. State can only be accessed with a correct InnerTicket.

Inherited from
Core
abstract
class ReevTicket[V](initializer: Initializer, var _before: V)

ReevTicket is given to the Derived reevaluate method and allows to access other reactives. The ticket tracks return values, such as dependencies, the value, and if the value should be propagated. Such usages make it unsuitable as an API for the user, where StaticTicket or DynamicTicket should be used instead.

ReevTicket is given to the Derived reevaluate method and allows to access other reactives. The ticket tracks return values, such as dependencies, the value, and if the value should be propagated. Such usages make it unsuitable as an API for the user, where StaticTicket or DynamicTicket should be used instead.

Inherited from
Core
trait Result[T]
Inherited from
Core
object Scheduler
Inherited from
Core
@implicitNotFound(msg = "Could not find an implicit propagation engine. Did you forget an import?")
trait Scheduler

Propagation engine that defines the basic data-types available to the user and creates turns for propagation handling

Propagation engine that defines the basic data-types available to the user and creates turns for propagation handling

Type Params
S

Struct type that defines the spore type used to manage the reactive evaluation

Inherited from
Core
sealed abstract
class StaticTicket(creation: Initializer)

User facing low level API to access values in a static context.

User facing low level API to access values in a static context.

Inherited from
Core

Implementation of the turn handling defined in the Engine trait

Implementation of the turn handling defined in the Engine trait

Type Params
S

Struct type that defines the spore type used to manage the reactive evaluation

Tx

Transaction type used by the scheduler

Inherited from
Twoversion
abstract
class TwoVersionState[V](var current: V)

State that implements both the buffered pulse and the buffering capabilities itself.

State that implements both the buffered pulse and the buffering capabilities itself.

Inherited from
Twoversion

Abstract propagation definition that defines phases for reactive propagation through dependent reactive elements.

Abstract propagation definition that defines phases for reactive propagation through dependent reactive elements.

Type Params
S

Struct type that defines the spore type used to manage the reactive evaluation

Inherited from
Twoversion

Basic implementation of the most fundamental propagation steps as defined by AbstractPropagation. Only compatible with spore definitions that store a pulse value and support graph operations.

Basic implementation of the most fundamental propagation steps as defined by AbstractPropagation. Only compatible with spore definitions that store a pulse value and support graph operations.

Type Params
S

Struct type that defines the spore type used to manage the reactive evaluation

Inherited from
Twoversion

Inherited types

type State[V] = LevelState[V]
Inherited from
NoLock

Value members

Concrete fields