Yhc.Core.UniqueId

This module implements unique ID's in Yhc.Core.

The intention is that a program can use this interface to a unique ID quite cheaply. Or an existing state monad can be reused.

Documentation

class UniqueId a where

Methods

getId :: a -> Int

putId :: Int -> a -> a

Instances

UniqueId Int

class Monad m => UniqueIdM m where

Methods

getIdM :: m Int

putIdM :: Int -> m ()

Instances

UniqueId a => UniqueIdM (State a)

nextId :: UniqueIdM m => m Int