WriterT (FSharpPlus)

WriterT Module

Namespace: FSharpPlus.Data
Assembly: FSharpPlus.dll

Basic operations on WriterT

Functions and values

Function or value	Description
`WriterT.apply arg1 arg2` Full Usage: `WriterT.apply arg1 arg2` Parameters: arg0 : `WriterT<^Monad<('T->'U)'Monoid>>` arg1* : `WriterT<^Monad<'T'Monoid>>` Returns: `WriterT<^Monad<'U'Monoid>>` Modifiers: inline	arg0 : `WriterT<^Monad<('T->'U)'Monoid>>` arg1 : `WriterT<^Monad<'T'Monoid>>` Returns: `WriterT<^Monad<'U*'Monoid>>`
`WriterT.bind f arg2` Full Usage: `WriterT.bind f arg2` Parameters: f : `'T -> WriterT<^Monad<'U'Monoid>>` arg1* : `WriterT<^Monad<'T'Monoid>>` Returns: `WriterT<^Monad<'U'Monoid>>` Modifiers: inline	f : `'T -> WriterT<^Monad<'U'Monoid>>` arg1 : `WriterT<^Monad<'T'Monoid>>` Returns: `WriterT<^Monad<'U*'Monoid>>`
`WriterT.lift m` Full Usage: `WriterT.lift m` Parameters: m : `^Monad<'T>` Returns: `WriterT<^Monad<'T*'Monoid>>` Modifiers: inline	Embed a Monad<'T> into a WriterT<'Monad<'T * 'Monoid>> m : `^Monad<'T>` Returns: `WriterT<^Monad<'T*'Monoid>>`
`WriterT.map f arg2` Full Usage: `WriterT.map f arg2` Parameters: f : `'T -> 'U` arg1 : `WriterT<^Monad<'T'Monoid>>` Returns: `WriterT<^Monad<'U'Monoid>>` Modifiers: inline	f : `'T -> 'U` arg1 : `WriterT<^Monad<'T'Monoid>>` Returns: `WriterT<^Monad<'U'Monoid>>`
`WriterT.map2 f arg2 arg3` Full Usage: `WriterT.map2 f arg2 arg3` Parameters: f : `'T -> 'U -> 'V` arg1 : `WriterT<^Monad<'T'Monoid>>` arg2* : `WriterT<^Monad<'U'Monoid>>` Returns: `WriterT<^Monad<'V'Monoid>>` Modifiers: inline	Combines two WriterTs into one by applying a mapping function. f : `'T -> 'U -> 'V` arg1 : `WriterT<^Monad<'T'Monoid>>` arg2 : `WriterT<^Monad<'U'Monoid>>` Returns: `WriterT<^Monad<'V*'Monoid>>`
`WriterT.map3 f arg2 arg3 arg4` Full Usage: `WriterT.map3 f arg2 arg3 arg4` Parameters: f : `'T -> 'U -> 'V -> 'W` arg1 : `WriterT<^Monad<'T'Monoid>>` arg2* : `WriterT<^Monad<'U'Monoid>>` arg3* : `WriterT<^Monad<'V'Monoid>>` Returns: `WriterT<^Monad<'W'Monoid>>` Modifiers: inline	Combines three WriterTs into one by applying a mapping function. f : `'T -> 'U -> 'V -> 'W` arg1 : `WriterT<^Monad<'T'Monoid>>` arg2 : `WriterT<^Monad<'U'Monoid>>` arg3 : `WriterT<^Monad<'V'Monoid>>` Returns: `WriterT<^Monad<'W'Monoid>>`
`WriterT.run arg1` Full Usage: `WriterT.run arg1` Parameters: arg0 : `WriterT<'Monad<'T'Monoid>>` Returns: `'Monad<'T'Monoid>`	arg0 : `WriterT<'Monad<'T'Monoid>>` Returns: `'Monad<'T'Monoid>`