FreeScaletto

libretto.scaletto.impl.FreeScaletto
See theFreeScaletto companion object
abstract class FreeScaletto

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object FreeScaletto.type

Members list

Type members

Classlikes

final class -[A]

Attributes

Supertypes
class Object
trait Matchable
class Any
object -⚬

Attributes

Companion
trait
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
-⚬.type
sealed trait -⚬[A, B]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Acquire[A, R, B]
class AndThen[A, B, C]
class AssocLR[A, B, C]
class AssocRL[A, B, C]
class Backvert[A]
class Choice[A, B, C]
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 Effect[R, A, B]
class EffectWr[R, A]
class EitherF[A, B, C]
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 InjectL[A, B]
class InjectLOnPing[A, B]
class InjectR[A, B]
class IntroFst[B]
class IntroSnd[A]
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 Pack[F]
class Par[A1, A2, B1, B2]
class PingF
class PongF
class RacePair
class RecF[A, B]
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
final class ConcurrentPair[A, B]

Attributes

Supertypes
class Object
trait Matchable
class Any
final class Done

Attributes

Supertypes
class Object
trait Matchable
class Any
final class LTerminus

Attributes

Supertypes
class Object
trait Matchable
class Any
final class Need

Attributes

Supertypes
class Object
trait Matchable
class Any
final class One

Attributes

Supertypes
class Object
trait Matchable
class Any
final class Ping

Attributes

Supertypes
class Object
trait Matchable
class Any
final class Pong

Attributes

Supertypes
class Object
trait Matchable
class Any
final class RTerminus

Attributes

Supertypes
class Object
trait Matchable
class Any
final class Rec[F[_]]

Attributes

Supertypes
class Object
trait Matchable
class Any
final class Res[A]

Attributes

Supertypes
class Object
trait Matchable
class Any
final class Val[A]

Attributes

Supertypes
class Object
trait Matchable
class Any
object given_BiInjective_|*| extends BiInjective[|*|]

Attributes

Supertypes
trait BiInjective[|*|]
class Object
trait Matchable
class Any
Self type
final class |&|[A, B]

Attributes

Supertypes
class Object
trait Matchable
class Any
final class |+|[A, B]

Attributes

Supertypes
class Object
trait Matchable
class Any

Types

type ->[A, B]

Type of nested arrows.

Type of nested arrows.

Attributes

final type UInt31 = Val[Int]
final type |*|[A, B] = ConcurrentPair[A, B]

Givens