| Safe Haskell | Safe-Infered |
|---|
Ganeti.WConfd.ConfigVerify
Contents
Description
Implementation of functions specific to configuration management.
- 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 kSource
checkUUIDKeys :: (UuidObject a, Show a) => String -> Container a -> ValidationMonad ()Source
checkUUIDRefs :: (UuidObject a, Show a, Foldable f) => String -> String -> (a -> [String]) -> f a -> Container b -> ValidationMonad ()Source
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.