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 CrashWhenDone[A, B](msg: String) extends Done |*| A -⚬ B
case
class DebugPrint(msg: String) extends Ping -⚬ One
case
class Delay() extends Val[FiniteDuration] -⚬ Done
case
class DelayIndefinitely() extends Done -⚬ RTerminus
case
class DistributeInversion[A, B]() extends -[A |*| B] -⚬ -[A] |*| -[B]
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 FactorOutInversion[A, B]() extends -[A] |*| -[B] -⚬ -[A |*| B]
case
class Forevert[A]() extends One -⚬ -[A] |*| A
case
class Fork() extends Done -⚬ Done |*| Done
case
class ForkNeed() extends Need |*| Need -⚬ Need
case
class ForkPing() extends Ping -⚬ Ping |*| Ping
case
class ForkPong() extends Pong |*| Pong -⚬ Pong
case
class Id[A]() extends A -⚬ 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 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 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 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