Modulevault-0.3.1.5Haskell2010

Data.Vault.ST.Lazy

A persistent store for values of arbitrary types. Variant for the ST monad.

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

Vault

9 declarations

newtypenewtype Vault s

Instances2Semigroup, Monoid

newtypenewtype Key s a

valueempty :: Vault s

The empty vault.

valuenewKey :: ST s (Key s a)

Create a new key for use with a vault.

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

Lookup the value of a key in the vault.

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

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

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

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

valuedelete :: Key s a -> Vault s -> Vault s

Delete a key from the vault.

valueunion :: Vault s -> Vault s -> Vault s

Merge two vaults (left-biased).

3 declarations

datadata Locker s

valuelock :: Key s a -> a -> Locker s

Put a single value into a Locker.

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

Retrieve the value from the Locker.