libretto/libretto.impl/FreeScalaDSL/-⚬

-⚬

object -⚬
Companion
class
trait Sum
trait Mirror
class Object
trait Matchable
class Any

Type members

Classlikes

case class Acquire[A, R, B](acquire: A => (R, B), release: Option[R => Unit]) extends Val[A] -⚬ Res[R] |*| Val[B]
case class AndThen[A, B, C](f: A -⚬ B, g: B -⚬ C) extends A -⚬ C
case class AssocLR[A, B, C]() extends A |*| B |*| C -⚬ A |*| B |*| C
case class AssocRL[A, B, C]() extends A |*| B |*| C -⚬ A |*| B |*| C
case class Blocking[A, B](f: A => B) extends Val[A] -⚬ Val[B]
case class Choice[A, B, C](f: A -⚬ B, g: A -⚬ C) extends A -⚬ B |&| C
case class ChooseL[A, B]() extends A |&| B -⚬ A
case class ChooseLWhenNeed[A, B]() extends Need |*| A |&| B -⚬ Need |*| A
case class ChooseR[A, B]() extends A |&| B -⚬ B
case class ChooseRWhenNeed[A, B]() extends A |&| Need |*| B -⚬ Need |*| B
case class CoDistributeL[A, B, C]() extends A |*| B |&| A |*| C -⚬ A |*| B |&| C
case class ConstNeg[A](a: A) extends Neg[A] -⚬ Need
case class ConstVal[A](a: A) extends Done -⚬ Val[A]
case class ContramapNeg[A, B](f: A => B) extends Neg[B] -⚬ Neg[A]
case class Crash[A, B](msg: String) extends Done |*| A -⚬ Done |*| B
case class Delay() extends Val[FiniteDuration] -⚬ Done
case class DelayIndefinitely() extends Done -⚬ RTerminus
case class DistributeL[A, B, C]() extends A |*| B |+| C -⚬ A |*| B |+| A |*| C
case class DoneF() extends One -⚬ Done
case class EffectAsync[R, A, B](f: (R, A) => Async[B]) extends Res[R] |*| Val[A] -⚬ Res[R] |*| Val[B]
case class EffectWrAsync[R, A](f: (R, A) => Async[Unit]) extends Res[R] |*| Val[A] -⚬ Res[R]
case class EitherF[A, B, C](f: A -⚬ C, g: B -⚬ C) extends A |+| B -⚬ C
case class ElimFst[B]() extends One |*| B -⚬ B
case class ElimSnd[A]() extends A |*| One -⚬ A
case class Fork() extends Done -⚬ Done |*| Done
case class ForkNeed() extends Need |*| Need -⚬ Need
case class Fulfill[A]() extends Val[A] |*| Neg[A] -⚬ One
case class Id[A]() extends A -⚬ A
case class Inflate[A]() extends Need -⚬ Neg[A]
case class InjectL[A, B]() extends A -⚬ A |+| B
case class InjectLWhenDone[A, B]() extends Done |*| A -⚬ Done |*| A |+| B
case class InjectR[A, B]() extends B -⚬ A |+| B
case class InjectRWhenDone[A, B]() extends Done |*| B -⚬ A |+| Done |*| B
case class IntroFst[B]() extends B -⚬ One |*| B
case class IntroSnd[A]() extends A -⚬ A |*| One
case class Join() extends Done |*| Done -⚬ Done
case class JoinLTermini() extends LTerminus -⚬ LTerminus |*| LTerminus
case class JoinNeed() extends Need -⚬ Need |*| Need
case class JoinRTermini() extends RTerminus |*| RTerminus -⚬ RTerminus
case class LInvertSignal() extends One -⚬ Need |*| Done
case class LInvertTerminus() extends One -⚬ LTerminus |*| RTerminus
case class LiftEither[A, B]() extends Val[Either[A, B]] -⚬ Val[A] |+| Val[B]
case class LiftNegPair[A, B]() extends Neg[(A, B)] -⚬ Neg[A] |*| Neg[B]
case class LiftPair[A, B]() extends Val[(A, B)] -⚬ Val[A] |*| Val[B]
case class MapVal[A, B](f: A => B) extends Val[A] -⚬ Val[B]
case class NeedF() extends Need -⚬ One
case class Neglect[A]() extends Val[A] -⚬ Done
case class Pack[F[_]]() extends F[Rec[F]] -⚬ Rec[F]
case class Par[A, B, C, D](f: A -⚬ B, g: C -⚬ D) extends A |*| C -⚬ B |*| D
case class Promise[A]() extends One -⚬ Neg[A] |*| Val[A]
case class RInvertSignal() extends Done |*| Need -⚬ One
case class RInvertTerminus() extends RTerminus |*| LTerminus -⚬ One
case class RaceDone() extends Done |*| Done -⚬ Done |+| Done
case class RecF[A, B](f: A -⚬ B => A -⚬ B) extends A -⚬ B
case class RegressInfinitely() extends LTerminus -⚬ Need
case class Release[R]() extends Res[R] -⚬ Done
case class ReleaseAsync[R, A, B](f: (R, A) => Async[B]) extends Res[R] |*| Val[A] -⚬ Val[B]
case class SelectNeed() extends Need |&| Need -⚬ Need |*| Need
case class SignalChoice[A, B]() extends Need |*| A |&| B -⚬ A |&| B
case class SignalEither[A, B]() extends A |+| B -⚬ Done |*| A |+| B
case class Swap[A, B]() extends A |*| B -⚬ B |*| A
case class TryAcquireAsync[A, R, B, E](acquire: A => Async[Either[E, (R, B)]], release: Option[R => Async[Unit]]) extends Val[A] -⚬ Val[E] |+| Res[R] |*| Val[B]
case class TrySplitResourceAsync[R, A, S, T, B, E](f: (R, A) => Async[Either[E, (S, T, B)]], release1: Option[S => Async[Unit]], release2: Option[T => Async[Unit]]) extends Res[R] |*| Val[A] -⚬ Val[E] |+| Res[S] |*| Res[T] |*| Val[B]
case class TryTransformResourceAsync[R, A, S, B, E](f: (R, A) => Async[Either[E, (S, B)]], release: Option[S => Async[Unit]]) extends Res[R] |*| Val[A] -⚬ Val[E] |+| Res[S] |*| Val[B]
case class UnliftNegPair[A, B]() extends Neg[A] |*| Neg[B] -⚬ Neg[(A, B)]
case class UnliftPair[A, B]() extends Val[A] |*| Val[B] -⚬ Val[(A, B)]
case class Unpack[F[_]]() extends Rec[F] -⚬ F[Rec[F]]

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

Inherited from
Mirror
type MirroredLabel <: String

The name of the type

Inherited from
Mirror