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

TryEffectAcquire

libretto.scaletto.impl.Fun.TryEffectAcquire
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

Graph
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

Members list

Value members

Inherited methods

def foldMonoid[M](h: [X, Y] => Nothing => M)(using M: Monoid[M]): M

Attributes

Inherited from:
Fun
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def translateA[->>[_, _], G[_]](h: [X, Y] => Nothing => G[->>[X, Y]])(using G: Applicative[G]): G[Fun[->>, Res[R] |*| Val[A], Res[R] |*| (Val[E] |+| (Res[S] |*| Val[B]))]]

Attributes

Inherited from:
Fun
Generated with