proc exec(db: PSqlite3; query: string; args: JsonNode;
          columns: seq[(string, string)]; timeout: int): owned(Future[void]) {.
    ...stackTrace: false, raises: [Exception, ValueError, KeyError, DbError],
    tags: [RootEffect, TimeEffect], forbids: [].}

proc exec(db: PSqlite3; query: string; args: JsonNode; timeout: int): owned(
    Future[void]) {....stackTrace: false, raises: [Exception, ValueError, DbError],
                    tags: [RootEffect, TimeEffect], forbids: [].}

proc exec(db: PSqlite3; query: string; args: seq[string]; timeout: int): owned(
    Future[void]) {....stackTrace: false, raises: [Exception, ValueError, DbError],
                    tags: [RootEffect, TimeEffect], forbids: [].}

proc getColumns(db: PSqlite3; query: string; args: seq[string]; timeout: int): Future[
    seq[string]] {....stackTrace: false, raises: [Exception, ValueError, DbError],
                   tags: [RootEffect], forbids: [].}

proc getColumnTypes(db: PSqlite3; query: string): Future[seq[(string, string)]] {.
    ...stackTrace: false, raises: [Exception, ValueError, DbError],
    tags: [RootEffect, TimeEffect, ReadDbEffect], forbids: [].}

proc prepare(db: PSqlite3; query: string; timeout: int): Future[PStmt] {.
    ...stackTrace: false, raises: [Exception, ValueError, DbError],
    tags: [RootEffect], forbids: [].}

proc preparedExec(db: PSqlite3; args: seq[string] = @[]; sqliteStmt: PStmt): owned(
    Future[void]) {....stackTrace: false, raises: [Exception, DbError, ValueError],
                    tags: [RootEffect, TimeEffect], forbids: [].}

proc preparedQuery(db: PSqlite3; args: seq[string] = @[]; sqliteStmt: PStmt): Future[
    (seq[Row], DbRows)] {....stackTrace: false,
                          raises: [Exception, ValueError, DbError], tags: [
    RootEffect, TimeEffect, ReadDbEffect, WriteDbEffect], forbids: [].}

proc query(db: PSqlite3; query: string; args: seq[string]; timeout: int): Future[
    (seq[Row], DbRows)] {....stackTrace: false,
                          raises: [Exception, ValueError, DbError],
                          tags: [RootEffect, TimeEffect, ReadDbEffect],
                          forbids: [].}

proc queryPlain(db: PSqlite3; query: string; args: seq[string]; timeout: int): Future[
    seq[Row]] {....stackTrace: false, raises: [Exception, ValueError, DbError],
                tags: [RootEffect, TimeEffect, ReadDbEffect], forbids: [].}