Interface IO<A>

Type Parameters:

A - the type of the result produced by the IO

All Superinterfaces:

Try0<A, IOException>

All Known Subinterfaces:

SafeIO<A>

Functional Interface:

This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.

@FunctionalInterface
public interface IO<A>
extends Try0<A, IOException>

IO monad for processing files

Method Summary

Modifier and Type	Method	Description
default <B> IO<B>	append(IO<B> iob)
default <B> IO<B>	bind(F<A,IO<B>> f)
default A	f()
static IO<LazyString>	getContents()
static IO<Unit>	interact(F<LazyString, LazyString> f)
default <B> IO<B>	map(F<A,B> f)
A	run()
default SafeIO<Validation<IOException, A>>	safe()

Methods inherited from interface Try0

toEffect0, toF0, toP1, toTryEffect0

Method Details

run

A run()
throws IOException

Throws:

IOException

f

default A f()
     throws IOException

Specified by:

f in interface Try0<A, IOException>

Throws:

IOException

safe

default SafeIO<Validation<IOException, A>> safe()

map

default <B> IO<B> map(F<A,B> f)

bind

default <B> IO<B> bind(F<A,IO<B>> f)

append

default <B> IO<B> append(IO<B> iob)

getContents

static IO<LazyString> getContents()

interact

static IO<Unit> interact(F<LazyString, LazyString> f)