From c8bde849c8b94904e221e64f5742861c4248bc95 Mon Sep 17 00:00:00 2001 From: jay817 Date: Mon, 17 Mar 2025 14:58:37 +0000 Subject: [PATCH] Update README.md --- README.md | 45 +++++++++++++++++++++++---------------------- 1 file changed, 23 insertions(+), 22 deletions(-) diff --git a/README.md b/README.md index a752b7b..370af2d 100644 --- a/README.md +++ b/README.md @@ -1,26 +1,27 @@ -## sqlite3 [25-02-23] +## sqlite3 [25-03-17] ```py -from tqdm.auto import tqdm, trange; import json -Soup = lambda html: __import__('bs4').BeautifulSoup(html, 'lxml') -for i,c in enumerate('RGYB'):globals()[c]=lambda s,i=i:f'\x1b[{91+i}m{s}\x1b[0m' -def SQL(db='.db'): - import sqlite3, os, json; (not os.path.exists(db) and os.makedirs(db) is None, - (con := sqlite3.connect(f'{db}/sql', isolation_level=None)).execute( - "PRAGMA busy_timeout="f'{1e9}'))[0] and con.executescript( - "PRAGMA journal_mode=WAL; CREATE TABLE kv(k,v,t DEFAULT CURRENT_TIMESTAMP);" - "CREATE INDEX idx_kv_v ON kv(v); CREATE INDEX idx_kv_k_t ON kv(k,t DESC);") - return (sql := type('', (), dict(__call__=lambda _, q, *p: [*con.execute(q, p)], - __setitem__=lambda _, k, v: sql("INSERT INTO kv(k,v) VALUES(?,?)", - k, v if type(v) is bytes else json.dumps(v)), - __getitem__=lambda _, k: (json.loads(v) if type(v := v[0][0]) is str else v) if - (v := sql("SELECT v FROM kv WHERE k=? ORDER BY t DESC LIMIT 1", k)) else None, - __eq__=lambda _, query: sql("SELECT * FROM kv WHERE k LIKE ?", query), - __ne__=lambda _, query: sql("SELECT * FROM kv WHERE k NOT LIKE ?", query), - __delitem__=lambda _, rows: [ - sql("DELETE FROM kv WHERE k=? AND v=? AND t=?", *row) for row in rows], - __contains__=lambda _, k: bool(sql("SELECT 1 FROM kv WHERE k=?", k)), - __len__=lambda _: sql("SELECT COUNT(*) FROM kv")[0][0], - __iter__=lambda _: iter(k[0] for k in sql("SELECT k FROM kv"))))()) +class SQL: + def __init__(sql, db='.db'): + import sqlite3, os; sql.db = db + if not os.path.exists(db): os.makedirs(db); SQL().con.executescript( + "PRAGMA journal_mode=WAL; CREATE TABLE kv(k,v,t DEFAULT CURRENT_TIMESTAMP);" + "CREATE INDEX idx_kv_v ON kv(v); CREATE INDEX idx_kv_k_t ON kv(k,t DESC);") + (con := sqlite3.connect(f'{db}/sql', check_same_thread=False, + isolation_level=None)).execute("PRAGMA busy_timeout="f'{1e9}'); sql.con = con + def __call__(sql, q, *p): return [*sql.con.execute(q, p)] + def __setitem__(sql, k, v): return sql("INSERT INTO kv(k,v) VALUES(?,?)", + k, v if type(v) is bytes else __import__('json').dumps(v, ensure_ascii=False)) + def __getitem__(sql, k): + if (v := sql("SELECT v FROM kv WHERE k=? ORDER BY t DESC LIMIT 1", k)): + return __import__('json').loads(v) if type(v := v[0][0]) is str else v + def __eq__(sql, query): return sql("SELECT * FROM kv WHERE k LIKE ?", query) + def __ne__(sql, query): return sql("SELECT * FROM kv WHERE k NOT LIKE ?", query) + def __delitem__(sql, rows): + for row in rows: sql("DELETE FROM kv WHERE k=? AND v=? AND t=?", *row) + def __contains__(sql, k): return bool(sql("SELECT 1 FROM kv WHERE k=?", k)) + def __len__(sql): return sql("SELECT COUNT(*) FROM kv")[0][0] + def __iter__(sql): return iter(k[0] for k in sql("SELECT k FROM kv")) + def __repr__(sql): return f"SQL(db={sql.db})" sql = SQL() ```