com.github.tonivade.purefun.monad

Interface IO<T>

All Superinterfaces:

FlatMap1<IO.µ,T>, Higher1<IO.µ,T>, Kind, Mappable<IO.µ,T>

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<T>
extends FlatMap1<IO.µ,T>

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	IO.µ

Method Summary

Modifier and Type	Method and Description
default <R> IO<R>	andThen(IO<R> after)
static <T extends java.lang.AutoCloseable,R> IO<R>	bracket(IO<T> acquire, Function1<T,IO<R>> use)
static <T,R> IO<R>	bracket(IO<T> acquire, Function1<T,IO<R>> use, CheckedConsumer1<T> release)
static IO<Nothing>	exec(java.lang.Runnable task)
default <R> IO<R>	flatMap(Function1<T,? extends Higher1<IO.µ,R>> map)
static <T,R> Function1<T,IO<R>>	lift(Function1<T,R> task)
default <R> IO<R>	map(Function1<T,R> map)
static Monad<IO.µ>	monad()
static <T> IO<T>	narrowK(Higher1<IO.µ,T> hkt)
static IO<Nothing>	noop()
static <T> IO<T>	of(Producer<T> producer)
static <T> IO<T>	pure(T value)
static IO<Nothing>	sequence(Sequence<IO<?>> sequence)
T	unsafeRunSync()

Method Detail

unsafeRunSync

T unsafeRunSync()

map

default <R> IO<R> map(Function1<T,R> map)

Specified by:

map in interface Mappable<IO.µ,T>

flatMap

default <R> IO<R> flatMap(Function1<T,? extends Higher1<IO.µ,R>> map)

Specified by:

flatMap in interface FlatMap1<IO.µ,T>

andThen

default <R> IO<R> andThen(IO<R> after)

pure

static <T> IO<T> pure(T value)

lift

static <T,R> Function1<T,IO<R>> lift(Function1<T,R> task)

exec

static IO<Nothing> exec(java.lang.Runnable task)

of

static <T> IO<T> of(Producer<T> producer)

noop

static IO<Nothing> noop()

bracket

static <T,R> IO<R> bracket(IO<T> acquire,
                           Function1<T,IO<R>> use,
                           CheckedConsumer1<T> release)

bracket

static <T extends java.lang.AutoCloseable,R> IO<R> bracket(IO<T> acquire,
                                                           Function1<T,IO<R>> use)

sequence

static IO<Nothing> sequence(Sequence<IO<?>> sequence)

narrowK

static <T> IO<T> narrowK(Higher1<IO.µ,T> hkt)

monad

static Monad<IO.µ> monad()