monad-stlike-stm-0.1: ST-like monad capturing variables to regions and supporting STM.
Source code
Contents
Index
Control.Monad.STLike.STM
Synopsis
type
STMS
s t =
STLike
STM
s t
stm
::
STM
t ->
STMS
s t
stmsToIOS
::
STMS
s t ->
IOS
s t
module
Control.Monad.STLike.IO
Documentation
type
STMS
s t =
STLike
STM
s t
Source
Monad for STM computations with ST-like variables.
stm
::
STM
t ->
STMS
s t
Source
Lift STM computations into STMS.
stmsToIOS
::
STMS
s t ->
IOS
s t
Source
Run an STMS computation with
atomically
.
module
Control.Monad.STLike.IO
Produced by
Haddock
version 2.6.0