reader

Documentation

Overview

Package reader implements a specialization of the Reader monad assuming a golang context as the context of the monad

Index

• func Ap[A, B any](fa Reader[A]) func(Reader[func(A) B]) Reader[B]
• func Chain[A, B any](f func(A) Reader[B]) func(Reader[A]) Reader[B]
• func Curry1[T1, A any](f func(context.Context, T1) A) func(T1) Reader[A]
• func Curry2[T1, T2, A any](f func(context.Context, T1, T2) A) func(T1) func(T2) Reader[A]
• func Curry3[T1, T2, T3, A any](f func(context.Context, T1, T2, T3) A) func(T1) func(T2) func(T3) Reader[A]
• func From0[A any](f func(context.Context) A) func() Reader[A]
• func From1[T1, A any](f func(context.Context, T1) A) func(T1) Reader[A]
• func From2[T1, T2, A any](f func(context.Context, T1, T2) A) func(T1, T2) Reader[A]
• func From3[T1, T2, T3, A any](f func(context.Context, T1, T2, T3) A) func(T1, T2, T3) Reader[A]
• func Map[A, B any](f func(A) B) func(Reader[A]) Reader[B]
• func TraverseArray[A, B any](f func(A) Reader[B]) func([]A) Reader[[]B]
• func Uncurry1[T1, A any](f func(T1) Reader[A]) func(context.Context, T1) A
• func Uncurry2[T1, T2, A any](f func(T1) func(T2) Reader[A]) func(context.Context, T1, T2) A
• func Uncurry3[T1, T2, T3, A any](f func(T1) func(T2) func(T3) Reader[A]) func(context.Context, T1, T2, T3) A
• type Reader
  • func Ask() Reader[context.Context]
  • func Asks[A any](r Reader[A]) Reader[A]
  • func Curry0[A any](f func(context.Context) A) Reader[A]
  • func MonadAp[A, B any](fab Reader[func(A) B], fa Reader[A]) Reader[B]
  • func MonadChain[A, B any](ma Reader[A], f func(A) Reader[B]) Reader[B]
  • func MonadMap[A, B any](fa Reader[A], f func(A) B) Reader[B]
  • func Of[A any](a A) Reader[A]
  • func SequenceArray[A any](ma []Reader[A]) Reader[[]A]
  • func SequenceT1[A any](a Reader[A]) Reader[T.Tuple1[A]]
  • func SequenceT2[A, B any](a Reader[A], b Reader[B]) Reader[T.Tuple2[A, B]]
  • func SequenceT3[A, B, C any](a Reader[A], b Reader[B], c Reader[C]) Reader[T.Tuple3[A, B, C]]
  • func SequenceT4[A, B, C, D any](a Reader[A], b Reader[B], c Reader[C], d Reader[D]) Reader[T.Tuple4[A, B, C, D]]

Functions

func Ap

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

func Chain

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

func Curry1

func Curry1[T1, A any](f func(context.Context, T1) A) func(T1) Reader[A]

func Curry2

func Curry2[T1, T2, A any](f func(context.Context, T1, T2) A) func(T1) func(T2) Reader[A]

func Curry3

func Curry3[T1, T2, T3, A any](f func(context.Context, T1, T2, T3) A) func(T1) func(T2) func(T3) Reader[A]

func From0

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

func From1

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

func From2

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

func From3

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

func Map

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

func TraverseArray

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

TraverseArray transforms an array

func Uncurry1

func Uncurry1[T1, A any](f func(T1) Reader[A]) func(context.Context, T1) A

func Uncurry2

func Uncurry2[T1, T2, A any](f func(T1) func(T2) Reader[A]) func(context.Context, T1, T2) A

func Uncurry3

func Uncurry3[T1, T2, T3, A any](f func(T1) func(T2) func(T3) Reader[A]) func(context.Context, T1, T2, T3) A

Types

type Reader

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

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

func Ask

func Ask() Reader[context.Context]

func Asks

func Asks[A any](r Reader[A]) Reader[A]

func Curry0

func Curry0[A any](f func(context.Context) A) Reader[A]

func MonadAp

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

func MonadChain

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

func MonadMap

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

func Of

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

func SequenceArray

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

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

func SequenceT1

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

func SequenceT2

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

func SequenceT3

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

func SequenceT4

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