dsl/it.unibo.collektive.aggregate.api

Package-level declarations

Types

Models the minimal set of aggregate operations. Holds the localId of the device executing the aggregate program.

Context for yielding operations (exchanging, sharing). Yielding operations means operate on an Initial value (usually exchanged with neighbors), but return a possibly different value Return to the caller.

YieldingResult

data class YieldingResult<Initial, Return>(val toSend: Initial, val toReturn: Return)

Specifies the value toSend and the value toReturn of a yielding operator.

YieldingScope

typealias YieldingScope<Initial, Return> = YieldingContext<Initial, Return>.(Initial) -> YieldingResult<Initial, Return>