Twee.Label

Assignment of unique IDs to values. Inspired by the intern package.

Documentation

class Ord a => Labelled a where

Minimal complete definition

cache

Methods

cache :: Cache a

initialId :: a -> Int

type Cache a = IORef (CacheState a)

data CacheState a

Constructors

CacheState

Fields

• nextId :: !Int
• to :: !(IntMap a)
• from :: !(Map a Int)

Instances

Show a => Show (CacheState a)

Methods

showsPrec :: Int -> CacheState a -> ShowS

show :: CacheState a -> String

showList :: [CacheState a] -> ShowS

mkCache :: forall a. Labelled a => Cache a

label :: Labelled a => a -> Int

find :: Labelled a => Int -> Maybe a