Util.Registry

A Registry is a mapping from ordered values. For the Registry type itself, all target values have the same type. For the UntypedRegistry type, the values can have any Typeable type.

Documentation

data Ord from => Registry from to

Instances

Typeable2 Registry

Ord from => ListRegistryContents Registry from to

Ord from => NewRegistry (Registry from to)

(HasBinary (from, to) m, Ord from, MonadIO m) => HasBinary (Registry from to) m

Ord from => KeyOpsRegistry (Registry from to) from

Ord from => GetSetRegistry (Registry from to) from to

type UntypedRegistry from = Untyped Registry from

data LockedRegistry from to

Instances

Typeable2 LockedRegistry

Ord from => NewRegistry (LockedRegistry from to)

Ord from => KeyOpsRegistry (LockedRegistry from to) from

Ord from => GetSetRegistry (LockedRegistry from to) from to

type UntypedLockedRegistry from = Untyped LockedRegistry from

data Untyped registry from

Instances

NewRegistry (registry from Dyn) => NewRegistry (Untyped registry from)

GetSetRegistry (registry from Dyn) from Dyn => GetSetRegistryDyn (Untyped registry from) from

KeyOpsRegistry (registry from Dyn) from => KeyOpsRegistry (Untyped registry from) from

(Typeable to, GetSetRegistry (registry from Dyn) from Dyn) => GetSetRegistry (Untyped registry from) from to

data Unsafe registry from

Instances

NewRegistry (registry from Obj) => NewRegistry (Unsafe registry from)

KeyOpsRegistry (registry from Obj) from => KeyOpsRegistry (Unsafe registry from) from

GetSetRegistry (registry from Obj) from Obj => GetSetRegistry (Unsafe registry from) from to

type UnsafeRegistry from = Unsafe Registry from

class NewRegistry registry where

Methods

newRegistry :: IO registry

emptyRegistry :: registry -> IO ()

Instances

Ord from => NewRegistry (LockedRegistry from to)

NewRegistry (registry from Obj) => NewRegistry (Unsafe registry from)

NewRegistry (registry from Dyn) => NewRegistry (Untyped registry from)

Ord from => NewRegistry (Registry from to)

class GetSetRegistry registry from to where

Methods

transformValue :: registry -> from -> (Maybe to -> IO (Maybe to, extra)) -> IO extra

getValueOpt :: registry -> from -> IO (Maybe to)

getValue :: registry -> from -> IO to

setValue :: registry -> from -> to -> IO ()

Instances

Ord from => GetSetRegistry (LockedRegistry from to) from to

GetSetRegistry (registry from Obj) from Obj => GetSetRegistry (Unsafe registry from) from to

(Typeable to, GetSetRegistry (registry from Dyn) from Dyn) => GetSetRegistry (Untyped registry from) from to

Ord from => GetSetRegistry (Registry from to) from to

class GetSetRegistryDyn registry from where

Methods

setValueAsDyn :: registry -> from -> Dyn -> IO ()

getValueAsDyn :: registry -> from -> IO Dyn

Instances

GetSetRegistry (registry from Dyn) from Dyn => GetSetRegistryDyn (Untyped registry from) from

class KeyOpsRegistry registry from where

Methods

deleteFromRegistryBool :: registry -> from -> IO Bool

deleteFromRegistry :: registry -> from -> IO ()

listKeys :: registry -> IO [from]

Instances

Ord from => KeyOpsRegistry (LockedRegistry from to) from

KeyOpsRegistry (registry from Obj) from => KeyOpsRegistry (Unsafe registry from) from

KeyOpsRegistry (registry from Dyn) from => KeyOpsRegistry (Untyped registry from) from

Ord from => KeyOpsRegistry (Registry from to) from

class ListRegistryContents registry from to where

ListRegistryContents will not be implemented for the untyped registries.

Methods

listRegistryContents :: registry from to -> IO [(from, to)]

listRegistryContentsAndEmptyRegistry

Arguments

:: registry from to

-> IO [(from, to)]

this is atomic.

listToNewRegistry :: [(from, to)] -> IO (registry from to)

Instances

Ord from => ListRegistryContents Registry from to

changeKey :: Ord from => Registry from to -> from -> from -> IO ()

look up the element given by the first key, and if it exists delete it, replacing it with the element given by the second key.

getRegistryValue :: Ord from => Registry from to -> from -> IO to

getValueDefault :: GetSetRegistry registry from to => to -> registry -> from -> IO to

lockedRegistryCheck :: IO a -> IO (Either String a)

getValue' :: GetSetRegistry registry from to => String -> registry -> from -> IO to

getValueSafe :: GetSetRegistry registry from to => String -> registry -> from -> IO to

getRegistryValueSafe :: Ord from => String -> Registry from to -> from -> IO to