Copyright | (c) Soostone Inc 2020 |
---|---|
License | AllRightsReserved |
Stability | experimental |
Portability | POSIX |
Safe Haskell | Safe-Inferred |
Language | GHC2021 |
Synopsis
- type SpecBackend bk = (Command (CreateView (BackendViewMeta bk)) () bk, Command (CreateMaterializedView (BackendMaterializedViewMeta bk)) () bk, Command CheckTableExists Bool bk, Command Grant () bk, Command (CreateTable (BackendTableMeta bk)) () bk, Command InsertIntoQuery () bk, Command DropView () bk, Command DropTable () bk, Command CopyTable () bk, Command DeleteFrom () bk, Command RenameTable () bk, Command UpdateQuery () bk, Command AnnotateCommand () bk, Command ReadAnnotationCommand TableAnnotations bk, Command GetTableKind TableKind bk, Command GetRelationSchema [BackendSchemaField bk] bk, Command ListTables (Set ListedTable) bk, Command NormalizeTableNames (Map (Ref Table) NormalizedTable) bk, Command AEDA TableDiagnostics bk, HasBackendSchemaField bk, RenderSql Query bk, RenderSql SExp bk, Backend bk, MustacheBackend bk, Typeable bk, RunBackendEffect bk, DumpBackendRequirements bk, HasBackendQueryStats bk, CSVImport bk)
- executeSpec :: forall bk m. (MonadFix m, MonadMask m, Katip m, SpecBackend bk, HasBackendQueryStats bk, MonadReader (ComboEnv bk) m) => CondensedLogging -> RuntimeEnv -> MetadataBeamConnection -> SpecRuntime bk -> ValidatedInterpretedSpec bk -> Set SpecTableName -> m Success
Documentation
type SpecBackend bk = (Command (CreateView (BackendViewMeta bk)) () bk, Command (CreateMaterializedView (BackendMaterializedViewMeta bk)) () bk, Command CheckTableExists Bool bk, Command Grant () bk, Command (CreateTable (BackendTableMeta bk)) () bk, Command InsertIntoQuery () bk, Command DropView () bk, Command DropTable () bk, Command CopyTable () bk, Command DeleteFrom () bk, Command RenameTable () bk, Command UpdateQuery () bk, Command AnnotateCommand () bk, Command ReadAnnotationCommand TableAnnotations bk, Command GetTableKind TableKind bk, Command GetRelationSchema [BackendSchemaField bk] bk, Command ListTables (Set ListedTable) bk, Command NormalizeTableNames (Map (Ref Table) NormalizedTable) bk, Command AEDA TableDiagnostics bk, HasBackendSchemaField bk, RenderSql Query bk, RenderSql SExp bk, Backend bk, MustacheBackend bk, Typeable bk, RunBackendEffect bk, DumpBackendRequirements bk, HasBackendQueryStats bk, CSVImport bk) #
What we seem to need to be able to call executeSpec
; it's
basically all about choosing a backend that satisfies the
needed operations.
executeSpec :: forall bk m. (MonadFix m, MonadMask m, Katip m, SpecBackend bk, HasBackendQueryStats bk, MonadReader (ComboEnv bk) m) => CondensedLogging -> RuntimeEnv -> MetadataBeamConnection -> SpecRuntime bk -> ValidatedInterpretedSpec bk -> Set SpecTableName -> m Success #