Modulevault-0.3.2.0Haskell2010

Data.Vault.Lazy

A persistent store for values of arbitrary types.

The Vault type in this module is strict in the keys but lazy in the values.

Contents

Synopsis

Vault

typetype Vault = Vault RealWorld

A persistent store for values of arbitrary types.

This variant is the simplest and creates keys in the IO monad. See the module Data.Vault.ST if you want to use it with the ST monad instead.

typetype Key = Key RealWorld

Keys for the vault.

valueempty :: Vault

The empty vault.

valuenewKey :: IO (Key a)

Create a new key for use with a vault.

valuelookup :: Key a -> Vault -> Maybe a

Lookup the value of a key in the vault.

valueinsert :: Key a -> a -> Vault -> Vault

Insert a value for a given key. Overwrites any previous value.

valueadjust :: (a -> a) -> Key a -> Vault -> Vault

Adjust the value for a given key if it's present in the vault.

valuedelete :: Key a -> Vault -> Vault

Delete a key from the vault.

valueunion :: Vault -> Vault -> Vault

Merge two vaults (left-biased).

typetype Locker = Locker RealWorld

A persistent store for a single value.

valuelock :: Key a -> a -> Locker

Put a single value into a Locker.

valueunlock :: Key a -> Locker -> Maybe a

Retrieve the value from the Locker.