intern-0.6: Efficient hash-consing for arbitrary data types

Data.Interned.Internal

Documentation

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

Associated Types

data Description t Source

type Uninterned t Source

Methods

describe :: Uninterned t -> Description tSource

identify :: Id -> Uninterned t -> tSource

identity :: t -> Id Source

seedIdentity :: p t -> Id Source

cacheWidth :: p t -> Int Source

modifyAdvice :: IO t -> IO tSource

cache :: Cache tSource

Instances

Interned IntSet
Interned InternedByteString
Interned InternedString
Interned InternedText

class Interned t => Uninternable t whereSource

Methods

unintern :: t -> Uninterned tSource

Instances

Uninternable IntSet
Uninternable InternedByteString
Uninternable InternedString
Uninternable InternedText

mkCache :: Interned t => Cache tSource

newtype Cache t Source

Constructors

Cache
Fields getCache :: Array Int (MVar (CacheState t))

data CacheState t Source

Constructors

CacheState
Fields fresh :: !Id content :: !(HashMap (Description t) (Weak t))

cacheSize :: Cache t -> IO Int Source

type Id = Int Source

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

recover :: Interned t => Description t -> IO (Maybe t)Source