Skip to content

Auto-format all-your-base .sql files #140

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Aug 27, 2025
Merged

Auto-format all-your-base .sql files #140

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
314 changes: 204 additions & 110 deletions exercises/practice/all-your-base/.meta/example.sql
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,121 +1,215 @@
UPDATE "all-your-base"
SET result = JSON_OBJECT('error', 'input base must be >= 2')
WHERE input_base < 2
AND result ISNULL
;
SET
result = JSON_OBJECT('error', 'input base must be >= 2')
WHERE
input_base < 2
AND result ISNULL;

UPDATE "all-your-base"
SET result = JSON_OBJECT('error', 'output base must be >= 2')
WHERE output_base < 2
AND result ISNULL
;
SET
result = JSON_OBJECT('error', 'output base must be >= 2')
WHERE
output_base < 2
AND result ISNULL;

UPDATE "all-your-base"
SET result = JSON_OBJECT(
'error', 'all digits must satisfy 0 <= d < input base'
)
WHERE (
SELECT COUNT(*)
FROM (
SELECT input_base, j.VALUE AS digit
FROM JSON_EACH(digits) j
)
WHERE digit < 0 OR digit >= input_base
) != 0
AND result ISNULL
;
SET
result = JSON_OBJECT(
'error',
'all digits must satisfy 0 <= d < input base'
)
WHERE
(
SELECT
COUNT(*)
FROM
(
SELECT
input_base,
j.VALUE AS digit
FROM
JSON_EACH(digits) j
)
WHERE
digit < 0
OR digit >= input_base
) != 0
AND result ISNULL;

UPDATE "all-your-base"
SET result = JSON_OBJECT('digits', JSON_ARRAY(0))
WHERE (
SELECT COUNT(v)
FROM (
SELECT j.VALUE v FROM JSON_EACH(digits) j
)
WHERE v != 0
) = 0
AND result ISNULL
;
SET
result = JSON_OBJECT('digits', JSON_ARRAY(0))
WHERE
(
SELECT
COUNT(v)
FROM
(
SELECT
j.VALUE v
FROM
JSON_EACH(digits) j
)
WHERE
v != 0
) = 0
AND result ISNULL;

UPDATE "all-your-base"
SET result = JSON_OBJECT('digits', (
WITH RECURSIVE rcte (n, d) AS (
VALUES((
SELECT
CAST(SUM(digit * POW(input_base, row_number - 1)) AS INTEGER)
FROM (
SELECT row_number() over() AS row_number, *
FROM (
SELECT j.VALUE AS digit
FROM json_each(digits) j
ORDER BY rowid DESC
)
)
), -1)
UNION ALL
SELECT
CAST(n % pow(10, CAST(log10(n) AS INT)) AS INT),
CAST(n / pow(10, CAST(log10(n) AS INT)) AS INT)
FROM rcte
WHERE n != 0
)
SELECT JSON_GROUP_ARRAY(d) FROM rcte WHERE d > -1
))
WHERE output_base = 10
AND result ISNULL
;
SET
result = JSON_OBJECT(
'digits',
(
WITH RECURSIVE
rcte (n, d) AS (
VALUES
(
(
SELECT
CAST(
SUM(digit * POW(input_base, row_number - 1)) AS INTEGER
)
FROM
(
SELECT
row_number() over () AS row_number,
*
FROM
(
SELECT
j.VALUE AS digit
FROM
json_each(digits) j
ORDER BY
rowid DESC
)
)
),
-1
)
UNION ALL
SELECT
CAST(n % pow(10, CAST(log10(n) AS INT)) AS INT),
CAST(n / pow(10, CAST(log10(n) AS INT)) AS INT)
FROM
rcte
WHERE
n != 0
)
SELECT
JSON_GROUP_ARRAY(d)
FROM
rcte
WHERE
d > -1
)
)
WHERE
output_base = 10
AND result ISNULL;

UPDATE "all-your-base"
SET result = JSON_OBJECT('digits', (
WITH RECURSIVE rcte (n, d) AS (
VALUES((
SELECT GROUP_CONCAT(j.VALUE, '') * 1
FROM JSON_EACH(digits) j
), -1)
UNION ALL
SELECT n / output_base, n % output_base
FROM rcte
WHERE n > 0
)
SELECT JSON_GROUP_ARRAY(d)
FROM (
SELECT d
FROM rcte
WHERE d > -1
ORDER BY row_number() OVER () DESC
)
))
WHERE input_base = 10
AND result ISNULL
;
SET
result = JSON_OBJECT(
'digits',
(
WITH RECURSIVE
rcte (n, d) AS (
VALUES
(
(
SELECT
GROUP_CONCAT(j.VALUE, '') * 1
FROM
JSON_EACH(digits) j
),
-1
)
UNION ALL
SELECT
n / output_base,
n % output_base
FROM
rcte
WHERE
n > 0
)
SELECT
JSON_GROUP_ARRAY(d)
FROM
(
SELECT
d
FROM
rcte
WHERE
d > -1
ORDER BY
row_number() OVER () DESC
)
)
)
WHERE
input_base = 10
AND result ISNULL;

UPDATE "all-your-base"
SET result = JSON_OBJECT('digits', (
WITH RECURSIVE rcte (n, d) AS (
VALUES((
SELECT
CAST(SUM(digit * POW(input_base, row_number - 1)) AS INTEGER)
FROM (
SELECT row_number() over() AS row_number, *
FROM (
SELECT j.VALUE AS digit
FROM json_each(digits) j
ORDER BY rowid DESC
)
)
), -1)
UNION ALL
SELECT n / output_base, n % output_base
FROM rcte
WHERE n > 0
)
SELECT JSON_GROUP_ARRAY(d)
FROM (
SELECT d
FROM rcte
WHERE d > -1
ORDER BY row_number() OVER () DESC
)
))
WHERE input_base != 10
AND output_base != 10
AND result ISNULL
;
SET
result = JSON_OBJECT(
'digits',
(
WITH RECURSIVE
rcte (n, d) AS (
VALUES
(
(
SELECT
CAST(
SUM(digit * POW(input_base, row_number - 1)) AS INTEGER
)
FROM
(
SELECT
row_number() over () AS row_number,
*
FROM
(
SELECT
j.VALUE AS digit
FROM
json_each(digits) j
ORDER BY
rowid DESC
)
)
),
-1
)
UNION ALL
SELECT
n / output_base,
n % output_base
FROM
rcte
WHERE
n > 0
)
SELECT
JSON_GROUP_ARRAY(d)
FROM
(
SELECT
d
FROM
rcte
WHERE
d > -1
ORDER BY
row_number() OVER () DESC
)
)
)
WHERE
input_base != 10
AND output_base != 10
AND result ISNULL;
Loading