create

apply a function to an Eff value using the applicative instance

get the environment

bracket an action with one last action to execute at the end of the program

create an Either effect from a value possibly throwing a Throwable

use the internal effect as one of the stack effects

create a correct value

create a list effect with no values

use the applicative instance of Eff to sequence a list of values, then flatten it

use the applicative instance of Eff to traverse a list of values, then flatten it

create an Either effect from a value possibly throwing an exception

create an Either effect from a single Either value

create a list effect from a list of values

create an Option effect from a single Option value

get the current state value

get the current state value and map it with a function f

create a delayed impure value

create a delayed impure value

create a impure value from an union of effects and a continuation

create a failed value

modify the environment

modify the environment using a Kleisli[F, T, *]

modify the current state value

no value returned

create an Either effect from a single Option value

create a pure value

store a new state value

create a correct value

create an Eff[R, A] value from an effectful value of type T[V] provided that T is one of the effects of R

use the applicative instance of Eff to sequence a list of values

create a list effect from a single value

a value is returned

write a given value

use the applicative instance of Eff to traverse a list of values

create an Eff value for ()

check a correct condition

create an Validate effect from a single Either value

create an Validate effect from a single Ior value

create an Validate effect from a single Option value

check a correct value

create a list effect from a list of values

create a correct value with warning

create a pure warning

attach a clean-up action to the continuation (if any)

create a failed value