FSharpx.Extras


Core Module

Types

Type Description

Stm<'T>

StmBuilder

TLog

TVar

TVar<'T>

Functions and values

Function or value Description

atomically a

Full Usage: atomically a

Parameters:
Returns: 'T
a : Stm<'T>
Returns: 'T

filterM p ms

Full Usage: filterM p ms

Parameters:
    p : 'a -> Stm<bool>
    ms : 'a seq

Returns: Stm<'a seq>
p : 'a -> Stm<bool>
ms : 'a seq
Returns: Stm<'a seq>

ifM p x

Full Usage: ifM p x

Parameters:
    p : bool
    x : Stm<unit>

Returns: Stm<unit>
p : bool
x : Stm<unit>
Returns: Stm<unit>

liftM f x

Full Usage: liftM f x

Parameters:
    f : 'a -> 'b
    x : Stm<'a>

Returns: Stm<'b>
f : 'a -> 'b
x : Stm<'a>
Returns: Stm<'b>

mapM f ms

Full Usage: mapM f ms

Parameters:
    f : 'a -> Stm<'b>
    ms : 'a seq

Returns: TLog -> 'b seq
f : 'a -> Stm<'b>
ms : 'a seq
Returns: TLog -> 'b seq

mapM_ f ms

Full Usage: mapM_ f ms

Parameters:
    f : 'a -> Stm<unit>
    ms : 'a seq

Returns: TLog -> unit
f : 'a -> Stm<unit>
ms : 'a seq
Returns: TLog -> unit

newTVar value

Full Usage: newTVar value

Parameters:
    value : 'T

Returns: TVar<'T>
value : 'T
Returns: TVar<'T>

orElse a b trans

Full Usage: orElse a b trans

Parameters:
Returns: 'T
a : Stm<'T>
b : Stm<'T>
trans : TLog
Returns: 'T

readTVar ref trans

Full Usage: readTVar ref trans

Parameters:
Returns: 'T
ref : TVar<'T>
trans : TLog
Returns: 'T

retry () trans

Full Usage: retry () trans

Parameters:
    () : unit
    trans : TLog

Returns: 'T
() : unit
trans : TLog
Returns: 'T

sequence ms trans

Full Usage: sequence ms trans

Parameters:
Returns: 'a seq
ms : Stm<'a> seq
trans : TLog
Returns: 'a seq

sequence_ ms trans

Full Usage: sequence_ ms trans

Parameters:
ms : Stm<unit> seq
trans : TLog

stm

Full Usage: stm

Returns: StmBuilder
Returns: StmBuilder

writeTVar ref value trans

Full Usage: writeTVar ref value trans

Parameters:
    ref : TVar<'T>
    value : 'T
    trans : TLog

ref : TVar<'T>
value : 'T
trans : TLog