FSharpPlus


ReaderT Module

Basic operations on Reader

Functions and values

Function or value Description

ReaderT.apply arg1 arg2

Full Usage: ReaderT.apply arg1 arg2

Parameters:
Returns: ReaderT<'R, ^Monad<'U>>
Modifiers: inline
Type parameters: 'R, ^Monad<'T -> 'U>, ^Monad<'T>, ^Monad<'U>
arg0 : ReaderT<'R, ^Monad<'T->'U>>
arg1 : ReaderT<'R, ^Monad<'T>>
Returns: ReaderT<'R, ^Monad<'U>>

ReaderT.bind f arg2

Full Usage: ReaderT.bind f arg2

Parameters:
Returns: ReaderT<'R, ^Monad<'U>>
Modifiers: inline
Type parameters: 'T, 'R, ^Monad<'U>, ^Monad<'T>
f : 'T -> ReaderT<'R, ^Monad<'U>>
arg1 : ReaderT<'R, ^Monad<'T>>
Returns: ReaderT<'R, ^Monad<'U>>

ReaderT.hoist x

Full Usage: ReaderT.hoist x

Parameters:
Returns: ReaderT<'R, ^Monad<'T>>
Modifiers: inline
Type parameters: 'R, 'T, ^Monad<'T>
x : Reader<'R, 'T>
Returns: ReaderT<'R, ^Monad<'T>>

ReaderT.lift m

Full Usage: ReaderT.lift m

Parameters:
    m : 'Monad<'T>

Returns: ReaderT<'R, 'Monad<'T>>

Embed a Monad<'T> into an ReaderT<'R, 'Monad<'T>>

m : 'Monad<'T>
Returns: ReaderT<'R, 'Monad<'T>>

ReaderT.map f arg2

Full Usage: ReaderT.map f arg2

Parameters:
    f : 'T -> 'U
    arg1 : ReaderT<'R, ^Monad<'T>>

Returns: ReaderT<'R, ^Monad<'U>>
Modifiers: inline
Type parameters: 'T, 'U, 'R, ^Monad<'T>, ^Monad<'U>
f : 'T -> 'U
arg1 : ReaderT<'R, ^Monad<'T>>
Returns: ReaderT<'R, ^Monad<'U>>

ReaderT.map2 f arg2 arg3

Full Usage: ReaderT.map2 f arg2 arg3

Parameters:
    f : 'T -> 'U -> 'V
    arg1 : ReaderT<'R, ^Monad<'T>>
    arg2 : ReaderT<'R, ^Monad<'U>>

Returns: ReaderT<'R, ^Monad<'V>>
Modifiers: inline
Type parameters: 'T, 'U, 'V, 'R, ^Monad<'T>, ^Monad<'U>, ^Monad<'V>

Combines two ReaderTs into one by applying a mapping function.

f : 'T -> 'U -> 'V
arg1 : ReaderT<'R, ^Monad<'T>>
arg2 : ReaderT<'R, ^Monad<'U>>
Returns: ReaderT<'R, ^Monad<'V>>

ReaderT.map3 f arg2 arg3 arg4

Full Usage: ReaderT.map3 f arg2 arg3 arg4

Parameters:
    f : 'T -> 'U -> 'V -> 'W
    arg1 : ReaderT<'R, ^Monad<'T>>
    arg2 : ReaderT<'R, ^Monad<'U>>
    arg3 : ReaderT<'R, ^Monad<'V>>

Returns: ReaderT<'R, ^Monad<'W>>
Modifiers: inline
Type parameters: 'T, 'U, 'V, 'W, 'R, ^Monad<'T>, ^Monad<'U>, ^Monad<'V>, ^Monad<'W>

Combines three ReaderTs into one by applying a mapping function.

f : 'T -> 'U -> 'V -> 'W
arg1 : ReaderT<'R, ^Monad<'T>>
arg2 : ReaderT<'R, ^Monad<'U>>
arg3 : ReaderT<'R, ^Monad<'V>>
Returns: ReaderT<'R, ^Monad<'W>>

ReaderT.run arg1

Full Usage: ReaderT.run arg1

Parameters:
Returns: 'R -> 'Monad<'T>
arg0 : ReaderT<'R, 'Monad<'T>>
Returns: 'R -> 'Monad<'T>

ReaderT.zip x y

Full Usage: ReaderT.zip x y

Parameters:
Returns: ReaderT<'S, ^Monad<'T*'U>>
Modifiers: inline

Zips two ReaderTs into one.

x : ReaderT<'S, ^Monad<'T>>
y : ReaderT<'S, ^Monad<'U>>
Returns: ReaderT<'S, ^Monad<'T*'U>>