Precondition

reactives.extra.precondition.Precondition
See thePrecondition companion object
class Precondition[T](val accessed: List[of[State]], fun: DynamicTicket[State] => T)

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def check(using at: AdmissionTicket[State]): T

Concrete fields