intern-0.2.0: 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 t -> Uninterned t -> tSource

identity :: t -> Id tSource

cache :: Cache tSource

Instances

class Interned t => Uninternable t whereSource

Methods

unintern :: t -> Uninterned tSource

Instances

mkCache :: Cache tSource

newtype Cache t Source

Constructors

Cache 

Fields

getCache :: MVar (CacheState t)
 

data CacheState t Source

Constructors

CacheState !(Id t) !(HashMap (Description t) (Weak t)) 

newtype Id t Source

Constructors

Id Int 

Instances

Enum (Id t) 
Eq (Id t) 
Integral (Id t) 
Num (Id t) 
Ord (Id t) 
Real (Id t) 
Show (Id t) 
Hashable (Id t) 

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