Type Members

1.  trait AccessHandler[State[_]] extends AnyRef
2.  final class AdmissionTicket[State[_]] extends AnyRef

   Enables reading of the current value during admission.

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

3.  abstract class Base[S[_], V] extends ReSource

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

4.  final class CreationTicket[State[_]] extends AnyRef

   Enables the creation of other reactives

   Enables the creation of other reactives

   Annotations

   @implicitNotFound()

5.  trait Derived extends ReSource

   A reactive value is something that can be reevaluated

6.  trait Disconnectable extends AnyRef

   Essentially a kill switch, that will remove the reactive at some point.

7.  trait DisconnectableImpl extends Derived with Disconnectable

   Removes the reactive instead of its next normal reevaluation.

   Removes the reactive instead of its next normal reevaluation. This makes use of the fact, that all reactives are technically dynamic reactives, and removing incoming dependencies is always kinda safe, as long as we are sure we no longer care!

8.  trait DynamicScope[State[_]] extends AnyRef

   Provides the capability to look up transactions in the dynamic scope.

9.  abstract class DynamicTicket[State[_]] extends StaticTicket[State]

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

10.  trait InitialChange[State[_]] extends AnyRef

    Encapsulates an action changing a single source.

11.  trait Initializer extends AnyRef

    An initializer is the glue between that binds the creation of the reactive from the operator and scheduler side together.

    An initializer is the glue between that binds the creation of the reactive from the operator and scheduler side together. The operator provides the logic to wrap a state and the scheduler provides the implementation of that state. This is where the two are joined. After that, the new reactive may have to be initialized.

12.  sealed trait LowPriorityScopeImplicits extends AnyRef

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

13.  trait Observation extends AnyRef

    Records side effects for later execution.

14.  case class ReInfo(idCounter: Int, description: String, enclosing: String, file: String, line: Int) extends Product with Serializable

    Provides names for dynamic dependencies based on their definition position to allow easier debugging

15.  trait ReSource extends AnyRef

    Source of (reactive) values.

16.  trait ReadAs[S[_], +A] extends ReSource

    Common macro accessors for rescala.operator.SignalBundle.Signal and rescala.operator.EventBundle.Event

    Common macro accessors for rescala.operator.SignalBundle.Signal and rescala.operator.EventBundle.Event

    A

    return type of the accessor

17.  final class ReevTicket[S[_], V] extends DynamicTicket[[_]S[_]] with Result[V]

    ReevTicket is given to the Derived reevaluate method and allows to access other reactives.

    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.

18.  trait Result[T] extends AnyRef

    Result of a reevaluation

19.  trait Scheduler[State[_]] extends DynamicScope[State]

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

    Scheduler that defines the basic data-types available to the user and creates turns for propagation handling. Note: This should NOT extend DynamicScope, but did so in the past and there are too many tests that assume so ...

    Annotations

    @implicitNotFound()

20.  trait SchedulerImpl[State[_], Tx <: of[State]] extends DynamicScope[State] with Scheduler[State]
21.  case class ScopeSearch[State[_]](self: Either[of[State], DynamicScope[State]]) extends Product with Serializable
22.  sealed abstract class StaticTicket[State[_]] extends AnyRef

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

23.  trait Transaction extends AnyRef

    A transaction (or maybe transaction handle would be the better term) is available from reevaluation and admission tickets.

    A transaction (or maybe transaction handle would be the better term) is available from reevaluation and admission tickets. That is, everywhere during a transaction, you can read reactives, but also create them. The reading values is core to any reactive propagation. But creating reactives using the Initializer is a liability to the scheduler, but a superpower to the operators. Its a classical tradeoff, but it would be better to not make this choice by default, that is, reactive creation should be limited such that we can experiment with schedulers that do not have this liability.