yaes-core
API
Generated with
yaes-core/in.rcard.yaes/Yaes

Yaes

in.rcard.yaes.Yaes
See theYaes companion class
object Yaes

Attributes

Companion
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Yaes.type

Members list

Type members

Classlikes

trait Handler[F, A, B]

Represents a handler for an effectful computation

Represents a handler for an effectful computation

Attributes

Supertypes
class Object
trait Matchable
class Any

Value members

Concrete methods

inline def handle[F, A, B](inline program: Yaes[F] ?=> A)(using inline handler: Handler[F, A, B]): B

Handles the effectful computation in input using the given handler

Handles the effectful computation in input using the given handler

Type parameters

A

The result type of the effectful computation

B

The result type of the effectful computation after the handling

F

The effect type

Value parameters

handler

The handler to be used to handle the effectful computation

program

The effectful computation to be handled

Attributes

Extensions

Extensions

extension [F, A](eff: Yaes[F] ?=> A)
inline def flatMap[B](inline f: A => Yaes[F] ?=> B): Yaes[F] ?=> B
inline def map[B](inline f: A => B): Yaes[F] ?=> B
Generated with