kone.automata/dev.lounres.kone.automata/SuspendAutomaton

SuspendAutomaton

interface SuspendAutomaton<State, Transition, NoNextStateReason>(source)

Properties

abstract val state: State

Functions

abstract suspend fun acceptNewState(previousState: State, transition: Transition, nextState: State)

checkTransition

abstract suspend fun checkTransition(previousState: State, transition: Transition): CheckResult<State, NoNextStateReason>

@IgnorableReturnValue

suspend fun <State, Transition, NoNextStateReason> SuspendAutomaton<State, Transition, NoNextStateReason>.move(transition: Transition): MovementResult<State, Transition, NoNextStateReason>

@IgnorableReturnValue

inline suspend fun <State, Transition, NoNextStateReason> SuspendAutomaton<State, Transition, NoNextStateReason>.move(transition: suspend (State) -> Transition): MovementResult<State, Transition, NoNextStateReason>

@IgnorableReturnValue

inline suspend fun <State, Transition, NoNextStateReason, Computation> SuspendAutomaton<State, Transition, NoNextStateReason>.moveAndCompute(transition: suspend (State) -> TransitionAndComputation<Transition, Computation>): MovementAndComputationResult<State, Transition, NoNextStateReason, Computation>

@IgnorableReturnValue

suspend fun <State, Transition, NoTransitionReason, NoNextStateReason> SuspendAutomaton<State, Transition, NoNextStateReason>.moveMaybe(transition: TransitionOrReason<Transition, NoTransitionReason>): MovementMaybeResult<State, Transition, NoTransitionReason, NoNextStateReason>

@IgnorableReturnValue

inline suspend fun <State, Transition, NoTransitionReason, NoNextStateReason> SuspendAutomaton<State, Transition, NoNextStateReason>.moveMaybe(transition: suspend (State) -> TransitionOrReason<Transition, NoTransitionReason>): MovementMaybeResult<State, Transition, NoTransitionReason, NoNextStateReason>

moveMaybeAndCompute

@IgnorableReturnValue

inline suspend fun <State, Transition, NoTransitionReason, NoNextStateReason, Computation> SuspendAutomaton<State, Transition, NoNextStateReason>.moveMaybeAndCompute(transition: suspend (State) -> TransitionOrReasonAndComputation<Transition, NoTransitionReason, Computation>): MovementMaybeAndComputationResult<State, Transition, NoTransitionReason, NoNextStateReason, Computation>