Documentation

type SqlWriteIO (m :: Type -> Type) bk = (SqlIO m, MonadNapkin bk m, Command CheckTableExists Bool bk, Command (CreateTable (BackendTableMeta bk)) () bk, Command InsertIntoQuery () bk, Command (CreateView (BackendViewMeta bk)) () bk, Command (CreateMaterializedView (BackendMaterializedViewMeta bk)) () bk, Command RenameTable () bk, Command CopyTable () bk, Command DropTable () bk, Command DropView () bk, Command DeleteFrom () bk, Command UpdateQuery () bk, CSVImport bk, Command (CreateTableDDL (BackendTableMeta bk)) () bk, Command InsertIntoTable () bk) #

runSqlWriteIO :: forall bk (m :: Type -> Type) (r :: EffectRow). (SqlWriteIO m bk, Members '[Embed m, FatalError :: (Type -> Type) -> Type -> Type, AnnotateWrite bk :: (Type -> Type) -> Type -> Type] r) => BackendConn bk -> SpecPaths -> InterpreterFor (SqlWrite bk :: (Type -> Type) -> Type -> Type) r #