Data.Interned.Internal

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

unintern :: t -> Uninterned t

identify :: Id t -> Uninterned t -> t

identity :: t -> Id t

cache :: Cache t

Instances

Interned InternedByteString

mkCache :: Cache t

newtype Cache t

Constructors

Cache

Fields

getCache :: MVar (CacheState t)

data CacheState t

Constructors

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

newtype Id t

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 -> t