Function newRetriable

newRetriable<M>(monad): ((initialState) => (<E, T>(strategy) => (<S, A>(triable) => ((set) => Optical<M, S, T, A, B>))))
Creates a retriable optical which consists three functions:
- triable: An operation that may fail.
- strategy: Failure control strategy, which decides the operation should retry or exit.
- set: A function that stores B into S and produces T.
```
 ok
S -+--->[ triable ]-+-------> A
 | ^ |
 | retry | | err
 | | V
 | [ strategy ]
 | |
 +--------|-------+
 | exit |
 | V
T <---------+----[ set ]<- B
```
Type Parameters
- M
Parameters
- monad: Monad<M>
 A Monad instance for M.
Returns ((initialState) => (<E, T>(strategy) => (<S, A>(triable) => ((set) => Optical<M, S, T, A, B>))))
The retriable optical.
- - (initialState): (<E, T>(strategy) => (<S, A>(triable) => ((set) => Optical<M, S, T, A, B>)))
 - Type Parameters
 - I
 Parameters
 - initialState: I
 Returns (<E, T>(strategy) => (<S, A>(triable) => ((set) => Optical<M, S, T, A, B>)))
 - - <E, T>(strategy): (<S, A>(triable) => ((set) => Optical<M, S, T, A, B>))
 - Type Parameters
 E
 T
 Parameters
 strategy: ((err) => ((state) => Get1<M, ControlFlow<T, I>>))
 (err): ((state) => Get1<M, ControlFlow<T, I>>)
 Parameters
 err: E
 Returns ((state) => Get1<M, ControlFlow<T, I>>)
 (state): Get1<M, ControlFlow<T, I>>
 Parameters
 state: I
 Returns Get1<M, ControlFlow<T, I>>
 Returns (<S, A>(triable) => ((set) => Optical<M, S, T, A, B>))
 <S, A>(triable): ((set) => Optical<M, S, T, A, B>)
 Type Parameters
 S
 A
 Parameters
 triable: ((data) => ((state) => Get1<M, Result<E, A>>))
 (data): ((state) => Get1<M, Result<E, A>>)
 Parameters
 data: S
 Returns ((state) => Get1<M, Result<E, A>>)
 (state): Get1<M, Result<E, A>>
 Parameters
 state: I
 Returns Get1<M, Result<E, A>>
 Returns ((set) => Optical<M, S, T, A, B>)
 (set): Optical<M, S, T, A, B>
 Type Parameters
 B
 Parameters
 set: ((data) => ((modified) => T))
 (data): ((modified) => T)
 Parameters
 data: S
 Returns ((modified) => T)
 (modified): T
 Parameters
 modified: B
 Returns T
 Returns Optical<M, S, T, A, B>
- Defined in src/optical/retriable.ts:69

Function newRetriable

Type Parameters

M

Parameters

monad: Monad<M>

Returns (<I>(initialState) => (<E, T>(strategy) => (<S, A>(triable) => (<B>(set) => Optical<M, S, T, A, B>))))

Type Parameters

I

Parameters

initialState: I

Returns (<E, T>(strategy) => (<S, A>(triable) => (<B>(set) => Optical<M, S, T, A, B>)))

Type Parameters

E

T

Parameters

strategy: ((err) => ((state) => Get1<M, ControlFlow<T, I>>))

Parameters

err: E

Returns ((state) => Get1<M, ControlFlow<T, I>>)

Parameters

state: I

Returns Get1<M, ControlFlow<T, I>>

Returns (<S, A>(triable) => (<B>(set) => Optical<M, S, T, A, B>))

Type Parameters

S

A

Parameters

triable: ((data) => ((state) => Get1<M, Result<E, A>>))

Parameters

data: S

Returns ((state) => Get1<M, Result<E, A>>)

Parameters

state: I

Returns Get1<M, Result<E, A>>

Returns (<B>(set) => Optical<M, S, T, A, B>)

Type Parameters

B

Parameters

set: ((data) => ((modified) => T))

Parameters

data: S

Returns ((modified) => T)

Parameters

modified: B

Returns T

Returns Optical<M, S, T, A, B>

Settings

Member Visibility

Theme