rescala
API
Generated with
rescala/rescala/rescala.core

rescala.core

package rescala.core

Members list

Type members

Classlikes

trait AccessHandler[State[_]]

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
object accessHandler
final class AdmissionTicket[State[_]](val tx: Transaction[State], declaredWrites: Set[of[State]])

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.

Attributes

Supertypes
class Object
trait Matchable
class Any
abstract class Base[S[_], V](val state: S[V], val info: ReInfo) extends ReSource

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

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

Value parameters

info

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

state

the state passed by the scheduler

Attributes

Supertypes
trait ReSource
class Object
trait Matchable
class Any
Known subtypes
class Evt[T]
class FilterDeltaSeq[T]
class IncSeq[T]
class MapDeltaSeq[T, A]
class Var[A]
class ChangeEventImpl[S, T]
class DerivedImpl[S, T]
class EventImpl[State, T]
class SignalImpl[S, T]
Show all
final class CreationTicket[State[_]](val scope: ScopeSearch[State], val info: ReInfo)

Enables the creation of other reactives

Enables the creation of other reactives

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object CreationTicket

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
trait Derived extends ReSource

A reactive value is something that can be reevaluated

A reactive value is something that can be reevaluated

Attributes

Companion
object
Supertypes
trait ReSource
class Object
trait Matchable
class Any
Known subtypes
trait ReactiveDeltaSeq[T]
class FilterDeltaSeq[T]
class IncSeq[T]
class MapDeltaSeq[T, A]
class ChangeEventImpl[S, T]
class DerivedImpl[S, T]
class EventImpl[State, T]
class SignalImpl[S, T]
class Reactor[T]
Show all
object Derived

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Derived.type
trait Disconnectable

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

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

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait ReactiveDeltaSeq[T]
class FilterDeltaSeq[T]
class IncSeq[T]
class MapDeltaSeq[T, A]
class ChangeEventImpl[S, T]
class DerivedImpl[S, T]
class EventImpl[State, T]
class SignalImpl[S, T]
trait Event[T]
class Evt[T]
trait Signal[T]
class Var[A]
Show all
trait DisconnectableImpl extends Derived, Disconnectable

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!

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!

Attributes

Supertypes
trait Derived
trait ReSource
class Object
trait Matchable
class Any
Show all
Known subtypes
trait ReactiveDeltaSeq[T]
class FilterDeltaSeq[T]
class IncSeq[T]
class MapDeltaSeq[T, A]
class ChangeEventImpl[S, T]
class DerivedImpl[S, T]
class EventImpl[State, T]
class SignalImpl[S, T]
Show all
trait DynamicScope[State[_]]

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

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

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Scheduler[S]
trait SchedulerImpl[State, Tx]
class FullMVEngine
object FScheduler
object TopoScheduler
Show all
abstract class DynamicTicket[State[_]](tx: Transaction[State]) extends StaticTicket[State]

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

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

Attributes

Supertypes
class StaticTicket[State]
class Object
trait Matchable
class Any
Known subtypes
class ReevTicket[S, V]
trait InitialChange[State[_]]

Encapsulates an action changing a single source.

Encapsulates an action changing a single source.

Attributes

Supertypes
class Object
trait Matchable
class Any
trait Initializer[S[_]]

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.

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.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait FullMVTurn
Show all
sealed trait LowPriorityScopeImplicits

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

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

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
object ScopeSearch
trait Observation

Records side effects for later execution.

Records side effects for later execution.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
case class ReInfo(idCounter: Int, description: String, enclosing: String, file: String, line: Int)

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

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

Attributes

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

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
ReInfo.type
trait ReSource

Source of (reactive) values.

Source of (reactive) values.

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Base[S, V]
class Evt[T]
class FilterDeltaSeq[T]
class IncSeq[T]
class MapDeltaSeq[T, A]
class Var[A]
class ChangeEventImpl[S, T]
class DerivedImpl[S, T]
class EventImpl[State, T]
class SignalImpl[S, T]
trait Derived
trait ReactiveDeltaSeq[T]
class Reactor[T]
trait ReadAs[A]
trait MacroAccess[A]
trait Event[T]
trait Signal[T]
trait Source[T]
Show all
object ReSource

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
ReSource.type
trait ReadAs[+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

Type parameters

A

return type of the accessor

Attributes

Companion
object
Supertypes
trait ReSource
class Object
trait Matchable
class Any
Known subtypes
trait MacroAccess[A]
trait Event[T]
class Evt[T]
trait Signal[T]
class Var[A]
class Reactor[T]
Show all
object ReadAs

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
ReadAs.type
final class ReevTicket[S[_], V](tx: Transaction[S], var _before: V, accessHandler: AccessHandler[S]) extends DynamicTicket[S], Result[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.

Attributes

Supertypes
trait Result[V]
class DynamicTicket[S]
class StaticTicket[S]
class Object
trait Matchable
class Any
Show all
trait Result[T]

Result of a reevaluation

Result of a reevaluation

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class ReevTicket[S, V]
object Result

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Result.type
trait Scheduler[S[_]] extends DynamicScope[S]

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 ...

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 ...

Attributes

Supertypes
trait DynamicScope[S]
class Object
trait Matchable
class Any
Known subtypes
trait SchedulerImpl[State, Tx]
class FullMVEngine
object FScheduler
object TopoScheduler
Show all
trait SchedulerImpl[State[_], Tx <: Transaction[State]] extends DynamicScope[State], Scheduler[State]

Attributes

Supertypes
trait Scheduler[State]
trait DynamicScope[State]
class Object
trait Matchable
class Any
Known subtypes
class FullMVEngine
object FScheduler
object TopoScheduler
case class ScopeSearch[State[_]](self: Either[Transaction[State], DynamicScope[State]])

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object ScopeSearch extends LowPriorityScopeImplicits

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

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

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Show all
Self type
sealed abstract class StaticTicket[State[_]](val tx: Transaction[State])

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

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

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
class DynamicTicket[State]
class ReevTicket[S, V]
object Tracing

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Tracing.type
trait Transaction[State[_]]

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.

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.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
class FTransaction
Show all
Generated with