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

Ord from => ListRegistryContents Registry from to

Defined in Util.Registry

Methods

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

listRegistryContentsAndEmptyRegistry :: Registry from to -> IO [(from, to)]

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

Ord from => NewRegistry (Registry from to)

Defined in Util.Registry

Methods

newRegistry :: IO (Registry from to)

emptyRegistry :: Registry from to -> IO ()

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

Defined in Util.Registry

Methods

writeBin :: WriteBinary m -> Registry from to -> m ()

readBin :: ReadBinary m -> m (Registry from to)

Ord from => KeyOpsRegistry (Registry from to) from

Defined in Util.Registry

Methods

deleteFromRegistryBool :: Registry from to -> from -> IO Bool

deleteFromRegistry :: Registry from to -> from -> IO ()

listKeys :: Registry from to -> IO [from]

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

Defined in Util.Registry

Methods

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

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

getValue :: Registry from to -> from -> IO to

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

type UntypedRegistry from = Untyped Registry from

data LockedRegistry from to

Instances

Ord from => NewRegistry (LockedRegistry from to)

Defined in Util.Registry

Methods

newRegistry :: IO (LockedRegistry from to)

emptyRegistry :: LockedRegistry from to -> IO ()

Ord from => KeyOpsRegistry (LockedRegistry from to) from

Defined in Util.Registry

Methods

deleteFromRegistryBool :: LockedRegistry from to -> from -> IO Bool

deleteFromRegistry :: LockedRegistry from to -> from -> IO ()

listKeys :: LockedRegistry from to -> IO [from]

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

Defined in Util.Registry

Methods

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

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

getValue :: LockedRegistry from to -> from -> IO to

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

type UntypedLockedRegistry from = Untyped LockedRegistry from

data Untyped registry from

Instances

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

Defined in Util.Registry

Methods

newRegistry :: IO (Untyped registry from)

emptyRegistry :: Untyped registry from -> IO ()

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

Defined in Util.Registry

Methods

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

getValueAsDyn :: Untyped registry from -> from -> IO Dyn

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

Defined in Util.Registry

Methods

deleteFromRegistryBool :: Untyped registry from -> from -> IO Bool

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

listKeys :: Untyped registry from -> IO [from]

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

Defined in Util.Registry

Methods

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

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

getValue :: Untyped registry from -> from -> IO to

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

data Unsafe registry from

Instances

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

Defined in Util.Registry

Methods

newRegistry :: IO (Unsafe registry from)

emptyRegistry :: Unsafe registry from -> IO ()

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

Defined in Util.Registry

Methods

deleteFromRegistryBool :: Unsafe registry from -> from -> IO Bool

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

listKeys :: Unsafe registry from -> IO [from]

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

Defined in Util.Registry

Methods

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

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

getValue :: Unsafe registry from -> from -> IO to

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

type UnsafeRegistry from = Unsafe Registry from

class NewRegistry registry where

Minimal complete definition

newRegistry, emptyRegistry

Methods

newRegistry :: IO registry

emptyRegistry :: registry -> IO ()

Instances

Ord from => NewRegistry (LockedRegistry from to)

Defined in Util.Registry

Methods

newRegistry :: IO (LockedRegistry from to)

emptyRegistry :: LockedRegistry from to -> IO ()

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

Defined in Util.Registry

Methods

newRegistry :: IO (Unsafe registry from)

emptyRegistry :: Unsafe registry from -> IO ()

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

Defined in Util.Registry

Methods

newRegistry :: IO (Untyped registry from)

emptyRegistry :: Untyped registry from -> IO ()

Ord from => NewRegistry (Registry from to)

Defined in Util.Registry

Methods

newRegistry :: IO (Registry from to)

emptyRegistry :: Registry from to -> IO ()

class GetSetRegistry registry from to where

Minimal complete definition

transformValue

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

Defined in Util.Registry

Methods

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

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

getValue :: LockedRegistry from to -> from -> IO to

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

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

Defined in Util.Registry

Methods

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

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

getValue :: Unsafe registry from -> from -> IO to

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

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

Defined in Util.Registry

Methods

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

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

getValue :: Untyped registry from -> from -> IO to

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

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

Defined in Util.Registry

Methods

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

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

getValue :: Registry from to -> from -> IO to

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

class GetSetRegistryDyn registry from where

Minimal complete definition

setValueAsDyn, getValueAsDyn

Methods

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

getValueAsDyn :: registry -> from -> IO Dyn

Instances

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

Defined in Util.Registry

Methods

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

getValueAsDyn :: Untyped registry from -> from -> IO Dyn

class KeyOpsRegistry registry from where

Minimal complete definition

deleteFromRegistryBool, listKeys

Methods

deleteFromRegistryBool :: registry -> from -> IO Bool

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

listKeys :: registry -> IO [from]

Instances

Ord from => KeyOpsRegistry (LockedRegistry from to) from

Defined in Util.Registry

Methods

deleteFromRegistryBool :: LockedRegistry from to -> from -> IO Bool

deleteFromRegistry :: LockedRegistry from to -> from -> IO ()

listKeys :: LockedRegistry from to -> IO [from]

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

Defined in Util.Registry

Methods

deleteFromRegistryBool :: Unsafe registry from -> from -> IO Bool

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

listKeys :: Unsafe registry from -> IO [from]

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

Defined in Util.Registry

Methods

deleteFromRegistryBool :: Untyped registry from -> from -> IO Bool

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

listKeys :: Untyped registry from -> IO [from]

Ord from => KeyOpsRegistry (Registry from to) from

Defined in Util.Registry

Methods

deleteFromRegistryBool :: Registry from to -> from -> IO Bool

deleteFromRegistry :: Registry from to -> from -> IO ()

listKeys :: Registry from to -> IO [from]

class ListRegistryContents registry from to where

ListRegistryContents will not be implemented for the untyped registries.

Minimal complete definition

listRegistryContents, listRegistryContentsAndEmptyRegistry, listToNewRegistry

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

Defined in Util.Registry

Methods

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

listRegistryContentsAndEmptyRegistry :: Registry from to -> IO [(from, to)]

listToNewRegistry :: [(from, to)] -> IO (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