ThrowableEither

EitherCreation

Translate

eff

t

AsyncFutureFailed FailedFinalizer FailedValue Union2L Union2R Union3L Union3M Union3R UnionAppendL UnionAppendR

ta

Union1

tell

WriterCreation

thenFinally

SafeInterpretation SafeEffectOps

toErrorFullMessage

ErrorOrOkOps

toErrorSimpleMessage

ErrorOrOkOps

toMonadic

ImpureAp

trace

ErrorEffect

traceWithIndent

ErrorEffect

transform

Arrs Interpret MemberIn MemberInOut Unions EffOps

transformUnion

MemberInOut

translate

Interpret EffOps

translateInto

Interpret EffTranslateIntoOps

translateNat

Interpret

traverseA

EffCreation EffApplicativeOps

tuple2

EffApplicativeSyntaxOps