FSharpPlus


SeqT<'monad>> Type

Monad Transformer for seq<'T>

Union cases

Union case Description

SeqT 'monad>

Full Usage: SeqT 'monad>

Parameters:
    Item : 'monad>

Item : 'monad>

Static members

Static member Description

f <*> x

Full Usage: f <*> x

Parameters:
Returns: SeqT<^Monad>
Modifiers: inline
f : SeqT<^Monad'U)>>
x : SeqT<^Monad>
Returns: SeqT<^Monad>

arg0 <|> arg1

Full Usage: arg0 <|> arg1

Parameters:
Returns: SeqT<^MonadPlus>
Modifiers: inline
arg0 : SeqT<^a>
arg1 : SeqT<^c>
Returns: SeqT<^MonadPlus>

x >>= f

Full Usage: x >>= f

Parameters:
    x : SeqT<^Monad>
    f : 'T -> SeqT<^Monad>

Returns: SeqT<^c>
Modifiers: inline
x : SeqT<^Monad>
f : 'T -> SeqT<^Monad>
Returns: SeqT<^c>

SeqT.CallCC(f)

Full Usage: SeqT.CallCC(f)

Parameters:
    f : ('T -> SeqT<'MonadCont<'R,seq<'U>>>) -> SeqT<^MonadCont<'R,seq<'T>>>

Returns: SeqT<^MonadCont<'R,seq<'T>>>
Modifiers: inline
Type parameters: 'MonadCont<'R,seq<'U>>, ^MonadCont<'R, seq<'T>>
f : ('T -> SeqT<'MonadCont<'R,seq<'U>>>) -> SeqT<^MonadCont<'R,seq<'T>>>
Returns: SeqT<^MonadCont<'R,seq<'T>>>

SeqT.Catch(m, h)

Full Usage: SeqT.Catch(m, h)

Parameters:
    m : SeqT<^MonadError<'E1,'T>>
    h : 'E1 -> SeqT<^MonadError<'E2,'T>>

Returns: SeqT<^MonadError<'E2,'T>>
Modifiers: inline
Type parameters: ^MonadError<'E2,'T>, 'E1
m : SeqT<^MonadError<'E1,'T>>
h : 'E1 -> SeqT<^MonadError<'E2,'T>>
Returns: SeqT<^MonadError<'E2,'T>>

SeqT.Delay(body)

Full Usage: SeqT.Delay(body)

Parameters:
    body : unit -> SeqT<^Monad>>

Returns: SeqT<^Monad>>
Modifiers: inline
body : unit -> SeqT<^Monad>>
Returns: SeqT<^Monad>>

SeqT.Lift(x)

Full Usage: SeqT.Lift(x)

Parameters:
    x : ^Monad<'T>

Returns: SeqT<^Monad>>
Modifiers: inline
x : ^Monad<'T>
Returns: SeqT<^Monad>>

SeqT.Lift2(f, x, y)

Full Usage: SeqT.Lift2(f, x, y)

Parameters:
    f : 'T -> 'U -> 'V
    x : SeqT<^Monad>
    y : SeqT<^Monad>

Returns: SeqT<^Monad>
Modifiers: inline
f : 'T -> 'U -> 'V
x : SeqT<^Monad>
y : SeqT<^Monad>
Returns: SeqT<^Monad>

SeqT.Lift3(f, x, y, z)

Full Usage: SeqT.Lift3(f, x, y, z)

Parameters:
    f : 'T -> 'U -> 'V -> 'W
    x : SeqT<^Monad>
    y : SeqT<^Monad>
    z : SeqT<^Monad>

Returns: SeqT<^Monad>
Modifiers: inline
f : 'T -> 'U -> 'V -> 'W
x : SeqT<^Monad>
y : SeqT<^Monad>
z : SeqT<^Monad>
Returns: SeqT<^Monad>

SeqT.LiftAsync(x)

Full Usage: SeqT.LiftAsync(x)

Parameters:
Returns: SeqT<^MonadAsync<'T>>
Modifiers: inline
x : Async<'T>
Returns: SeqT<^MonadAsync<'T>>

SeqT.Local(arg1, f)

Full Usage: SeqT.Local(arg1, f)

Parameters:
    arg0 : SeqT<^MonadReader<'R2,'T>>
    f : 'R1 -> 'R2

Returns: SeqT<^a>
Modifiers: inline
arg0 : SeqT<^MonadReader<'R2,'T>>
f : 'R1 -> 'R2
Returns: SeqT<^a>

SeqT.Map(x, f)

Full Usage: SeqT.Map(x, f)

Parameters:
    x : SeqT<^Monad>
    f : 'T -> 'U

Returns: SeqT<^Monad>
Modifiers: inline
Type parameters: ^Monad<seq<'U>, 'T, 'U
x : SeqT<^Monad>
f : 'T -> 'U
Returns: SeqT<^Monad>

SeqT.Put(x)

Full Usage: SeqT.Put(x)

Parameters:
    x : 'S

Returns: SeqT<^MonadState>
Modifiers: inline
x : 'S
Returns: SeqT<^MonadState>

SeqT.Return(x)

Full Usage: SeqT.Return(x)

Parameters:
    x : 'T

Returns: SeqT<^Monad>
Modifiers: inline
Type parameters: ^Monad<seq<'T>
x : 'T
Returns: SeqT<^Monad>

SeqT.Throw(x)

Full Usage: SeqT.Throw(x)

Parameters:
    x : 'E

Returns: SeqT<^a>
Modifiers: inline
x : 'E
Returns: SeqT<^a>

SeqT.TryFinally(computation, f)

Full Usage: SeqT.TryFinally(computation, f)

Parameters:
    computation : SeqT<^Monad>>
    f : unit -> unit

Returns: SeqT<^Monad>>
Modifiers: inline
computation : SeqT<^Monad>>
f : unit -> unit
Returns: SeqT<^Monad>>

SeqT.TryWith(source, f)

Full Usage: SeqT.TryWith(source, f)

Parameters:
    source : SeqT<^Monad>>
    f : exn -> SeqT<^Monad>>

Returns: SeqT<^Monad>>
Modifiers: inline
source : SeqT<^Monad>>
f : exn -> SeqT<^Monad>>
Returns: SeqT<^Monad>>

SeqT.Using(resource, f)

Full Usage: SeqT.Using(resource, f)

Parameters:
    resource : 'a
    f : 'a -> SeqT<^Monad>>

Returns: SeqT<^Monad>>
Modifiers: inline
Type parameters: ^Monad<seq<'T>>
resource : 'a
f : 'a -> SeqT<^Monad>>
Returns: SeqT<^Monad>>

SeqT.get_Ask ()

Full Usage: SeqT.get_Ask ()

Returns: SeqT<^MonadReader<'R,seq<'R>>>
Modifiers: inline
Returns: SeqT<^MonadReader<'R,seq<'R>>>

SeqT.get_Empty ()

Full Usage: SeqT.get_Empty ()

Returns: SeqT<^MonadPlus>
Modifiers: inline
Returns: SeqT<^MonadPlus>

SeqT.get_Get ()

Full Usage: SeqT.get_Get ()

Returns: SeqT<^MonadState<'S,'S>>
Modifiers: inline
Returns: SeqT<^MonadState<'S,'S>>