Package org.derive4j.processor

Interface IO<A>

interface IO<A>

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static interface	IO.Effect

Method Summary

Modifier and Type	Method	Description
static IO<Unit>	effect(IO.Effect e)
A	run()
default A	runUnchecked()
default <B> IO<B>	then(IO<B> ioB)
static <A,B> IO<java.util.List<B>>	traverse(java.util.List<A> as, java.util.function.Function<A,IO<B>> f)
default IO<Unit>	voided()

Method Detail

run

A run()
throws java.io.IOException

Throws:

java.io.IOException

runUnchecked

default A runUnchecked()
                throws java.io.UncheckedIOException

Throws:

java.io.UncheckedIOException

voided

default IO<Unit> voided()

then

default <B> IO<B> then(IO<B> ioB)

effect

static IO<Unit> effect(IO.Effect e)

traverse

static <A,B> IO<java.util.List<B>> traverse(java.util.List<A> as,
                                                  java.util.function.Function<A,IO<B>> f)