peel-off the only present effect
peel-off the only present effect
peel-off the only present effect, using an Applicative instance where possible
peel-off the only present effect, using an Applicative instance where possible
An Eff[R, A] value can be transformed into an Eff[U, A] value provided that all the effects in R are also in U
Memoize an effect using a cache
Memoize an effect using a cache
all the consecutive effects M[X] leading to the computation of Eff[R, A] will be cached in the cache and retrieved from there if the Eff[R, A] computation is executed again
base runner for an Eff value having no effects at all
base runner for an Eff value having no effects at all
This runner can only return the value in Pure because it doesn't known how to interpret the effects in Impure
get the pure value if there is no effect