Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Generic validation of native queries while tracking them.
Synopsis
- validateArgumentDeclaration :: (MonadIO m, MonadError QErr m) => NativeQueryMetadata b -> m ()
Documentation
validateArgumentDeclaration :: (MonadIO m, MonadError QErr m) => NativeQueryMetadata b -> m () Source #
Check that the set of declared arguments and the set of used arguments (in the code) is the same.