Documentation
class (Eq (Description t), Hashable (Description t)) => Interned t whereSource
data Description t Source
type Uninterned t Source
describe :: Uninterned t -> Description tSource
unintern :: t -> Uninterned tSource
identify :: Id t -> Uninterned t -> tSource
data CacheState t Source
CacheState !(Id t) (HashMap (Description t) (Weak t)) |
intern :: Interned t => Uninterned t -> tSource