libretto
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
libretto/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

Concise view

Type members

Classlikes

case class Acquire[A, R, B](acquire: A => (R, B), release: Option[R => Unit]) extends Val[A] -⚬ Res[R] |*| Val[B]

Attributes

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

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait A -⚬ C
class Object
trait Matchable
class Any
case class AssocLR[A, B, C]() extends A |*| B |*| C -⚬ A |*| B |*| C

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait A |*| B |*| C -⚬ A |*| B |*| C
class Object
trait Matchable
class Any
case class AssocRL[A, B, C]() extends A |*| B |*| C -⚬ A |*| B |*| C

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait A |*| B |*| C -⚬ A |*| B |*| C
class Object
trait Matchable
class Any
case class Backvert[A]() extends A |*| -[A] -⚬ One

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait A |*| -[A] -⚬ One
class Object
trait Matchable
class Any
case class Blocking[A, B](f: A => B) extends Val[A] -⚬ Val[B]

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait A |*| B |&| A |*| C -⚬ A |*| B |&| C
class Object
trait Matchable
class Any
case class ConstNeg[A](a: A) extends -[Val[A]] -⚬ Need

Attributes

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

Attributes

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

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Done |*| A -⚬ B
class Object
trait Matchable
class Any
case class DebugPrint(msg: String) extends Ping -⚬ One

Attributes

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

Attributes

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

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case class DistributeInversion[A, B]() extends -[A |*| B] -⚬ -[A] |*| -[B]

Attributes

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

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait A |*| B |+| C -⚬ A |*| B |+| A |*| C
class Object
trait Matchable
class Any
case class EffectAsync[R, A, B](f: (R, A) => Async[B]) extends Res[R] |*| Val[A] -⚬ Res[R] |*| Val[B]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Res[R] |*| Val[A] -⚬ Res[R] |*| Val[B]
class Object
trait Matchable
class Any
case class EffectWrAsync[R, A](f: (R, A) => Async[Unit]) extends Res[R] |*| Val[A] -⚬ Res[R]

Attributes

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

Attributes

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

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait One |*| B -⚬ B
class Object
trait Matchable
class Any
case class ElimSnd[A]() extends A |*| One -⚬ A

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait A |*| One -⚬ A
class Object
trait Matchable
class Any
case class FactorOutInversion[A, B]() extends -[A] |*| -[B] -⚬ -[A |*| B]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait -[A] |*| -[B] -⚬ -[A |*| B]
class Object
trait Matchable
class Any
case class Forevert[A]() extends One -⚬ -[A] |*| A

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait One -⚬ -[A] |*| A
class Object
trait Matchable
class Any
case class Fork() extends Done -⚬ Done |*| Done

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case class ForkNeed() extends Need |*| Need -⚬ Need

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case class ForkPing() extends Ping -⚬ Ping |*| Ping

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case class ForkPong() extends Pong |*| Pong -⚬ Pong

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait B -⚬ A |+| B
class Object
trait Matchable
class Any
case class IntroFst[B]() extends B -⚬ One |*| B

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait B -⚬ One |*| B
class Object
trait Matchable
class Any
case class IntroSnd[A]() extends A -⚬ A |*| One

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait A -⚬ A |*| One
class Object
trait Matchable
class Any
case class Join() extends Done |*| Done -⚬ Done

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case class JoinLTermini() extends LTerminus -⚬ LTerminus |*| LTerminus

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case class JoinNeed() extends Need -⚬ Need |*| Need

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case class JoinPing() extends Ping |*| Ping -⚬ Ping

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case class JoinPong() extends Pong -⚬ Pong |*| Pong

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case class JoinRTermini() extends RTerminus |*| RTerminus -⚬ RTerminus

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case class LInvertPongPing() extends One -⚬ Pong |*| Ping

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case class LInvertSignal() extends One -⚬ Need |*| Done

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case class LInvertTerminus() extends One -⚬ LTerminus |*| RTerminus

Attributes

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

Attributes

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

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Val[(A, B)] -⚬ Val[A] |*| Val[B]
class Object
trait Matchable
class Any
case class MapVal[A, B](f: A => B) extends Val[A] -⚬ Val[B]

Attributes

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

Attributes

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

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Pong |*| A |&| B -⚬ A |&| B
class Object
trait Matchable
class Any
case class NotifyDoneL() extends Done -⚬ Ping |*| Done

Attributes

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

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait A |+| B -⚬ Ping |*| A |+| B
class Object
trait Matchable
class Any
case class NotifyNeedL() extends Pong |*| Need -⚬ Need

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case class NotifyNeg[A]() extends Pong |*| -[Val[A]] -⚬ -[Val[A]]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Pong |*| -[Val[A]] -⚬ -[Val[A]]
class Object
trait Matchable
class Any
case class NotifyVal[A]() extends Val[A] -⚬ Ping |*| Val[A]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Val[A] -⚬ Ping |*| Val[A]
class Object
trait Matchable
class Any
case class Pack[F[_]]() extends F[Rec[F]] -⚬ Rec[F]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait F[Rec[F]] -⚬ Rec[F]
class Object
trait Matchable
class Any
case class Par[A, B, C, D](f: A -> B, g: C -> D) extends A |*| C -⚬ B |*| D

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait A |*| C -⚬ B |*| D
class Object
trait Matchable
class Any
case class PingF() extends One -⚬ Ping

Attributes

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

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Pong -⚬ One
class Object
trait Matchable
class Any
case class RInvertPingPong() extends Ping |*| Pong -⚬ One

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case class RInvertSignal() extends Done |*| Need -⚬ One

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case class RInvertTerminus() extends RTerminus |*| LTerminus -⚬ One

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case class RacePair() extends Ping |*| Ping -⚬ One |+| One

Attributes

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

Attributes

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

Attributes

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

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Res[R] -⚬ Done
class Object
trait Matchable
class Any
case class ReleaseAsync[R, A, B](f: (R, A) => Async[B]) extends Res[R] |*| Val[A] -⚬ Val[B]

Attributes

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

Attributes

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

Attributes

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

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Need -⚬ Pong
class Object
trait Matchable
class Any
case class Swap[A, B]() extends A |*| B -⚬ B |*| A

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait A |*| B -⚬ B |*| A
class Object
trait Matchable
class Any
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]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Val[A] -⚬ Val[E] |+| Res[R] |*| Val[B]
class Object
trait Matchable
class Any
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]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Res[R] |*| Val[A] -⚬ Val[E] |+| Res[S] |*| Res[T] |*| Val[B]
class Object
trait Matchable
class Any
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]

Attributes

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

Attributes

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

Attributes

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

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
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL