libretto-core
API
Generated with
libretto-core/libretto/libretto.scaletto/libretto.scaletto.impl/Fun

Fun

libretto.scaletto.impl.Fun
See theFun companion trait
object Fun

Attributes

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

Members list

Type members

Classlikes

case class Absurd[A]() extends Leaf[Void, A]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[Void, A]
trait Fun[Nothing, Void, A]
class Object
trait Matchable
class Any
Show all
case class Acquire[A, R, B](acquire: ScalaFunction[A, (R, B)], release: Option[ScalaFunction[R, Unit]]) extends Leaf[Val[A], Res[R] |*| Val[B]]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[Val[A], Res[R] |*| Val[B]]
trait Fun[Nothing, Val[A], 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 Fun[->, A, C]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Fun[->, A, C]
class Object
trait Matchable
class Any
Show all
case class AssocLR[A, B, C]() extends Leaf[A |*| B |*| C, A |*| (B |*| C)]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[A |*| B |*| C, A |*| (B |*| C)]
trait Fun[Nothing, A |*| B |*| C, A |*| (B |*| C)]
class Object
trait Matchable
class Any
Show all
case class AssocRL[A, B, C]() extends Leaf[A |*| (B |*| C), A |*| B |*| C]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[A |*| (B |*| C), A |*| B |*| C]
trait Fun[Nothing, A |*| (B |*| C), A |*| B |*| C]
class Object
trait Matchable
class Any
Show all
case class Backvert[A]() extends Leaf[A |*| -[A], One]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[A |*| -[A], One]
trait Fun[Nothing, A |*| -[A], One]
class Object
trait Matchable
class Any
Show all
case class CaptureIntoSub[->[_, _], X, A, B](discardCapture: X -> One, splitCapture: X -> (X |*| X)) extends Fun[->, Sub[X |*| A, B] |*| X, Sub[A, B]]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Fun[->, Sub[X |*| A, B] |*| X, Sub[A, B]]
class Object
trait Matchable
class Any
Show all
case class Choice[->[_, _], A, B, C](f: A -> B, g: A -> C) extends Fun[->, A, B |&| C]

Attributes

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

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[A |&| B, A]
trait Fun[Nothing, A |&| B, A]
class Object
trait Matchable
class Any
Show all
case class ChooseLOnPong[A, B]() extends Leaf[A |&| B, Pong |*| A]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[A |&| B, Pong |*| A]
trait Fun[Nothing, A |&| B, Pong |*| A]
class Object
trait Matchable
class Any
Show all
case class ChooseR[A, B]() extends Leaf[A |&| B, B]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[A |&| B, B]
trait Fun[Nothing, A |&| B, B]
class Object
trait Matchable
class Any
Show all
case class CoDistributeL[A, B, C]() extends Leaf[(A |*| B) |&| (A |*| C), A |*| (B |&| C)]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[(A |*| B) |&| (A |*| C), A |*| (B |&| C)]
trait Fun[Nothing, (A |*| B) |&| (A |*| C), A |*| (B |&| C)]
class Object
trait Matchable
class Any
Show all
case class ConstNeg[A](a: A) extends Leaf[-[Val[A]], Need]

Attributes

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

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[Done, Val[A]]
trait Fun[Nothing, Done, Val[A]]
class Object
trait Matchable
class Any
Show all
case class CrashWhenDone[A, B](msg: String) extends Leaf[Done |*| A, B]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[Done |*| A, B]
trait Fun[Nothing, Done |*| A, B]
class Object
trait Matchable
class Any
Show all
case class DebugPrint(msg: String) extends Leaf[Ping, One]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[Ping, One]
trait Fun[Nothing, Ping, One]
class Object
trait Matchable
class Any
Show all
case class Delay() extends Leaf[Val[FiniteDuration], Done]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[Val[FiniteDuration], Done]
trait Fun[Nothing, Val[FiniteDuration], Done]
class Object
trait Matchable
class Any
Show all
case class DelayIndefinitely() extends Leaf[Done, RTerminus]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[Done, RTerminus]
trait Fun[Nothing, Done, RTerminus]
class Object
trait Matchable
class Any
Show all
case class DistributeInversion[A, B]() extends Leaf[-[A |*| B], -[A] |*| -[B]]

Attributes

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

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[A |*| (B |+| C), (A |*| B) |+| (A |*| C)]
trait Fun[Nothing, A |*| (B |+| C), (A |*| B) |+| (A |*| C)]
class Object
trait Matchable
class Any
Show all
case class DistributeNAryLR[A, Cases, ACases](dist: DistLR[|*|, ||, ::, A, Cases] { type Out = ACases; }) extends Leaf[A |*| OneOf[Cases], OneOf[ACases]]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[A |*| OneOf[Cases], OneOf[ACases]]
trait Fun[Nothing, A |*| OneOf[Cases], OneOf[ACases]]
class Object
trait Matchable
class Any
Show all
case class DistributeNAryRL[B, Cases, BCases](dist: DistRL[|*|, ||, ::, B, Cases] { type Out = BCases; }) extends Leaf[OneOf[Cases] |*| B, OneOf[BCases]]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[OneOf[Cases] |*| B, OneOf[BCases]]
trait Fun[Nothing, OneOf[Cases] |*| B, OneOf[BCases]]
class Object
trait Matchable
class Any
Show all
case class DupSub[A, B]() extends Leaf[Sub[A, B], Sub[A, B] |*| Sub[A, B]]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[Sub[A, B], Sub[A, B] |*| Sub[A, B]]
trait Fun[Nothing, Sub[A, B], Sub[A, B] |*| Sub[A, B]]
class Object
trait Matchable
class Any
Show all
case class Effect[R, A, B](f: ScalaFunction[(R, A), B]) extends Leaf[Res[R] |*| Val[A], Res[R] |*| Val[B]]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[Res[R] |*| Val[A], Res[R] |*| Val[B]]
trait Fun[Nothing, Res[R] |*| Val[A], Res[R] |*| Val[B]]
class Object
trait Matchable
class Any
Show all
case class EffectWr[R, A](f: ScalaFunction[(R, A), Unit]) extends Leaf[Res[R] |*| Val[A], Res[R]]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[Res[R] |*| Val[A], Res[R]]
trait Fun[Nothing, 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 Fun[->, A |+| B, C]

Attributes

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

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[One |*| B, B]
trait Fun[Nothing, One |*| B, B]
class Object
trait Matchable
class Any
Show all
case class ElimSnd[A]() extends Leaf[A |*| One, A]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[A |*| One, A]
trait Fun[Nothing, A |*| One, A]
class Object
trait Matchable
class Any
Show all
case class FactorOutInversion[A, B]() extends Leaf[-[A] |*| -[B], -[A |*| B]]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[-[A] |*| -[B], -[A |*| B]]
trait Fun[Nothing, -[A] |*| -[B], -[A |*| B]]
class Object
trait Matchable
class Any
Show all
case class Forevert[A]() extends Leaf[One, -[A] |*| A]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[One, -[A] |*| A]
trait Fun[Nothing, One, -[A] |*| A]
class Object
trait Matchable
class Any
Show all
case class Fork() extends Leaf[Done, Done |*| Done]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[Done, Done |*| Done]
trait Fun[Nothing, Done, Done |*| Done]
class Object
trait Matchable
class Any
Show all
case class ForkNeed() extends Leaf[Need |*| Need, Need]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[Need |*| Need, Need]
trait Fun[Nothing, Need |*| Need, Need]
class Object
trait Matchable
class Any
Show all
case class ForkPing() extends Leaf[Ping, Ping |*| Ping]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[Ping, Ping |*| Ping]
trait Fun[Nothing, Ping, Ping |*| Ping]
class Object
trait Matchable
class Any
Show all
case class ForkPong() extends Leaf[Pong |*| Pong, Pong]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[Pong |*| Pong, Pong]
trait Fun[Nothing, Pong |*| Pong, Pong]
class Object
trait Matchable
class Any
Show all
case class Id[A]() extends Leaf[A, A]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[A, A]
trait Fun[Nothing, A, A]
class Object
trait Matchable
class Any
Show all
case class IgnoreSub[A, B]() extends Leaf[Sub[A, B], One]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[Sub[A, B], One]
trait Fun[Nothing, Sub[A, B], One]
class Object
trait Matchable
class Any
Show all
case class InjectL[A, B]() extends Leaf[A, A |+| B]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[A, A |+| B]
trait Fun[Nothing, A, A |+| B]
class Object
trait Matchable
class Any
Show all
case class InjectLOnPing[A, B]() extends Leaf[Ping |*| A, A |+| B]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[Ping |*| A, A |+| B]
trait Fun[Nothing, Ping |*| A, A |+| B]
class Object
trait Matchable
class Any
Show all
case class InjectR[A, B]() extends Leaf[B, A |+| B]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[B, A |+| B]
trait Fun[Nothing, B, A |+| B]
class Object
trait Matchable
class Any
Show all
case class IntroFst[B]() extends Leaf[B, One |*| B]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[B, One |*| B]
trait Fun[Nothing, B, One |*| B]
class Object
trait Matchable
class Any
Show all
case class IntroSnd[A]() extends Leaf[A, A |*| One]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[A, A |*| One]
trait Fun[Nothing, A, A |*| One]
class Object
trait Matchable
class Any
Show all
case class InvokeSub[A, B]() extends Leaf[Sub[A, B] |*| A, B]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[Sub[A, B] |*| A, B]
trait Fun[Nothing, Sub[A, B] |*| A, B]
class Object
trait Matchable
class Any
Show all
case class Join() extends Leaf[Done |*| Done, Done]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[Done |*| Done, Done]
trait Fun[Nothing, Done |*| Done, Done]
class Object
trait Matchable
class Any
Show all
case class JoinLTermini() extends Leaf[LTerminus, LTerminus |*| LTerminus]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Fun[Nothing, LTerminus, LTerminus |*| LTerminus]
class Object
trait Matchable
class Any
Show all
case class JoinNeed() extends Leaf[Need, Need |*| Need]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[Need, Need |*| Need]
trait Fun[Nothing, Need, Need |*| Need]
class Object
trait Matchable
class Any
Show all
case class JoinPing() extends Leaf[Ping |*| Ping, Ping]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[Ping |*| Ping, Ping]
trait Fun[Nothing, Ping |*| Ping, Ping]
class Object
trait Matchable
class Any
Show all
case class JoinPong() extends Leaf[Pong, Pong |*| Pong]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[Pong, Pong |*| Pong]
trait Fun[Nothing, Pong, Pong |*| Pong]
class Object
trait Matchable
class Any
Show all
case class JoinRTermini() extends Leaf[RTerminus |*| RTerminus, RTerminus]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Fun[Nothing, RTerminus |*| RTerminus, RTerminus]
class Object
trait Matchable
class Any
Show all
case class LInvertPongPing() extends Leaf[One, Pong |*| Ping]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[One, Pong |*| Ping]
trait Fun[Nothing, One, Pong |*| Ping]
class Object
trait Matchable
class Any
Show all
case class LInvertSignal() extends Leaf[One, Need |*| Done]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[One, Need |*| Done]
trait Fun[Nothing, One, Need |*| Done]
class Object
trait Matchable
class Any
Show all
case class LInvertTerminus() extends Leaf[One, LTerminus |*| RTerminus]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Fun[Nothing, One, LTerminus |*| RTerminus]
class Object
trait Matchable
class Any
Show all
sealed trait Leaf[A, B] extends Fun[Nothing, A, B]

Attributes

Supertypes
trait Fun[Nothing, A, B]
class Object
trait Matchable
class Any
Known subtypes
class Absurd[A]
class Acquire[A, R, B]
class AssocLR[A, B, C]
class AssocRL[A, B, C]
class Backvert[A]
class ChooseL[A, B]
class ChooseLOnPong[A, B]
class ChooseR[A, B]
class CoDistributeL[A, B, C]
class ConstNeg[A]
class ConstVal[A]
class CrashWhenDone[A, B]
class DebugPrint
class Delay
class DistributeInversion[A, B]
class DistributeL[A, B, C]
class DistributeNAryLR[A, Cases, ACases]
class DistributeNAryRL[B, Cases, BCases]
class DupSub[A, B]
class Effect[R, A, B]
class EffectWr[R, A]
class ElimFst[B]
class ElimSnd[A]
class FactorOutInversion[A, B]
class Forevert[A]
class Fork
class ForkNeed
class ForkPing
class ForkPong
class Id[A]
class IgnoreSub[A, B]
class InjectL[A, B]
class InjectLOnPing[A, B]
class InjectR[A, B]
class IntroFst[B]
class IntroSnd[A]
class InvokeSub[A, B]
class Join
class JoinLTermini
class JoinNeed
class JoinPing
class JoinPong
class JoinRTermini
class LiftEither[A, B]
class LiftPair[A, B]
class MapVal[A, B]
class Neglect[A]
class NotifyChoice[A, B]
class NotifyDoneL
class NotifyEither[A, B]
class NotifyNeedL
class NotifyNeg[A]
class NotifyVal[A]
class OneOfInject[Label, A, Cases]
class Pack[F]
class PingF
class PongF
class RacePair
class Release[R]
class ReleaseWith[R, A, B]
class SelectPair
class Swap[A, B]
class TryAcquire[A, R, B, E]
class TryEffectAcquire[R, A, S, B, E]
class TrySplitResource[R, A, S, T, B, E]
class TryTransformResource[R, A, S, B, E]
class UnliftPair[A, B]
class Unpack[F]
Show all
case class LiftEither[A, B]() extends Leaf[Val[Either[A, B]], Val[A] |+| Val[B]]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[Val[Either[A, B]], Val[A] |+| Val[B]]
trait Fun[Nothing, Val[Either[A, B]], Val[A] |+| Val[B]]
class Object
trait Matchable
class Any
Show all
case class LiftPair[A, B]() extends Leaf[Val[(A, B)], Val[A] |*| Val[B]]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[Val[(A, B)], Val[A] |*| Val[B]]
trait Fun[Nothing, Val[(A, B)], Val[A] |*| Val[B]]
class Object
trait Matchable
class Any
Show all
case class MapVal[A, B](f: ScalaFunction[A, B]) extends Leaf[Val[A], Val[B]]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[Val[A], Val[B]]
trait Fun[Nothing, Val[A], Val[B]]
class Object
trait Matchable
class Any
Show all
case class Neglect[A]() extends Leaf[Val[A], Done]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[Val[A], Done]
trait Fun[Nothing, Val[A], Done]
class Object
trait Matchable
class Any
Show all
case class NotifyChoice[A, B]() extends Leaf[Pong |*| (A |&| B), A |&| B]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[Pong |*| (A |&| B), A |&| B]
trait Fun[Nothing, Pong |*| (A |&| B), A |&| B]
class Object
trait Matchable
class Any
Show all
case class NotifyDoneL() extends Leaf[Done, Ping |*| Done]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[Done, Ping |*| Done]
trait Fun[Nothing, Done, Ping |*| Done]
class Object
trait Matchable
class Any
Show all
case class NotifyEither[A, B]() extends Leaf[A |+| B, Ping |*| (A |+| B)]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[A |+| B, Ping |*| (A |+| B)]
trait Fun[Nothing, A |+| B, Ping |*| (A |+| B)]
class Object
trait Matchable
class Any
Show all
case class NotifyNeedL() extends Leaf[Pong |*| Need, Need]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[Pong |*| Need, Need]
trait Fun[Nothing, Pong |*| Need, Need]
class Object
trait Matchable
class Any
Show all
case class NotifyNeg[A]() extends Leaf[Pong |*| -[Val[A]], -[Val[A]]]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[Pong |*| -[Val[A]], -[Val[A]]]
trait Fun[Nothing, Pong |*| -[Val[A]], -[Val[A]]]
class Object
trait Matchable
class Any
Show all
case class NotifyVal[A]() extends Leaf[Val[A], Ping |*| Val[A]]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[Val[A], Ping |*| Val[A]]
trait Fun[Nothing, Val[A], Ping |*| Val[A]]
class Object
trait Matchable
class Any
Show all
case class OneOfHandle[->[_, _], Cases, R](handlers: SinkNAryNamed[->, ||, ::, Cases, R]) extends Fun[->, OneOf[Cases], R]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Fun[->, OneOf[Cases], R]
class Object
trait Matchable
class Any
Show all
case class OneOfInject[Label, A, Cases](i: Member[||, ::, Label, A, Cases]) extends Leaf[A, OneOf[Cases]]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[A, OneOf[Cases]]
trait Fun[Nothing, A, OneOf[Cases]]
class Object
trait Matchable
class Any
Show all
case class Pack[F[_]]() extends Leaf[F[Rec[F]], Rec[F]]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[F[Rec[F]], Rec[F]]
trait Fun[Nothing, 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 Fun[->, A1 |*| A2, B1 |*| B2]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Fun[->, A1 |*| A2, B1 |*| B2]
class Object
trait Matchable
class Any
Show all
case class PingF() extends Leaf[One, Ping]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[One, Ping]
trait Fun[Nothing, One, Ping]
class Object
trait Matchable
class Any
Show all
case class PongF() extends Leaf[Pong, One]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[Pong, One]
trait Fun[Nothing, Pong, One]
class Object
trait Matchable
class Any
Show all
case class RInvertPingPong() extends Leaf[Ping |*| Pong, One]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[Ping |*| Pong, One]
trait Fun[Nothing, Ping |*| Pong, One]
class Object
trait Matchable
class Any
Show all
case class RInvertSignal() extends Leaf[Done |*| Need, One]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[Done |*| Need, One]
trait Fun[Nothing, Done |*| Need, One]
class Object
trait Matchable
class Any
Show all
case class RInvertTerminus() extends Leaf[RTerminus |*| LTerminus, One]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Fun[Nothing, RTerminus |*| LTerminus, One]
class Object
trait Matchable
class Any
Show all
case class RacePair() extends Leaf[Ping |*| Ping, One |+| One]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[Ping |*| Ping, One |+| One]
trait Fun[Nothing, Ping |*| Ping, One |+| One]
class Object
trait Matchable
class Any
Show all
case class RecFun[->[_, _], A, B](f: (Sub[A, B] |*| A) -> B) extends Fun[->, A, B]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Fun[->, A, B]
class Object
trait Matchable
class Any
Show all
case class RegressInfinitely() extends Leaf[LTerminus, Need]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[LTerminus, Need]
trait Fun[Nothing, LTerminus, Need]
class Object
trait Matchable
class Any
Show all
case class Release[R]() extends Leaf[Res[R], Done]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[Res[R], Done]
trait Fun[Nothing, Res[R], Done]
class Object
trait Matchable
class Any
Show all
case class ReleaseWith[R, A, B](f: ScalaFunction[(R, A), B]) extends Leaf[Res[R] |*| Val[A], Val[B]]

Attributes

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

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[One |&| One, Pong |*| Pong]
trait Fun[Nothing, One |&| One, Pong |*| Pong]
class Object
trait Matchable
class Any
Show all
case class StrengthenPing() extends Leaf[Ping, Done]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[Ping, Done]
trait Fun[Nothing, Ping, Done]
class Object
trait Matchable
class Any
Show all
case class StrengthenPong() extends Leaf[Need, Pong]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[Need, Pong]
trait Fun[Nothing, Need, Pong]
class Object
trait Matchable
class Any
Show all
case class Swap[A, B]() extends Leaf[A |*| B, B |*| A]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[A |*| B, B |*| A]
trait Fun[Nothing, A |*| B, 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 Leaf[Val[A], Val[E] |+| (Res[R] |*| Val[B])]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[Val[A], Val[E] |+| (Res[R] |*| Val[B])]
trait Fun[Nothing, Val[A], Val[E] |+| (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 Leaf[Res[R] |*| Val[A], Res[R] |*| (Val[E] |+| (Res[S] |*| Val[B]))]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[Res[R] |*| Val[A], Res[R] |*| (Val[E] |+| (Res[S] |*| Val[B]))]
trait Fun[Nothing, Res[R] |*| Val[A], Res[R] |*| (Val[E] |+| (Res[S] |*| Val[B]))]
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 Leaf[Res[R] |*| Val[A], Val[E] |+| (Res[S] |*| Res[T] |*| Val[B])]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[Res[R] |*| Val[A], Val[E] |+| (Res[S] |*| Res[T] |*| Val[B])]
trait Fun[Nothing, Res[R] |*| Val[A], Val[E] |+| (Res[S] |*| Res[T] |*| Val[B])]
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 Leaf[Res[R] |*| Val[A], Val[E] |+| (Res[S] |*| Val[B])]

Attributes

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

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[Val[A] |*| Val[B], Val[(A, B)]]
trait Fun[Nothing, Val[A] |*| Val[B], Val[(A, B)]]
class Object
trait Matchable
class Any
Show all
case class Unpack[F[_]]() extends Leaf[Rec[F], F[Rec[F]]]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[Rec[F], F[Rec[F]]]
trait Fun[Nothing, Rec[F], F[Rec[F]]]
class Object
trait Matchable
class Any
Show all

Inherited and Abstract 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