Portability	portable
Stability	provisional
Maintainer	Edward Kmett <ekmett@gmail.com>
Safe Haskell	None

Control.Concurrent.Supply

Contents

Variables
Unboxed API

Description

A globally unique fresh identifier supply with local pooling and replay support.

Synopsis

Documentation

data Supply Source

A user managed globally unique variable supply.

Instances

Eq Supply
Ord Supply
Show Supply
Hashable Supply

Variables

newSupply :: IO Supply Source

Grab a new supply. Any two supplies obtained with newSupply are guaranteed to return disjoint sets of identifiers. Replaying the same sequence of operations on the same Supply will yield the same results.

freshId :: Supply -> (Int, Supply)Source

Obtain a fresh Id from a Supply.

splitSupply :: Supply -> (Supply, Supply)Source

Split a supply into two supplies that will return disjoint identifiers

Unboxed API

freshId# :: Supply -> (#Int#, Supply#)Source

An unboxed version of freshId

splitSupply# :: Supply -> (#Supply, Supply#)Source

An unboxed version of splitSupply