Database.KVS

Documentation

class Monad s => KVS c s k v | c -> s, c -> k, c -> v where

Methods

insert :: c -> k -> v -> s ()

lookup :: c -> k -> s (Maybe v)

delete

Arguments

:: c

Container

-> k

Key

-> s (Maybe Bool)

success, failed or unknown

Delete specified key-value pair from container.

accept

Arguments

:: c

Container

-> k

Key

-> s b

Action for key not found

-> (v -> s b)

Action for key found (with Lock)

-> s b

Lookup value

Instances

KVS FileSystemKVS IO FilePath ByteString

KVS Memcached IO ByteString ByteString

Monad s => KVS (BucketKVS c s v) s ByteString v

(KVS c s k' v', Monad s) => KVS (WrappedKVS c k' v' s k v) s k v

class Monad s => EnumeratableKVS c s k v | c -> s, c -> k, c -> v where

Methods

keys :: c -> Source (ResourceT s) k

elems :: c -> Source (ResourceT s) v

elemsWithKey :: c -> Source (ResourceT s) (k, v)

Instances

EnumeratableKVS FileSystemKVS IO FilePath ByteString

(Monad s, EnumeratableKVS c s k' v') => EnumeratableKVS (WrappedKVS c k' v' s k v) s k v

class Monad s => WipableKVS c s | c -> s where

Methods

wipe :: c -> s ()

Instances

WipableKVS FileSystemKVS IO

(Monad s, WipableKVS c s) => WipableKVS (BucketKVS c s v) s

(Monad s, WipableKVS c s) => WipableKVS (WrappedKVS c k' v' s k v) s

data BucketKVS c s v where

Constructors

BucketKVS :: KVS c s ByteString v => ByteString -> c -> BucketKVS c s v

Instances

(Monad s, WipableKVS c s) => WipableKVS (BucketKVS c s v) s

Monad s => KVS (BucketKVS c s v) s ByteString v

data WrappedKVS c k' v' s k v

Instances

(Monad s, WipableKVS c s) => WipableKVS (WrappedKVS c k' v' s k v) s

(Monad s, EnumeratableKVS c s k' v') => EnumeratableKVS (WrappedKVS c k' v' s k v) s k v

(KVS c s k' v', Monad s) => KVS (WrappedKVS c k' v' s k v) s k v

lookupWithDefault :: (Monad s, Default v, KVS c s k v) => c -> k -> s v

wrap :: KVS a s k' v' => (k -> k') -> (k' -> k) -> (v -> v') -> (v' -> v) -> a -> WrappedKVS a k' v' s k v

wrapBinary :: (KVS a s ByteString ByteString, Binary k, Binary v) => a -> WrappedKVS a ByteString ByteString s k v

wrapShow :: (KVS a s ByteString ByteString, Show k, Show v, Read k, Read v) => a -> WrappedKVS a ByteString ByteString s k v

wrapJSON :: (KVS a s ByteString ByteString, FromJSON k, ToJSON k, FromJSON v, ToJSON v) => a -> WrappedKVS a ByteString ByteString s k v