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