Documentation

newtype Key a Source #

newKey :: IO (Key a) Source #

lookup :: Key a -> Vault -> Maybe a Source #

fromMine :: Key a -> Key a Source #

toMine :: Key a -> Key a Source #

adjust :: (a -> a) -> Key a -> Vault -> Vault Source #

insert :: Key a -> a -> Vault -> Vault Source #

type Vault = Vault RealWorld #

empty :: Vault #