| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Napkin.Run.Effects.Interceptors.Validate
Synopsis
- interceptValidate :: forall b (r :: EffectRow) a. Members '[Assertion :: (Type -> Type) -> Type -> Type, SqlWrite b :: (Type -> Type) -> Type -> Type] r => MetaArguments -> SpecTableName -> SQLDialect -> Maybe CustomValidator -> Sem r a -> Sem r a
- customValidatorValidateSpecProgram :: forall {k} b (r :: EffectRow) (m :: k) a. Members '[Assertion :: (Type -> Type) -> Type -> Type, SqlWrite b :: (Type -> Type) -> Type -> Type] r => MetaArguments -> SpecTableName -> SQLDialect -> Maybe CustomValidator -> SqlWrite b m a -> Sem r ()
Documentation
interceptValidate :: forall b (r :: EffectRow) a. Members '[Assertion :: (Type -> Type) -> Type -> Type, SqlWrite b :: (Type -> Type) -> Type -> Type] 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 {k} b (r :: EffectRow) (m :: k) a. Members '[Assertion :: (Type -> Type) -> Type -> Type, SqlWrite b :: (Type -> Type) -> Type -> Type] r => MetaArguments -> SpecTableName -> SQLDialect -> Maybe CustomValidator -> SqlWrite b m a -> Sem r () #