The maybe monad. This monad is my own and uses an 'T option. Others generally make their own Maybe<'T> type from Option<'T>. The builder approach is from Matthew Podwysocki's excellent Creating Extended Builders series http://codebetter.com/blogs/matthew.podwysocki/archive/2010/01/18/much-ado-about-monads-creating-extended-builders.aspx.
Constructor | Description |
|
|
Instance member | Description |
Full Usage:
this.Bind
Parameters:
'a option
f : 'a -> 'b option
Returns: 'b option
|
|
Full Usage:
this.Combine
Parameters:
'a option
f : 'a -> 'b option
Returns: 'b option
|
|
Full Usage:
this.Delay
Parameters:
unit -> 'a
Returns: unit -> 'a
|
|
Full Usage:
this.For
Parameters:
'a seq
body : 'a -> 'b
Returns: unit option
|
|
Full Usage:
this.Return
Parameters:
'a
Returns: 'a option
|
|
Full Usage:
this.ReturnFrom
Parameters:
'T option
Returns: 'T option
|
|
Full Usage:
this.Run
Parameters:
unit -> 'a
Returns: 'a
|
|
Full Usage:
this.TryFinally
Parameters:
'a option
compensation : unit -> unit
Returns: 'a option
|
|
Full Usage:
this.TryWith
Parameters:
'a option
h : exn -> 'a option
Returns: 'a option
|
|
Full Usage:
this.Using
Parameters:
'a
body : 'a -> 'b option
Returns: 'b option
|
|
Full Usage:
this.While
Parameters:
unit -> bool
f : unit -> 'a
Returns: unit option
|
|
Full Usage:
this.Zero
Returns: 'a option
|
|