SocketMonad Type

Workflow builder to read/write to async sockets with fail/success semantics

Constructors

Constructor Description

SocketMonad()

Full Usage: SocketMonad()

Returns: SocketMonad
Returns: SocketMonad

Instance members

Instance member Description

this.Bind

Full Usage: this.Bind

Parameters:
Returns: SocketOp<'b>
x : SocketOp<'a>
f : 'a -> SocketOp<'b>
Returns: SocketOp<'b>

this.Combine

Full Usage: this.Combine

Parameters:
Returns: SocketOp<'a>
v : SocketOp<unit>
f : unit -> SocketOp<'a>
Returns: SocketOp<'a>

this.Delay

Full Usage: this.Delay

Parameters:
Returns: unit -> SocketOp<'a>
f : unit -> SocketOp<'a>
Returns: unit -> SocketOp<'a>

this.For

Full Usage: this.For

Parameters:
    sequence : 'a seq
    body : 'a -> SocketOp<unit>

Returns: ValueTask<Result<unit, Error>>
sequence : 'a seq
body : 'a -> SocketOp<unit>
Returns: ValueTask<Result<unit, Error>>

this.Return

Full Usage: this.Return

Parameters:
    x : 'a

Returns: SocketOp<'a>
x : 'a
Returns: SocketOp<'a>

this.ReturnFrom

Full Usage: this.ReturnFrom

Parameters:
Returns: SocketOp<'a>
x : SocketOp<'a>
Returns: SocketOp<'a>

this.Run

Full Usage: this.Run

Parameters:
Returns: SocketOp<'a>
f : unit -> SocketOp<'a>
Returns: SocketOp<'a>

this.TryFinally

Full Usage: this.TryFinally

Parameters:
    body : unit -> SocketOp<'a>
    compensation : unit -> unit

Returns: SocketOp<'a>
body : unit -> SocketOp<'a>
compensation : unit -> unit
Returns: SocketOp<'a>

this.TryWith

Full Usage: this.TryWith

Parameters:
Returns: SocketOp<'a>
body : unit -> SocketOp<'a>
handler : exn -> SocketOp<'a>
Returns: SocketOp<'a>

this.Using

Full Usage: this.Using

Parameters:
    disposable : 'a
    body : 'a -> SocketOp<'b>

Returns: SocketOp<'b>
disposable : 'a
body : 'a -> SocketOp<'b>
Returns: SocketOp<'b>

this.While

Full Usage: this.While

Parameters:
    guard : unit -> bool
    body : unit -> SocketOp<unit>

Returns: SocketOp<unit>
guard : unit -> bool
body : unit -> SocketOp<unit>
Returns: SocketOp<unit>

this.Zero

Full Usage: this.Zero

Returns: SocketOp<unit>
Returns: SocketOp<unit>