Fun

libretto.scaletto.impl.Fun
See theFun companion object
sealed trait Fun[+->[_, _], A, B]

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class AndThen[->, A, B, C]
class CaptureIntoSub[->, X, A, B]
class Choice[->, A, B, C]
class EitherF[->, A, B, C]
trait Leaf[A, B]
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]
class OneOfHandle[->, Cases, R]
class Par[->, A1, A2, B1, B2]
class RecFun[->, A, B]
Show all

Members list

Value members

Concrete methods

def foldMonoid[M](h: [X, Y] => (X -> Y) => M)(using M: Monoid[M]): M
def translateA[->>[_, _], G[_]](h: [X, Y] => (X -> Y) => G[->>[X, Y]])(using G: Applicative[G]): G[Fun[->>, A, B]]