com.github.tonivade.purefun.monad

Interface Reader<R,A>

All Superinterfaces:

FlatMap2<Reader.µ,R,A>, Higher1<Higher1<Reader.µ,R>,A>, Higher2<Reader.µ,R,A>, Kind, Mappable<Higher1<Reader.µ,R>,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 Reader<R,A>
extends FlatMap2<Reader.µ,R,A>

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	Reader.µ

Method Summary

Modifier and Type	Method and Description
A	eval(R reader)
default <B> Reader<R,B>	flatMap(Function1<A,? extends Higher2<Reader.µ,R,B>> mapper)
default <B> Reader<R,B>	map(Function1<A,B> mapper)
static <V> Monad<Higher1<Reader.µ,V>>	monad()
static <R,A> Reader<R,A>	narrowK(Higher1<Higher1<Reader.µ,R>,A> hkt)
static <R,A> Reader<R,A>	narrowK(Higher2<Reader.µ,R,A> hkt)
static <R,A> Reader<R,A>	pure(A value)
static <R,A> Reader<R,A>	reader(Function1<R,A> run)

Method Detail

eval

A eval(R reader)

map

default <B> Reader<R,B> map(Function1<A,B> mapper)

Specified by:

map in interface Mappable<Higher1<Reader.µ,R>,A>

flatMap

default <B> Reader<R,B> flatMap(Function1<A,? extends Higher2<Reader.µ,R,B>> mapper)

Specified by:

flatMap in interface FlatMap2<Reader.µ,R,A>

pure

static <R,A> Reader<R,A> pure(A value)

reader

static <R,A> Reader<R,A> reader(Function1<R,A> run)

narrowK

static <R,A> Reader<R,A> narrowK(Higher2<Reader.µ,R,A> hkt)

narrowK

static <R,A> Reader<R,A> narrowK(Higher1<Higher1<Reader.µ,R>,A> hkt)

monad

static <V> Monad<Higher1<Reader.µ,V>> monad()