Moduleunliftio-0.2.25.1Haskell2010

UnliftIO.Memoize

Memoize the results of actions. In other words: actions will be run once, on demand, and their results saved.

Exceptions semantics: if a synchronous exception is thrown while performing the computation, that result will be saved and rethrown each time runMemoized is called subsequently.'

1 type
3 values

Packageunliftio-0.2.25.1
Exports4
LanguageHaskell2010
LicenceMIT
SourceMemoize.hs

newtypenewtype Memoized a

A "run once" value, with results saved. Extract the value with runMemoized. For single-threaded usage, you can use memoizeRef to create a value. If you need guarantees that only one thread will run the action at a time, use memoizeMVar.

Note that this type provides a Show instance for convenience, but not useful information can be provided.

Instances4Monad, Functor, Applicative, Show

Monad MemoizedDefined in unliftio-0.2.25.1 · UnliftIO.Memoize
Functor MemoizedDefined in unliftio-0.2.25.1 · UnliftIO.Memoize
Applicative MemoizedDefined in unliftio-0.2.25.1 · UnliftIO.Memoize
Show (Memoized a)Defined in unliftio-0.2.25.1 · UnliftIO.Memoize

valuerunMemoized :: MonadIO m => Memoized a -> m a

Extract a value from a Memoized, running an action if no cached value is available.

valuememoizeRef :: MonadUnliftIO m => m a -> m (Memoized a)

Create a new Memoized value using an IORef under the surface. Note that the action may be run in multiple threads simultaneously, so this may not be thread safe (depending on the underlying action). Consider using memoizeMVar.

valuememoizeMVar :: MonadUnliftIO m => m a -> m (Memoized a)

Same as memoizeRef, but uses an MVar to ensure that an action is only run once, even in a multithreaded application.