Terminators
object TerminatorsContext
DSL utilities for registering TerminationPredicate instances in an Environment.
This context is meant to be used with Kotlin context receivers, requiring an Environment to be available in the surrounding scope. The unary minus operator provides a compact notation for adding terminators.
Functions
Link copied to clipboard
context(environment: Environment<T, P>)
operator fun <T, P : Position<P>> TerminationPredicate<T, P>.unaryMinus()
operator fun <T, P : Position<P>> TerminationPredicate<T, P>.unaryMinus()
Registers this TerminationPredicate into the current Environment.