| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Napkin.Run.Effects.Interceptors.Validate
Synopsis
- interceptValidate :: forall b r a. Members [Assertion, SqlWrite b] r => MetaArguments -> SpecTableName -> SQLDialect -> Maybe CustomValidator -> Sem r a -> Sem r a
- customValidatorValidateSpecProgram :: forall b r m a. Members [Assertion, SqlWrite b] r => MetaArguments -> SpecTableName -> SQLDialect -> Maybe CustomValidator -> SqlWrite b m a -> Sem r ()
Documentation
interceptValidate :: forall b r a. Members [Assertion, SqlWrite b] r => MetaArguments -> SpecTableName -> SQLDialect -> Maybe CustomValidator -> Sem r a -> Sem r a #
Intercept a program with SqlBackend in it and apply a custom validation function.
customValidatorValidateSpecProgram :: forall b r m a. Members [Assertion, SqlWrite b] r => MetaArguments -> SpecTableName -> SQLDialect -> Maybe CustomValidator -> SqlWrite b m a -> Sem r () #