Safe Haskell | None |
---|---|
Language | GHC2024 |
Napkin.Run.Effects.Interpreters.SqlWrite
Documentation
type SqlWriteIO (m :: Type -> Type) bk = (SqlIO m, MonadNapkin bk m, Backend bk, Default (BackendTableMeta bk), RenderSql (CreateRelation bk) bk, RenderSql InsertInto bk, RenderSql (CreateTableSchema bk) bk, RenderSql DeleteRows bk, RenderSql UpdateQuery bk, RenderSql AddColumnToTable bk, RenderSql DropColumnFromTable bk) #
runSqlWriteIO :: forall bk (m :: Type -> Type) (r :: EffectRow). (Members '[Embed m, FatalError :: (Type -> Type) -> Type -> Type, AnnotateWrite bk :: (Type -> Type) -> Type -> Type] r, SqlWriteIO m bk) => BackendConn bk -> InterpreterFor (SqlWrite bk :: (Type -> Type) -> Type -> Type) r #