Sound.DF.Uniform.LL.UId

Unique identifiers.

UId Class

type Id = Int

Identifiers are integers.

class Monad m => UId m where

Class of monads generating identifers

Methods

generateId :: m Id

Instances

UId IO

UId (State Id)

evalId :: State Id a -> a

Evaluate m DF.