| Safe Haskell | None |
|---|
Ganeti.WConfd.ConfigVerify
Contents
Description
Implementation of functions specific to configuration management.
Synopsis
- keysSet :: Ord k => GenericContainer k v -> Set k
- checkUUIDKeys :: (UuidObject a, Show a) => String -> Container a -> ValidationMonad ()
- checkUUIDRefs :: (UuidObject a, Show a, Foldable f) => String -> String -> (a -> [String]) -> f a -> Container b -> ValidationMonad ()
- verifyConfig :: ConfigData -> ValidationMonad ()
- verifyConfigErr :: MonadError GanetiException m => ConfigData -> m ()
Configuration checks
keysSet :: Ord k => GenericContainer k v -> Set k Source #
A helper function that returns the key set of a container.
checkUUIDKeys :: (UuidObject a, Show a) => String -> Container a -> ValidationMonad () Source #
Checks that all objects are indexed by their proper UUID.
checkUUIDRefs :: (UuidObject a, Show a, Foldable f) => String -> String -> (a -> [String]) -> f a -> Container b -> ValidationMonad () Source #
Checks that all linked UUID of given objects exist.
verifyConfig :: ConfigData -> ValidationMonad () Source #
Checks consistency of a given configuration.
TODO: Currently this implements only some very basic checks. Evenually all checks from Python ConfigWriter need to be moved here (see issue #759).
verifyConfigErr :: MonadError GanetiException m => ConfigData -> m () Source #
Checks consistency of a given configuration.
If there is an error, throw ConfigVerifyError.