ST is:module
This module provides support for
strict state threads, as
described in the PLDI '94 paper by John Launchbury and Simon Peyton
Jones
Lazy Functional State Threads.
References (variables) that can be used within the
ST monad
are provided by
Data.STRef, and arrays are provided by
Data.Array.ST.
Mutable boxed and unboxed arrays in the
ST monad.
A version of the
Array interface specialized to
ST. This
is intended primarily so library developers can easily check whether
the basic operations are unboxed properly, but its more constrained
type signatures also offer somewhat better type inference where
applicable.
A version of the
SmallArray interface specialized to
ST.
This is intended primarily so library developers can easily check
whether the basic operations are unboxed properly, but its more
constrained type signatures also offer somewhat better type inference
where applicable.
This library provides support for
strict state threads, as
described in the PLDI '94 paper by John Launchbury and Simon Peyton
Jones
Lazy Functional State Threads.
References (variables) that can be used within the
ST monad
are provided by
Data.STRef, and arrays are provided by
Data.Array.ST.
An implementation of a Delay using a classical circular buffer running
in the State Thread monad.
Unboxed mutable bit arrays in the
ST monad.
Counters that support some atomic operations. Safe to use from
multiple threads and likely faster than using IORef or TVar for the
same operation (terms and conditions apply).
Low-level interface for managing a disjoint set data structure, based
on
ST. For a higher level convenience interface, look at
Union.
Mutable one-dimensional packed bit arrays in the (strict) ST monad.
Mutable references in the (strict) ST monad.
Mutable references in the (strict) ST monad (re-export of
Data.STRef)
The String type and associated operations.