libretto-core
API
Generated with
libretto-core/libretto/libretto.scaletto/libretto.scaletto.impl/FreeScaletto/-⚬

-⚬

libretto.scaletto.impl.FreeScaletto.-⚬
See the-⚬ companion trait
object -⚬

Attributes

Companion
trait
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
-⚬.type

Members list

Type members

Classlikes

case class Acquire[A, R, B](acquire: ScalaFunction[A, (R, B)], release: Option[ScalaFunction[R, Unit]]) extends Val[A] -⚬ ConcurrentPair[Res[R], Val[B]]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Val[A] -⚬ ConcurrentPair[Res[R], Val[B]]
class Object
trait Matchable
class Any
Show all
case class AndThen[A, B, C](f: A -> B, g: B -> C) extends A -⚬ C

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait A -⚬ C
class Object
trait Matchable
class Any
Show all
case class AssocLR[A, B, C]() extends ConcurrentPair[ConcurrentPair[A, B], C] -⚬ ConcurrentPair[A, ConcurrentPair[B, C]]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class AssocRL[A, B, C]() extends ConcurrentPair[A, ConcurrentPair[B, C]] -⚬ ConcurrentPair[ConcurrentPair[A, B], C]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class Backvert[A]() extends ConcurrentPair[A, -[A]] -⚬ One

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ConcurrentPair[A, -[A]] -⚬ One
class Object
trait Matchable
class Any
Show all
case class Choice[A, B, C](f: A -> B, g: A -> C) extends A -⚬ B |&| C

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait A -⚬ B |&| C
class Object
trait Matchable
class Any
Show all
case class ChooseL[A, B]() extends A |&| B -⚬ A

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait A |&| B -⚬ A
class Object
trait Matchable
class Any
Show all
case class ChooseLOnPong[A, B]() extends A |&| B -⚬ ConcurrentPair[Pong, A]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait A |&| B -⚬ ConcurrentPair[Pong, A]
class Object
trait Matchable
class Any
Show all
case class ChooseR[A, B]() extends A |&| B -⚬ B

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait A |&| B -⚬ B
class Object
trait Matchable
class Any
Show all
case class CoDistributeL[A, B, C]() extends ConcurrentPair[A, B] |&| ConcurrentPair[A, C] -⚬ ConcurrentPair[A, B |&| C]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class ConstNeg[A](a: A) extends -[Val[A]] -⚬ Need

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait -[Val[A]] -⚬ Need
class Object
trait Matchable
class Any
Show all
case class ConstVal[A](a: A) extends Done -⚬ Val[A]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Done -⚬ Val[A]
class Object
trait Matchable
class Any
Show all
case class CrashWhenDone[A, B](msg: String) extends ConcurrentPair[Done, A] -⚬ B

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ConcurrentPair[Done, A] -⚬ B
class Object
trait Matchable
class Any
Show all
case class DebugPrint(msg: String) extends Ping -⚬ One

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Ping -⚬ One
class Object
trait Matchable
class Any
Show all
case class Delay() extends Val[FiniteDuration] -⚬ Done

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Val[FiniteDuration] -⚬ Done
class Object
trait Matchable
class Any
Show all
case class DelayIndefinitely() extends Done -⚬ RTerminus

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class DistributeInversion[A, B]() extends -[ConcurrentPair[A, B]] -⚬ ConcurrentPair[-[A], -[B]]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait -[ConcurrentPair[A, B]] -⚬ ConcurrentPair[-[A], -[B]]
class Object
trait Matchable
class Any
Show all
case class DistributeL[A, B, C]() extends ConcurrentPair[A, B |+| C] -⚬ ConcurrentPair[A, B] |+| ConcurrentPair[A, C]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class Effect[R, A, B](f: ScalaFunction[(R, A), B]) extends ConcurrentPair[Res[R], Val[A]] -⚬ ConcurrentPair[Res[R], Val[B]]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ConcurrentPair[Res[R], Val[A]] -⚬ ConcurrentPair[Res[R], Val[B]]
class Object
trait Matchable
class Any
Show all
case class EffectWr[R, A](f: ScalaFunction[(R, A), Unit]) extends ConcurrentPair[Res[R], Val[A]] -⚬ Res[R]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ConcurrentPair[Res[R], Val[A]] -⚬ Res[R]
class Object
trait Matchable
class Any
Show all
case class EitherF[A, B, C](f: A -> C, g: B -> C) extends A |+| B -⚬ C

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait A |+| B -⚬ C
class Object
trait Matchable
class Any
Show all
case class ElimFst[B]() extends ConcurrentPair[One, B] -⚬ B

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ConcurrentPair[One, B] -⚬ B
class Object
trait Matchable
class Any
Show all
case class ElimSnd[A]() extends ConcurrentPair[A, One] -⚬ A

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ConcurrentPair[A, One] -⚬ A
class Object
trait Matchable
class Any
Show all
case class FactorOutInversion[A, B]() extends ConcurrentPair[-[A], -[B]] -⚬ -[ConcurrentPair[A, B]]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ConcurrentPair[-[A], -[B]] -⚬ -[ConcurrentPair[A, B]]
class Object
trait Matchable
class Any
Show all
case class Forevert[A]() extends One -⚬ ConcurrentPair[-[A], A]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait One -⚬ ConcurrentPair[-[A], A]
class Object
trait Matchable
class Any
Show all
case class Fork() extends Done -⚬ ConcurrentPair[Done, Done]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class ForkNeed() extends ConcurrentPair[Need, Need] -⚬ Need

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class ForkPing() extends Ping -⚬ ConcurrentPair[Ping, Ping]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class ForkPong() extends ConcurrentPair[Pong, Pong] -⚬ Pong

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class Id[A]() extends A -⚬ A

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait A -⚬ A
class Object
trait Matchable
class Any
Show all
case class InjectL[A, B]() extends A -⚬ A |+| B

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait A -⚬ A |+| B
class Object
trait Matchable
class Any
Show all
case class InjectLOnPing[A, B]() extends ConcurrentPair[Ping, A] -⚬ A |+| B

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ConcurrentPair[Ping, A] -⚬ A |+| B
class Object
trait Matchable
class Any
Show all
case class InjectR[A, B]() extends B -⚬ A |+| B

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait B -⚬ A |+| B
class Object
trait Matchable
class Any
Show all
case class IntroFst[B]() extends B -⚬ ConcurrentPair[One, B]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait B -⚬ ConcurrentPair[One, B]
class Object
trait Matchable
class Any
Show all
case class IntroSnd[A]() extends A -⚬ ConcurrentPair[A, One]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait A -⚬ ConcurrentPair[A, One]
class Object
trait Matchable
class Any
Show all
case class Join() extends ConcurrentPair[Done, Done] -⚬ Done

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class JoinLTermini() extends LTerminus -⚬ ConcurrentPair[LTerminus, LTerminus]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class JoinNeed() extends Need -⚬ ConcurrentPair[Need, Need]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class JoinPing() extends ConcurrentPair[Ping, Ping] -⚬ Ping

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class JoinPong() extends Pong -⚬ ConcurrentPair[Pong, Pong]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class JoinRTermini() extends ConcurrentPair[RTerminus, RTerminus] -⚬ RTerminus

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class LInvertPongPing() extends One -⚬ ConcurrentPair[Pong, Ping]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class LInvertSignal() extends One -⚬ ConcurrentPair[Need, Done]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class LInvertTerminus() extends One -⚬ ConcurrentPair[LTerminus, RTerminus]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class LiftEither[A, B]() extends Val[Either[A, B]] -⚬ Val[A] |+| Val[B]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Val[Either[A, B]] -⚬ Val[A] |+| Val[B]
class Object
trait Matchable
class Any
Show all
case class LiftPair[A, B]() extends Val[(A, B)] -⚬ ConcurrentPair[Val[A], Val[B]]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Val[(A, B)] -⚬ ConcurrentPair[Val[A], Val[B]]
class Object
trait Matchable
class Any
Show all
case class MapVal[A, B](f: ScalaFunction[A, B]) extends Val[A] -⚬ Val[B]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Val[A] -⚬ Val[B]
class Object
trait Matchable
class Any
Show all
case class Neglect[A]() extends Val[A] -⚬ Done

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Val[A] -⚬ Done
class Object
trait Matchable
class Any
Show all
case class NotifyChoice[A, B]() extends ConcurrentPair[Pong, A |&| B] -⚬ A |&| B

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ConcurrentPair[Pong, A |&| B] -⚬ A |&| B
class Object
trait Matchable
class Any
Show all
case class NotifyDoneL() extends Done -⚬ ConcurrentPair[Ping, Done]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class NotifyEither[A, B]() extends A |+| B -⚬ ConcurrentPair[Ping, A |+| B]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait A |+| B -⚬ ConcurrentPair[Ping, A |+| B]
class Object
trait Matchable
class Any
Show all
case class NotifyNeedL() extends ConcurrentPair[Pong, Need] -⚬ Need

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class NotifyNeg[A]() extends ConcurrentPair[Pong, -[Val[A]]] -⚬ -[Val[A]]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ConcurrentPair[Pong, -[Val[A]]] -⚬ -[Val[A]]
class Object
trait Matchable
class Any
Show all
case class NotifyVal[A]() extends Val[A] -⚬ ConcurrentPair[Ping, Val[A]]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Val[A] -⚬ ConcurrentPair[Ping, Val[A]]
class Object
trait Matchable
class Any
Show all
case class Pack[F[_]]() extends F[Rec[F]] -⚬ Rec[F]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait F[Rec[F]] -⚬ Rec[F]
class Object
trait Matchable
class Any
Show all
case class Par[A1, A2, B1, B2](f1: A1 -> B1, f2: A2 -> B2) extends ConcurrentPair[A1, A2] -⚬ ConcurrentPair[B1, B2]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ConcurrentPair[A1, A2] -⚬ ConcurrentPair[B1, B2]
class Object
trait Matchable
class Any
Show all
case class PingF() extends One -⚬ Ping

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait One -⚬ Ping
class Object
trait Matchable
class Any
Show all
case class PongF() extends Pong -⚬ One

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Pong -⚬ One
class Object
trait Matchable
class Any
Show all
case class RInvertPingPong() extends ConcurrentPair[Ping, Pong] -⚬ One

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class RInvertSignal() extends ConcurrentPair[Done, Need] -⚬ One

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class RInvertTerminus() extends ConcurrentPair[RTerminus, LTerminus] -⚬ One

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class RacePair() extends ConcurrentPair[Ping, Ping] -⚬ One |+| One

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class RecF[A, B](f: A -⚬ B => A -⚬ B) extends A -⚬ B

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait A -⚬ B
class Object
trait Matchable
class Any
Show all
Self type
RecF[A, B]
case class RegressInfinitely() extends LTerminus -⚬ Need

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class Release[R]() extends Res[R] -⚬ Done

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Res[R] -⚬ Done
class Object
trait Matchable
class Any
Show all
case class ReleaseWith[R, A, B](f: ScalaFunction[(R, A), B]) extends ConcurrentPair[Res[R], Val[A]] -⚬ Val[B]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ConcurrentPair[Res[R], Val[A]] -⚬ Val[B]
class Object
trait Matchable
class Any
Show all
case class SelectPair() extends One |&| One -⚬ ConcurrentPair[Pong, Pong]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class StrengthenPing() extends Ping -⚬ Done

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Ping -⚬ Done
class Object
trait Matchable
class Any
Show all
case class StrengthenPong() extends Need -⚬ Pong

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Need -⚬ Pong
class Object
trait Matchable
class Any
Show all
case class Swap[A, B]() extends ConcurrentPair[A, B] -⚬ ConcurrentPair[B, A]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ConcurrentPair[A, B] -⚬ ConcurrentPair[B, A]
class Object
trait Matchable
class Any
Show all
case class TryAcquire[A, R, B, E](acquire: ScalaFunction[A, Either[E, (R, B)]], release: Option[ScalaFunction[R, Unit]]) extends Val[A] -⚬ Val[E] |+| ConcurrentPair[Res[R], Val[B]]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Val[A] -⚬ Val[E] |+| ConcurrentPair[Res[R], Val[B]]
class Object
trait Matchable
class Any
Show all
case class TryEffectAcquire[R, A, S, B, E](f: ScalaFunction[(R, A), Either[E, (S, B)]], release: Option[ScalaFunction[S, Unit]]) extends ConcurrentPair[Res[R], Val[A]] -⚬ ConcurrentPair[Res[R], Val[E] |+| ConcurrentPair[Res[S], Val[B]]]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class TrySplitResource[R, A, S, T, B, E](f: ScalaFunction[(R, A), Either[E, (S, T, B)]], release1: Option[ScalaFunction[S, Unit]], release2: Option[ScalaFunction[T, Unit]]) extends ConcurrentPair[Res[R], Val[A]] -⚬ Val[E] |+| ConcurrentPair[ConcurrentPair[Res[S], Res[T]], Val[B]]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class TryTransformResource[R, A, S, B, E](f: ScalaFunction[(R, A), Either[E, (S, B)]], release: Option[ScalaFunction[S, Unit]]) extends ConcurrentPair[Res[R], Val[A]] -⚬ Val[E] |+| ConcurrentPair[Res[S], Val[B]]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ConcurrentPair[Res[R], Val[A]] -⚬ Val[E] |+| ConcurrentPair[Res[S], Val[B]]
class Object
trait Matchable
class Any
Show all
case class UnliftPair[A, B]() extends ConcurrentPair[Val[A], Val[B]] -⚬ Val[(A, B)]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ConcurrentPair[Val[A], Val[B]] -⚬ Val[(A, B)]
class Object
trait Matchable
class Any
Show all
case class Unpack[F[_]]() extends Rec[F] -⚬ F[Rec[F]]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Rec[F] -⚬ F[Rec[F]]
class Object
trait Matchable
class Any
Show all

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Attributes

Inherited from:
Mirror
Generated with