Data.Choose.ST

Mutable combinations in the ST monad.

Combinations

data STChoose s

A mutable combination that can be manipulated in the ST monad. The type argument s is the state variable argument for the ST type.

Instances

Eq (STChoose s)

MChoose (STChoose s) (ST s)

runSTChoose :: (forall s. ST s (STChoose s)) -> Choose

A safe way to create and work with a mutable combination before returning an immutable one for later perusal. This function avoids copying the combination before returning it - it uses unsafeFreeze internally, but this wrapper is a safe interface to that function.

Overloaded mutable combination interface

module Data.Choose.MChoose