Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- interceptSqlReadDiscoverDependencies :: forall r a. Members [Writer (Set (Ref Table)), Output Query, Input (Transformed HiddenDependencies), Input (Transformed ExtraDependencies), SqlRead] r => Sem r a -> Sem r a
- interceptSqlWriteDiscoverDependencies :: forall r a. Members [Writer (Set (Ref Table)), Output Query, Input (Transformed HiddenDependencies), Input (Transformed ExtraDependencies), SqlWrite] r => Sem r a -> Sem r a
- interceptExternalCreateReportDependencies :: forall effs a. Members [Writer (Set (Ref Table)), Input (Transformed ExtraDependencies), ExternalCreate] effs => Sem effs a -> Sem effs a
Documentation
interceptSqlReadDiscoverDependencies :: forall r a. Members [Writer (Set (Ref Table)), Output Query, Input (Transformed HiddenDependencies), Input (Transformed ExtraDependencies), SqlRead] r => Sem r a -> Sem r a #
Find all dependencies used in the given program. This incorporates both hidden and forcefully added dependencies in its report-out, and so it can be used for resolving dependencies in Spec.
TODO. This interceptor should probably get an Assertion dependence so that it can emit ValidationFailure when encountering table names with an asterisk in them but without a fully qualified xdep that matches the pattern. So we can warn user that they need to provide the dependency. Plus any other validations that should be performed during this operation.
interceptSqlWriteDiscoverDependencies :: forall r a. Members [Writer (Set (Ref Table)), Output Query, Input (Transformed HiddenDependencies), Input (Transformed ExtraDependencies), SqlWrite] r => Sem r a -> Sem r a #
interceptExternalCreateReportDependencies :: forall effs a. Members [Writer (Set (Ref Table)), Input (Transformed ExtraDependencies), ExternalCreate] effs => Sem effs a -> Sem effs a #