Copyright | (c) 2018 Chris Coffey (c) 2018 CollegeVine |
---|---|
License | MIT |
Maintainer | Chris Coffey |
Stability | experimental |
Portability | portable |
Safe Haskell | None |
Language | Haskell2010 |
Synopsis
- runAllRules :: (MonadDecrypt m key, Monad m, MonadWriter [Text] m, MonadReader (ConfCryptFile, key) m) => m ()
- parameterTypesMatchSchema :: (Monad m, MonadWriter [Text] m, MonadDecrypt m key) => key -> ConfCryptFile -> m ()
- logMissingSchemas :: (Monad m, MonadWriter [Text] m) => ConfCryptFile -> m ()
- logMissingParameters :: (Monad m, MonadWriter [Text] m) => ConfCryptFile -> m ()
Rule validation
runAllRules :: (MonadDecrypt m key, Monad m, MonadWriter [Text] m, MonadReader (ConfCryptFile, key) m) => m () Source #
Apply all validation rules, accumulating the errors across rules.
Individual rules
parameterTypesMatchSchema :: (Monad m, MonadWriter [Text] m, MonadDecrypt m key) => key -> ConfCryptFile -> m () Source #
For each (Schema, Parameter) pair, confirm that the parameter's value type matches the schema.
logMissingSchemas :: (Monad m, MonadWriter [Text] m) => ConfCryptFile -> m () Source #
Raise an error if there are parameters without a schema
logMissingParameters :: (Monad m, MonadWriter [Text] m) => ConfCryptFile -> m () Source #
Raise an error if there are schema without a parameter