Safe Haskell	None
Language	Haskell98

Data.Interned.Internal

Documentation

class (Eq (Description t), Hashable (Description t)) => Interned t where #

Minimal complete definition

describe, identify, cache

Associated Types

data Description t #

type Uninterned t #

Methods

describe :: Uninterned t -> Description t #

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

seedIdentity :: p t -> Id #

cacheWidth :: p t -> Int #

modifyAdvice :: IO t -> IO t #

cache :: Cache t #

Instances

Interned IntSet #
Instance details Defined in Data.Interned.IntSet Associated Types data Description IntSet :: * # type Uninterned IntSet :: * # Methods describe :: Uninterned IntSet -> Description IntSet # identify :: Id -> Uninterned IntSet -> IntSet # seedIdentity :: p IntSet -> Id # cacheWidth :: p IntSet -> Int # modifyAdvice :: IO IntSet -> IO IntSet # cache :: Cache IntSet #
Interned InternedByteString #
Instance details Defined in Data.Interned.Internal.ByteString Associated Types data Description InternedByteString :: * # type Uninterned InternedByteString :: * # Methods describe :: Uninterned InternedByteString -> Description InternedByteString # identify :: Id -> Uninterned InternedByteString -> InternedByteString # seedIdentity :: p InternedByteString -> Id # cacheWidth :: p InternedByteString -> Int # modifyAdvice :: IO InternedByteString -> IO InternedByteString # cache :: Cache InternedByteString #
Interned InternedString #
Instance details Defined in Data.Interned.Internal.String Associated Types data Description InternedString :: * # type Uninterned InternedString :: * # Methods describe :: Uninterned InternedString -> Description InternedString # identify :: Id -> Uninterned InternedString -> InternedString # seedIdentity :: p InternedString -> Id # cacheWidth :: p InternedString -> Int # modifyAdvice :: IO InternedString -> IO InternedString # cache :: Cache InternedString #
Interned InternedText #
Instance details Defined in Data.Interned.Internal.Text Associated Types data Description InternedText :: * # type Uninterned InternedText :: * # Methods describe :: Uninterned InternedText -> Description InternedText # identify :: Id -> Uninterned InternedText -> InternedText # seedIdentity :: p InternedText -> Id # cacheWidth :: p InternedText -> Int # modifyAdvice :: IO InternedText -> IO InternedText # cache :: Cache InternedText #

class Interned t => Uninternable t where #

Minimal complete definition

unintern

Methods

unintern :: t -> Uninterned t #

Instances

Uninternable IntSet #
Instance details Defined in Data.Interned.IntSet Methods unintern :: IntSet -> Uninterned IntSet #
Uninternable InternedByteString #
Instance details Defined in Data.Interned.Internal.ByteString Methods unintern :: InternedByteString -> Uninterned InternedByteString #
Uninternable InternedString #
Instance details Defined in Data.Interned.Internal.String Methods unintern :: InternedString -> Uninterned InternedString #
Uninternable InternedText #
Instance details Defined in Data.Interned.Internal.Text Methods unintern :: InternedText -> Uninterned InternedText #

mkCache :: Interned t => Cache t #

newtype Cache t #

Constructors

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

data CacheState t #

Constructors

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

cacheSize :: Cache t -> IO Int #

type Id = Int #

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

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