readerio

Documentation

Overview

Package readerio implements a specialization of the ReaderIO monad assuming a golang context as the context of the monad

Index

• func Ap[A, B any](fa ReaderIO[A]) func(ReaderIO[func(A) B]) ReaderIO[B]
• func Chain[A, B any](f func(A) ReaderIO[B]) func(ReaderIO[A]) ReaderIO[B]
• func From0[A any](f func(context.Context) IO.IO[A]) func() ReaderIO[A]
• func From1[T1, A any](f func(context.Context, T1) IO.IO[A]) func(T1) ReaderIO[A]
• func From2[T1, T2, A any](f func(context.Context, T1, T2) IO.IO[A]) func(T1, T2) ReaderIO[A]
• func From3[T1, T2, T3, A any](f func(context.Context, T1, T2, T3) IO.IO[A]) func(T1, T2, T3) ReaderIO[A]
• func Map[A, B any](f func(A) B) func(ReaderIO[A]) ReaderIO[B]
• func TraverseArray[A, B any](f func(A) ReaderIO[B]) func([]A) ReaderIO[[]B]
• type ReaderIO
  • func Ask() ReaderIO[context.Context]
  • func Defer[A any](gen func() ReaderIO[A]) ReaderIO[A]
  • func MonadAp[A, B any](fab ReaderIO[func(A) B], fa ReaderIO[A]) ReaderIO[B]
  • func MonadChain[A, B any](ma ReaderIO[A], f func(A) ReaderIO[B]) ReaderIO[B]
  • func MonadMap[A, B any](fa ReaderIO[A], f func(A) B) ReaderIO[B]
  • func Of[A any](a A) ReaderIO[A]
  • func SequenceArray[A any](ma []ReaderIO[A]) ReaderIO[[]A]
  • func SequenceT1[A any](a ReaderIO[A]) ReaderIO[T.Tuple1[A]]
  • func SequenceT2[A, B any](a ReaderIO[A], b ReaderIO[B]) ReaderIO[T.Tuple2[A, B]]
  • func SequenceT3[A, B, C any](a ReaderIO[A], b ReaderIO[B], c ReaderIO[C]) ReaderIO[T.Tuple3[A, B, C]]
  • func SequenceT4[A, B, C, D any](a ReaderIO[A], b ReaderIO[B], c ReaderIO[C], d ReaderIO[D]) ReaderIO[T.Tuple4[A, B, C, D]]

Functions

func Ap

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

func Chain

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

func From0

func From0[A any](f func(context.Context) IO.IO[A]) func() ReaderIO[A]

func From1

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

func From2

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

func From3

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

func Map

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

func TraverseArray

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

TraverseArray transforms an array

Types

type ReaderIO

type ReaderIO[A any] R.ReaderIO[context.Context, A]

ReaderIO is a specialization of the ReaderIO monad assuming a golang context as the context of the monad

func Ask

func Ask() ReaderIO[context.Context]

func Defer

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

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

func MonadAp

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

func MonadChain

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

func MonadMap

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

func Of

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

func SequenceArray

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

SequenceArray converts a homogeneous sequence of either into an either of sequence

func SequenceT1

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

func SequenceT2

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

func SequenceT3

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

func SequenceT4

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