ReaderT (FSharpPlus)

ReaderT Module

Namespace: FSharpPlus.Data
Assembly: FSharpPlus.dll

Basic operations on Reader

Functions and values

Function or value	Description
`ReaderT.apply arg1 arg2` Full Usage: `ReaderT.apply arg1 arg2` Parameters: arg0 : `ReaderT<'R, ^Monad<'T->'U>>` arg1 : `ReaderT<'R, ^Monad<'T>>` 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: f : `'T -> ReaderT<'R, ^Monad<'U>>` arg1 : `ReaderT<'R, ^Monad<'T>>` 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: x : `Reader<'R, 'T>` 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: arg0 : `ReaderT<'R, 'Monad<'T>>` Returns: `'R -> 'Monad<'T>`	arg0 : `ReaderT<'R, 'Monad<'T>>` Returns: `'R -> 'Monad<'T>`
`ReaderT.zip x y` Full Usage: `ReaderT.zip x y` Parameters: x : `ReaderT<'S, ^Monad<'T>>` y : `ReaderT<'S, ^Monad<'U>>` 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>>`