TimerDSL
Attributes
- Graph
-
- Supertypes
- Known subtypes
-
trait Scalettoobject FreeScaletto.type
Members list
Type members
Inherited classlikes
Attributes
- Inherited from:
- CoreDSL
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
trait FunExprOps
Attributes
- Inherited from:
- CoreDSL
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
trait Comonoid[A]object comonoidNeed.typeobject comonoidOne.typeobject comonoidPing.typeobject comonoidPong.type
Attributes
- Inherited from:
- CoreDSL
- Supertypes
-
class Objecttrait Matchableclass Any
Attributes
- Inherited from:
- CoreDSL
- Supertypes
- Known subtypes
Attributes
- Inherited from:
- CoreDSL
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
trait ConcurrentPairInvertOps
Attributes
- Inherited from:
- CoreDSL
- Supertypes
-
class Objecttrait Matchableclass Any
Attributes
- Inherited from:
- CoreDSL
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
trait Comonoid[A]object comonoidNeed.typeobject comonoidOne.typeobject comonoidPing.typeobject comonoidPong.typeobject cosemigroupDone.typeobject cosemigroupNeed.typeobject cosemigroupPing.typeobject cosemigroupPong.typetrait CloseableCosemigroup[A]object closeableCosemigroupDone.typetrait NComonoid[A]Show all
Attributes
- Inherited from:
- CoreDSL
- Supertypes
-
class Objecttrait Matchableclass Any
Attributes
- Inherited from:
- CoreDSL
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
trait LambdaOpsWithClosures
Attributes
- Inherited from:
- CoreDSL
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
trait UInt31Scalettoobject UInt31.type
Inherited types
Libretto arrow, also called a ''component'' or a ''linear function''.
Libretto arrow, also called a ''component'' or a ''linear function''.
┏━━━━━━━━━━┓
┞───┐ ┞───┐
╎ A │ ╎ B │
┟───┘ ┟───┘
┗━━━━━━━━━━┛
In A -⚬ B
, we say that the ''in-port'' is of type A
and the ''out-port'' is of type B
. Note that the distinction between the in-port and the out-port is only formal. Information or resources may flow in and out through both the in-port and the out-port.
"Linear" means that each input is ''consumed'' exactly once, in particular, it cannot be ignored or used twice.
Attributes
- Inherited from:
- CoreDSL
Signal that travels in the direction of -⚬, i.e. the positive direction. It may signal completion of a (potentially effectful) computation. It cannot be ignored. (If this signal was the only handle to an (effectful) computation, ignoring it would mean losing track of that computation, which is considered to be a resource leak.)
Signal that travels in the direction of -⚬, i.e. the positive direction. It may signal completion of a (potentially effectful) computation. It cannot be ignored. (If this signal was the only handle to an (effectful) computation, ignoring it would mean losing track of that computation, which is considered to be a resource leak.)
Attributes
- Inherited from:
- CoreDSL
Attributes
- Inherited from:
- CoreDSL
Signal that travels in the direction opposite to -⚬, i.e. the negative direction. It may signal completion of a (potentially effectful) computation. It cannot be ignored. (If this signal was the only handle to an (effectful) computation, ignoring it would mean losing track of that computation, which is considered to be a resource leak.)
Signal that travels in the direction opposite to -⚬, i.e. the negative direction. It may signal completion of a (potentially effectful) computation. It cannot be ignored. (If this signal was the only handle to an (effectful) computation, ignoring it would mean losing track of that computation, which is considered to be a resource leak.)
Attributes
- Inherited from:
- CoreDSL
Attributes
- Inherited from:
- CoreDSL
Signal that travels in the direction opposite to -⚬, i.e. the negative direction. Unlike Need, it cannot be the only handle to an effectful computation. As such, it can be ignored, e.g. as the losing contestant in selectPair.
Signal that travels in the direction opposite to -⚬, i.e. the negative direction. Unlike Need, it cannot be the only handle to an effectful computation. As such, it can be ignored, e.g. as the losing contestant in selectPair.
Attributes
- Inherited from:
- CoreDSL
Unsigned (i.e. non-negative) integer up to 31 bits. Behavior on overflow is undefined.
Unsigned (i.e. non-negative) integer up to 31 bits. Behavior on overflow is undefined.
Attributes
- Inherited from:
- CoreDSL
Attributes
- Inherited from:
- CoreDSL
Choice between A
and B
. The consumer chooses whether to get A
or B
(but can get only one of them). The producer has to be ready to provide either of them.
Choice between A
and B
. The consumer chooses whether to get A
or B
(but can get only one of them). The producer has to be ready to provide either of them.
Attributes
- Inherited from:
- CoreDSL
Concurrent pair. Also called a ''tensor product'' or simply ''times''.
Concurrent pair. Also called a ''tensor product'' or simply ''times''.
Attributes
- Inherited from:
- CoreDSL
Either A
or B
. Analogous to scala.Either. Whether it is going to be A
or B
is decided by the producer. The consumer has to be ready to handle either of the two cases.
Either A
or B
. Analogous to scala.Either. Whether it is going to be A
or B
is decided by the producer. The consumer has to be ready to handle either of the two cases.
Attributes
- Inherited from:
- CoreDSL
Value members
Inherited methods
Attributes
- Inherited from:
- CoreDSL
Attributes
- Inherited from:
- CoreDSL
Attributes
- Inherited from:
- CoreDSL
Attributes
- Inherited from:
- CoreDSL
Attributes
- Inherited from:
- CoreDSL
Attributes
- Inherited from:
- CoreDSL
Factor out the factor A
on the left of both summands.
Factor out the factor C
on the right of both summands.
Attributes
- Inherited from:
- CoreDSL
Attributes
- Inherited from:
- CoreDSL
Attributes
- Inherited from:
- CoreDSL
Signals (in the negative direction) when it is known which side of the choice (A |&| B
) has been chosen.
Signals (in the negative direction) when it is known which side of the choice (A |&| B
) has been chosen.
Attributes
- Inherited from:
- CoreDSL
Signals when it is decided whether A |+| B
actually contains the left side or the right side.
Signals when it is decided whether A |+| B
actually contains the left side or the right side.
Attributes
- Inherited from:
- CoreDSL
Hides one level of a recursive type definition.
Reverses the Done signal (flowing in the positive direction, i.e. along the -⚬
arrow) into a Need signal (flowing in the negative direciton, i.e. against the -⚬
arrow).
Reverses the Done signal (flowing in the positive direction, i.e. along the -⚬
arrow) into a Need signal (flowing in the negative direciton, i.e. against the -⚬
arrow).
┏━━━━━━━━━━━┓
┞────┐ ┃
╎Done│┄┄┐ ┃
┟────┘ ┆ ┃
┃ ┆ ┃
┞────┐ ┆ ┃
╎Need│←┄┘ ┃
┟────┘ ┃
┗━━━━━━━━━━━┛
Attributes
- Inherited from:
- CoreDSL
Races the two Ping signals. Produces left if the first signal wins and right if the second signal wins. It is biased to the left: if both signals have arrived by the time of inquiry, returns left.
Attributes
- Inherited from:
- CoreDSL
Attributes
- Inherited from:
- CoreDSL
Races the two Pong signals (traveling from right to left). Chooses left if the first signal wins and right if the second signal wins. It is biased to the left: if both signals have arrived by the time of inquiry, chooses left.
Attributes
- Inherited from:
- CoreDSL
Attributes
- Inherited from:
- CoreDSL
Extensions
Inherited extensions
Reverse application: pass this expression into the given function.
Reverse application: pass this expression into the given function.
Attributes
- Inherited from:
- CoreDSL
Attributes
- Inherited from:
- CoreDSL
Attributes
- Inherited from:
- CoreDSL
Attributes
- Inherited from:
- CoreDSL
Attributes
- Inherited from:
- CoreDSL
Implicits
Inherited implicits
Attributes
- Inherited from:
- CoreDSL