grisette-0.12.0.0: Symbolic evaluation as a library

Copyright	(c) Sirui Lu 2021-2024
License	BSD-3-Clause (see the LICENSE file)
Maintainer	siruilu@cs.washington.edu
Stability	Experimental
Portability	GHC only
Safe Haskell	Safe-Inferred
Language	Haskell2010

Grisette.Internal.SymPrim.Prim.Internal.Caches

Description

Synopsis

data SomeStableName where
- SomeStableName :: StableName a -> SomeStableName
type Id = Word32
type StableIdent = StableName Any
type Digest = Word32
data CachedInfo = CachedInfo {
- cachedThreadId :: !WeakThreadId
- cachedDigest :: !Digest
- cachedId :: !Id
- cachedStableIdent :: !StableIdent
}
class Interned t where
- data Description t
- type Uninterned t
- describe :: Uninterned t -> Description t
- identify :: CachedInfo -> Uninterned t -> t
- threadId :: t -> WeakThreadId
- descriptionDigest :: Description t -> Digest
intern :: forall t. (Interned t, Typeable t, Hashable (Description t), Eq (Description t)) => Uninterned t -> IO t
haveCache :: IO Bool
threadCacheSize :: WeakThreadId -> IO Int
threadCacheLiveSize :: WeakThreadId -> IO Int

Documentation

data SomeStableName where Source #

A type-erased stable name.

Constructors

SomeStableName :: StableName a -> SomeStableName

Instances

Instances details

Eq SomeStableName Source #
Instance details Defined in Grisette.Internal.SymPrim.Prim.Internal.Utils Methods (==) :: SomeStableName -> SomeStableName -> Bool # (/=) :: SomeStableName -> SomeStableName -> Bool #

type Id = Word32 Source #

A unique identifier for a term.

type StableIdent = StableName Any Source #

The identity of a term.

type Digest = Word32 Source #

A digest of a term.

data CachedInfo Source #

Information about a cached term.

Constructors

CachedInfo
Fields cachedThreadId :: !WeakThreadId cachedDigest :: !Digest cachedId :: !Id cachedStableIdent :: !StableIdent

Instances

Instances details

NFData CachedInfo Source #
Instance details Defined in Grisette.Internal.SymPrim.Prim.Internal.Term Methods rnf :: CachedInfo -> () #

class Interned t where Source #

A class for interning terms.

Associated Types

data Description t Source #

type Uninterned t Source #

Methods

describe :: Uninterned t -> Description t Source #

identify :: CachedInfo -> Uninterned t -> t Source #

threadId :: t -> WeakThreadId Source #

descriptionDigest :: Description t -> Digest Source #

Instances

Instances details

Interned (Term t) Source #

Instance details

Defined in Grisette.Internal.SymPrim.Prim.Internal.Term

Associated Types

data Description (Term t) Source #

type Uninterned (Term t) Source #

Methods

describe :: Uninterned (Term t) -> Description (Term t) Source #

identify :: CachedInfo -> Uninterned (Term t) -> Term t Source #

threadId :: Term t -> WeakThreadId Source #

descriptionDigest :: Description (Term t) -> Digest Source #

intern :: forall t. (Interned t, Typeable t, Hashable (Description t), Eq (Description t)) => Uninterned t -> IO t Source #

Internalize a term.

haveCache :: IO Bool Source #

Check if the current thread has a cache.

threadCacheSize :: WeakThreadId -> IO Int Source #

Get the size of the current thread's cache.

threadCacheLiveSize :: WeakThreadId -> IO Int Source #

Get the live size of the current thread's cache.