readerio

Documentation

Index

• func Ap[B, E, A any](fa ReaderIO[E, A]) func(ReaderIO[E, func(A) B]) ReaderIO[E, B]
• func ApFirst[A, R, B any](second ReaderIO[R, B]) func(ReaderIO[R, A]) ReaderIO[R, A]
• func ApS[R, S1, S2, T any](setter func(T) func(S1) S2, fa ReaderIO[R, T]) func(ReaderIO[R, S1]) ReaderIO[R, S2]
• func ApSecond[A, R, B any](second ReaderIO[R, B]) func(ReaderIO[R, A]) ReaderIO[R, B]
• func Bind[R, S1, S2, T any](setter func(T) func(S1) S2, f func(S1) ReaderIO[R, T]) func(ReaderIO[R, S1]) ReaderIO[R, S2]
• func BindTo[R, S1, T any](setter func(T) S1) func(ReaderIO[R, T]) ReaderIO[R, S1]
• func Chain[E, A, B any](f func(A) ReaderIO[E, B]) func(ReaderIO[E, A]) ReaderIO[E, B]
• func ChainIOK[E, A, B any](f func(A) IO.IO[B]) func(ReaderIO[E, A]) ReaderIO[E, B]
• func Eq[R, A any](e EQ.Eq[A]) func(r R) EQ.Eq[ReaderIO[R, A]]
• func Flap[E, A, B any](a A) func(ReaderIO[E, func(A) B]) ReaderIO[E, B]
• func From0[R, A any](f func(R) IO.IO[A]) func() ReaderIO[R, A]
• func From1[R, T1, A any](f func(R, T1) IO.IO[A]) func(T1) ReaderIO[R, A]
• func From2[R, T1, T2, A any](f func(R, T1, T2) IO.IO[A]) func(T1, T2) ReaderIO[R, A]
• func From3[R, T1, T2, T3, A any](f func(R, T1, T2, T3) IO.IO[A]) func(T1, T2, T3) ReaderIO[R, A]
• func Let[R, S1, S2, T any](setter func(T) func(S1) S2, f func(S1) T) func(ReaderIO[R, S1]) ReaderIO[R, S2]
• func LetTo[R, S1, S2, T any](setter func(T) func(S1) S2, b T) func(ReaderIO[R, S1]) ReaderIO[R, S2]
• func Map[E, A, B any](f func(A) B) func(ReaderIO[E, A]) ReaderIO[E, B]
• func TraverseArray[R, A, B any](f func(A) ReaderIO[R, B]) func([]A) ReaderIO[R, []B]
• func TraverseArrayWithIndex[R, A, B any](f func(int, A) ReaderIO[R, B]) func([]A) ReaderIO[R, []B]
• func WithLock[R, A any](lock func() context.CancelFunc) func(fa ReaderIO[R, A]) ReaderIO[R, A]
• type ReaderIO
  • func Ask[E any]() ReaderIO[E, E]
  • func Asks[E, A any](r R.Reader[E, A]) ReaderIO[E, A]
  • func Defer[E, A any](gen func() ReaderIO[E, A]) ReaderIO[E, A]
  • func Do[R, S any](empty S) ReaderIO[R, S]
  • func Flatten[E, A any](mma ReaderIO[E, ReaderIO[E, A]]) ReaderIO[E, A]
  • func FromIO[E, A any](t IO.IO[A]) ReaderIO[E, A]
  • func Memoize[E, A any](rdr ReaderIO[E, A]) ReaderIO[E, A]
  • func MonadAp[B, E, A any](fab ReaderIO[E, func(A) B], fa ReaderIO[E, A]) ReaderIO[E, B]
  • func MonadApFirst[A, R, B any](first ReaderIO[R, A], second ReaderIO[R, B]) ReaderIO[R, A]
  • func MonadApSecond[A, R, B any](first ReaderIO[R, A], second ReaderIO[R, B]) ReaderIO[R, B]
  • func MonadChain[E, A, B any](ma ReaderIO[E, A], f func(A) ReaderIO[E, B]) ReaderIO[E, B]
  • func MonadChainIOK[E, A, B any](ma ReaderIO[E, A], f func(A) IO.IO[B]) ReaderIO[E, B]
  • func MonadFlap[E, A, B any](fab ReaderIO[E, func(A) B], a A) ReaderIO[E, B]
  • func MonadMap[E, A, B any](fa ReaderIO[E, A], f func(A) B) ReaderIO[E, B]
  • func Of[E, A any](a A) ReaderIO[E, A]
  • func SequenceArray[R, A any](ma []ReaderIO[R, A]) ReaderIO[R, []A]
  • func SequenceT1[R, A any](a ReaderIO[R, A]) ReaderIO[R, T.Tuple1[A]]
  • func SequenceT2[R, A, B any](a ReaderIO[R, A], b ReaderIO[R, B]) ReaderIO[R, T.Tuple2[A, B]]
  • func SequenceT3[R, A, B, C any](a ReaderIO[R, A], b ReaderIO[R, B], c ReaderIO[R, C]) ReaderIO[R, T.Tuple3[A, B, C]]
  • func SequenceT4[R, A, B, C, D any](a ReaderIO[R, A], b ReaderIO[R, B], c ReaderIO[R, C], d ReaderIO[R, D]) ReaderIO[R, T.Tuple4[A, B, C, D]]

Functions

func Ap

func Ap[B, E, A any](fa ReaderIO[E, A]) func(ReaderIO[E, func(A) B]) ReaderIO[E, B]

func ApFirst

func ApFirst[A, R, B any](second ReaderIO[R, B]) func(ReaderIO[R, A]) ReaderIO[R, A]

ApFirst combines two effectful actions, keeping only the result of the first.

func ApS

func ApS[R, S1, S2, T any](
	setter func(T) func(S1) S2,
	fa ReaderIO[R, T],
) func(ReaderIO[R, S1]) ReaderIO[R, S2]

ApS attaches a value to a context [S1] to produce a context [S2] by considering the context and the value concurrently

func ApSecond

func ApSecond[A, R, B any](second ReaderIO[R, B]) func(ReaderIO[R, A]) ReaderIO[R, B]

ApSecond combines two effectful actions, keeping only the result of the second.

func Bind

func Bind[R, S1, S2, T any](
	setter func(T) func(S1) S2,
	f func(S1) ReaderIO[R, T],
) func(ReaderIO[R, S1]) ReaderIO[R, S2]

Bind attaches the result of a computation to a context [S1] to produce a context [S2]

func BindTo

func BindTo[R, S1, T any](
	setter func(T) S1,
) func(ReaderIO[R, T]) ReaderIO[R, S1]

BindTo initializes a new state [S1] from a value [T]

func Chain

func Chain[E, A, B any](f func(A) ReaderIO[E, B]) func(ReaderIO[E, A]) ReaderIO[E, B]

func ChainIOK

func ChainIOK[E, A, B any](f func(A) IO.IO[B]) func(ReaderIO[E, A]) ReaderIO[E, B]

func Eq

func Eq[R, A any](e EQ.Eq[A]) func(r R) EQ.Eq[ReaderIO[R, A]]

Eq implements the equals predicate for values contained in the IO monad

func Flap

func Flap[E, A, B any](a A) func(ReaderIO[E, func(A) B]) ReaderIO[E, B]

func From0

func From0[R, A any](f func(R) IO.IO[A]) func() ReaderIO[R, A]

func From1

func From1[R, T1, A any](f func(R, T1) IO.IO[A]) func(T1) ReaderIO[R, A]

func From2

func From2[R, T1, T2, A any](f func(R, T1, T2) IO.IO[A]) func(T1, T2) ReaderIO[R, A]

func From3

func From3[R, T1, T2, T3, A any](f func(R, T1, T2, T3) IO.IO[A]) func(T1, T2, T3) ReaderIO[R, A]

func Let

func Let[R, S1, S2, T any](
	setter func(T) func(S1) S2,
	f func(S1) T,
) func(ReaderIO[R, S1]) ReaderIO[R, S2]

Let attaches the result of a computation to a context [S1] to produce a context [S2]

func LetTo

func LetTo[R, S1, S2, T any](
	setter func(T) func(S1) S2,
	b T,
) func(ReaderIO[R, S1]) ReaderIO[R, S2]

LetTo attaches the a value to a context [S1] to produce a context [S2]

func Map

func Map[E, A, B any](f func(A) B) func(ReaderIO[E, A]) ReaderIO[E, B]

func TraverseArray

func TraverseArray[R, A, B any](f func(A) ReaderIO[R, B]) func([]A) ReaderIO[R, []B]

TraverseArray transforms an array

func TraverseArrayWithIndex

func TraverseArrayWithIndex[R, A, B any](f func(int, A) ReaderIO[R, B]) func([]A) ReaderIO[R, []B]

TraverseArrayWithIndex transforms an array

func WithLock

func WithLock[R, A any](lock func() context.CancelFunc) func(fa ReaderIO[R, A]) ReaderIO[R, A]

WithLock executes the provided IO operation in the scope of a lock

Types

type ReaderIO

type ReaderIO[E, A any] R.Reader[E, IO.IO[A]]

func Ask

func Ask[E any]() ReaderIO[E, E]

func Asks

func Asks[E, A any](r R.Reader[E, A]) ReaderIO[E, A]

func Defer

func Defer[E, A any](gen func() ReaderIO[E, A]) ReaderIO[E, A]

Defer creates an IO by creating a brand new IO via a generator function, each time

func Do

func Do[R, S any](
	empty S,
) ReaderIO[R, S]

Bind creates an empty context of type [S] to be used with the Bind operation

func Flatten

func Flatten[E, A any](mma ReaderIO[E, ReaderIO[E, A]]) ReaderIO[E, A]

func FromIO

func FromIO[E, A any](t IO.IO[A]) ReaderIO[E, A]

FromIO converts an [IO.IO] to a ReaderIO

func Memoize

func Memoize[E, A any](rdr ReaderIO[E, A]) ReaderIO[E, A]

Memoize computes the value of the provided ReaderIO monad lazily but exactly once The context used to compute the value is the context of the first call, so do not use this method if the value has a functional dependency on the content of the context

func MonadAp

func MonadAp[B, E, A any](fab ReaderIO[E, func(A) B], fa ReaderIO[E, A]) ReaderIO[E, B]

func MonadApFirst

func MonadApFirst[A, R, B any](first ReaderIO[R, A], second ReaderIO[R, B]) ReaderIO[R, A]

MonadApFirst combines two effectful actions, keeping only the result of the first.

func MonadApSecond

func MonadApSecond[A, R, B any](first ReaderIO[R, A], second ReaderIO[R, B]) ReaderIO[R, B]

MonadApSecond combines two effectful actions, keeping only the result of the second.

func MonadChain

func MonadChain[E, A, B any](ma ReaderIO[E, A], f func(A) ReaderIO[E, B]) ReaderIO[E, B]

func MonadChainIOK

func MonadChainIOK[E, A, B any](ma ReaderIO[E, A], f func(A) IO.IO[B]) ReaderIO[E, B]

func MonadFlap

func MonadFlap[E, A, B any](fab ReaderIO[E, func(A) B], a A) ReaderIO[E, B]

func MonadMap

func MonadMap[E, A, B any](fa ReaderIO[E, A], f func(A) B) ReaderIO[E, B]

func Of

func Of[E, A any](a A) ReaderIO[E, A]

func SequenceArray

func SequenceArray[R, A any](ma []ReaderIO[R, A]) ReaderIO[R, []A]

SequenceArray converts a homogeneous sequence of Readers into a Reader of sequence

func SequenceT1

func SequenceT1[R, A any](a ReaderIO[R, A]) ReaderIO[R, T.Tuple1[A]]

func SequenceT2

func SequenceT2[R, A, B any](a ReaderIO[R, A], b ReaderIO[R, B]) ReaderIO[R, T.Tuple2[A, B]]

func SequenceT3

func SequenceT3[R, A, B, C any](a ReaderIO[R, A], b ReaderIO[R, B], c ReaderIO[R, C]) ReaderIO[R, T.Tuple3[A, B, C]]

func SequenceT4

func SequenceT4[R, A, B, C, D any](a ReaderIO[R, A], b ReaderIO[R, B], c ReaderIO[R, C], d ReaderIO[R, D]) ReaderIO[R, T.Tuple4[A, B, C, D]]