raulraja
12/10/2020, 1:34 PMScott Christopher
12/14/2020, 8:49 AMEffect
type for arbitrary monad types, or only those can extract a single value out like Maybe
, Either
, State
, etc? e.g. Is it possible to also use for List
or (R) -> A
?raulraja
12/14/2020, 12:49 PMJannis
12/14/2020, 4:22 PMGen<R, A>
wraps a suspend function, and I do believe suspend is needed in the datatype itself 😕raulraja
12/14/2020, 4:23 PMJannis
12/14/2020, 4:25 PMScott Christopher
12/15/2020, 12:16 AMEffect<(R) -> A>
is also not possible, due to the need for providing crossinline f: suspend Eff.() -> A
to Effect.suspended
/ Effect.restricted
?