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 Backvert[A]() extends A |*| -[A] -⚬ One
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 ChooseLOnPong[A, B]() extends A |&| B -⚬ Pong |*| A
case class ChooseR[A, B]() extends A |&| B -⚬ 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 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 Forevert[A]() extends One -⚬ -[A] |*| 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 InjectLOnPing[A, B]() extends Ping |*| A -⚬ A |+| B
case class InjectR[A, B]() extends B -⚬ A |+| 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 JoinPing() extends Ping |*| Ping -⚬ Ping
case class JoinPong() extends Pong -⚬ Pong |*| Pong
case class JoinRTermini() extends RTerminus |*| RTerminus -⚬ RTerminus
case class LInvertPongPing() extends One -⚬ Pong |*| Ping
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 Neglect[A]() extends Val[A] -⚬ Done
case class NotifyChoice[A, B]() extends Pong |*| A |&| B -⚬ A |&| B
case class NotifyDoneL() extends Done -⚬ Ping |*| Done
case class NotifyEither[A, B]() extends A |+| B -⚬ Ping |*| A |+| B
case class NotifyNeedL() extends Pong |*| Need -⚬ Need
case class NotifyNeg[A]() extends Pong |*| Neg[A] -⚬ Neg[A]
case class NotifyVal[A]() extends Val[A] -⚬ Ping |*| Val[A]
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 PingF() extends One -⚬ Ping
case class PongF() extends Pong -⚬ One
case class Promise[A]() extends One -⚬ Neg[A] |*| Val[A]
case class RInvertPingPong() extends Ping |*| Pong -⚬ One
case class RInvertSignal() extends Done |*| Need -⚬ One
case class RInvertTerminus() extends RTerminus |*| LTerminus -⚬ One
case class RacePair() extends Ping |*| Ping -⚬ One |+| One
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 SelectPair() extends One |&| One -⚬ Pong |*| Pong
case class StrengthenPing() extends Ping -⚬ Done
case class StrengthenPong() extends Need -⚬ Pong
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

The names of the product elements

Inherited from
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from
Mirror