Copyright | (c) Soostone Inc 2020 |
---|---|
License | AllRightsReserved |
Stability | experimental |
Portability | POSIX |
Safe Haskell | None |
Language | Haskell2010 |
Synopsis
- type SpecBackend bk = (Command (CreateViewAs (BackendViewMeta bk)) () bk, Command (CreateMaterializedViewAs (BackendMaterializedViewMeta bk)) () bk, Command CheckTableExists Bool bk, Command Grant () bk, Command (CreateTableAs (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 GetRelationSchema [BackendSchemaField bk] bk, HasBackendSchemaField bk, RenderSql (Ref Table) bk, RenderSql Query bk, RenderSql SExp bk, Backend bk, MustacheBackend bk, Typeable bk, RunBackendEffect bk, DumpBackendRequirements bk)
- executeSpec :: forall m bk. (MonadFix m, MonadBaseControl IO m, MonadMask m, Katip m, MonadReader ComboEnv m, SpecBackend bk, MonadQueryStats m, RunBackendEffect bk) => RuntimeEnv -> bk -> MetadataBeamConnection -> SpecRuntime bk -> ValidatedInterpretedSpec bk -> Set (Ref Table) -> m Success
Documentation
type SpecBackend bk = (Command (CreateViewAs (BackendViewMeta bk)) () bk, Command (CreateMaterializedViewAs (BackendMaterializedViewMeta bk)) () bk, Command CheckTableExists Bool bk, Command Grant () bk, Command (CreateTableAs (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 GetRelationSchema [BackendSchemaField bk] bk, HasBackendSchemaField bk, RenderSql (Ref Table) bk, RenderSql Query bk, RenderSql SExp bk, Backend bk, MustacheBackend bk, Typeable bk, RunBackendEffect bk, DumpBackendRequirements 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 m bk. (MonadFix m, MonadBaseControl IO m, MonadMask m, Katip m, MonadReader ComboEnv m, SpecBackend bk, MonadQueryStats m, RunBackendEffect bk) => RuntimeEnv -> bk -> MetadataBeamConnection -> SpecRuntime bk -> ValidatedInterpretedSpec bk -> Set (Ref Table) -> m Success #