Data.Interned

Documentation

class (Eq (Description t), Hashable (Description t)) => Interned t where

Associated Types

data Description t

type Uninterned t

Methods

describe :: Uninterned t -> Description t

identify :: Id -> Uninterned t -> t

seedIdentity :: p t -> Id

cacheWidth :: p t -> Int

modifyAdvice :: IO t -> IO t

cache :: Cache t

Instances

Interned IntSet

Interned InternedByteString

Interned InternedString

Interned InternedText

class Interned t => Uninternable t where

Methods

unintern :: t -> Uninterned t

Instances

Uninternable IntSet

Uninternable InternedByteString

Uninternable InternedString

Uninternable InternedText

mkCache :: Interned t => Cache t

data Cache t

cacheSize :: Cache t -> IO Int

type Id = Int

intern :: Interned t => Uninterned t -> t