Data.Permute.ST

Mutable permutations in the ST monad.

Permutations

data STPermute s

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

Instances

Eq (STPermute s)

MPermute (STPermute s) (ST s)

runSTPermute :: (forall s. ST s (STPermute s)) -> Permute

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

Overloaded mutable permutation interface

module Data.Permute.MPermute