apply a function to an Eff value using the applicative instance
apply a function to an Eff value using the applicative instance
get the environment
get the environment
create an Either effect from a value possibly throwing a Throwable
create an Either effect from a value possibly throwing a Throwable
use the internal effect as one of the stack effects
use the internal effect as one of the stack effects
create a correct value
create a correct value
create a list effect with no values
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 sequence a list of values, then flatten it
use the applicative instance of Eff to traverse 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 value possibly throwing an exception
create an Either effect from a single Either value
create an Either effect from a single Either value
create a list effect from a list of values
create a list effect from a list of values
create an Option effect from a single Option value
create an Option effect from a single Option value
get the current state value
get the current state value
get the current state value and map it with a function f
get the current state value and map it with a function f
create a impure value from an union of effects and a continuation
create a impure value from an union of effects and a continuation
create a failed value
create a failed value
modify the environment
modify the environment
modify the current state value
modify the current state value
no value returned
no value returned
create an Either effect from a single Option value
create an Either effect from a single Option value
create a pure value
create a pure value
store a new state value
store a new state value
create a correct 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
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
use the applicative instance of Eff to sequence a list of values
create a list effect from a single value
create a list effect from a single value
a value is returned
a value is returned
write a given value
write a given value
use the applicative instance of Eff to traverse a list of values
use the applicative instance of Eff to traverse a list of values
create an Eff value for ()
create an Eff value for ()
check a correct condition
check a correct condition
create an Validate effect from a single Either value
create an Validate effect from a single Either value
create an Validate effect from a single Option value
create an Validate effect from a single Option value
check a correct value
check a correct value
create a list effect from a list of values
create a list effect from a list of values
create a failed value
create a failed value