FSharpx.Extras


ReaderBuilder Type

The reader monad. This monad comes from Matthew Podwysocki's http://codebetter.com/blogs/matthew.podwysocki/archive/2010/01/07/much-ado-about-monads-reader-edition.aspx.

Constructors

Constructor Description

ReaderBuilder()

Full Usage: ReaderBuilder()

Returns: ReaderBuilder
Returns: ReaderBuilder

Instance members

Instance member Description

this.Bind

Full Usage: this.Bind

Parameters:
Returns: Reader<'R, 'U>
m : Reader<'R, 'T>
k : 'T -> Reader<'R, 'U>
Returns: Reader<'R, 'U>

this.Combine

Full Usage: this.Combine

Parameters:
Returns: Reader<'a, 'b>
r1 : Reader<'a, unit>
r2 : Reader<'a, 'b>
Returns: Reader<'a, 'b>

this.Delay

Full Usage: this.Delay

Parameters:
Returns: Reader<'a, 'b>
f : unit -> Reader<'a, 'b>
Returns: Reader<'a, 'b>

this.For

Full Usage: this.For

Parameters:
    sequence : 'a seq
    body : 'a -> Reader<'b, unit>

Returns: Reader<'b, unit>
sequence : 'a seq
body : 'a -> Reader<'b, unit>
Returns: Reader<'b, unit>

this.Return

Full Usage: this.Return

Parameters:
    a : 'T

Returns: Reader<'R, 'T>
a : 'T
Returns: Reader<'R, 'T>

this.ReturnFrom

Full Usage: this.ReturnFrom

Parameters:
Returns: Reader<'R, 'T>
a : Reader<'R, 'T>
Returns: Reader<'R, 'T>

this.TryFinally

Full Usage: this.TryFinally

Parameters:
    m : Reader<'R, 'T>
    compensation : unit -> unit

Returns: Reader<'R, 'T>
m : Reader<'R, 'T>
compensation : unit -> unit
Returns: Reader<'R, 'T>

this.TryWith

Full Usage: this.TryWith

Parameters:
Returns: Reader<'R, 'T>
m : Reader<'R, 'T>
h : exn -> Reader<'R, 'T>
Returns: Reader<'R, 'T>

this.Using

Full Usage: this.Using

Parameters:
    res : 'a
    body : 'a -> Reader<'b, 'c>

Returns: Reader<'b, 'c>
res : 'a
body : 'a -> Reader<'b, 'c>
Returns: Reader<'b, 'c>

this.While

Full Usage: this.While

Parameters:
    guard : unit -> bool
    m : Reader<'a, unit>

Returns: Reader<'a, unit>
guard : unit -> bool
m : Reader<'a, unit>
Returns: Reader<'a, unit>

this.Zero

Full Usage: this.Zero

Returns: Reader<'a, unit>
Returns: Reader<'a, unit>