Semantics

it.unibo.distributedfrp.core.Semantics
trait Semantics

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
Self type

Members list

Concise view

Type members

Classlikes

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Flows

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Flows.type

Types

override type Context <: BasicContext
override type Export[+A] = ExportTree[A]
override type NeighborField[+A] = Map[DeviceId, A]
override type Path = Seq[Slot]

Value members

Concrete methods

override def branch[A](cond: <none>[Boolean])(th: <none>[A])(el: <none>[A]): Flow[A]

Attributes

Definition Classes
override def constant[A](a: A): Flow[A]

Attributes

Definition Classes
override def loop[A](init: A)(f: <none>[A] => <none>[A]): Flow[A]

Attributes

Definition Classes
def mux[A](cond: <none>[Boolean])(th: <none>[A])(el: <none>[A]): Flow[A]
override def nbr[A](a: <none>[A]): Flow[NeighborField[A]]

Attributes

Definition Classes
override def nbrSensor[A](id: <none>): Flow[NeighborField[A]]

Attributes

Definition Classes
override def sensor[A](id: <none>): Flow[A]

Attributes

Definition Classes
override def share[A](init: <none>[A])(evolve: <none>[NeighborField[A]] => <none>[A]): Flow[A]

Attributes

Definition Classes

Concrete fields

override val flowLiftable: Liftable[<none>]
override val mid: <none>[<none>]

Extensions

Extensions

extension [A](field: NeighborField[A])
def foldLeft[R](seed: R)(combine: (R, A) => R): R
def withNeighbor(neighborId: DeviceId, value: A): NeighborField[A]