chickadee » sql-null

sql-null

Description

An extension for providing a portable SQL NULL object.

Author

Ivan Shmakov

Documentation

The sql-null extension implements the following interface.

sql-nullprocedure

Return an object, corresponding to a SQL NULL value. The object is guaranteed to be of a type disjoint from all of the R5RS' standard types. It's unspecified whether the values returned by this function will be eq? to each other:

(eq? (sql-null) (sql-null)) => ; unspecified.
sql-null? OBJECTprocedure

Return #t if OBJECT is a SQL NULL object. Return #f otherwise.

(sql-not OBJECT)syntax

Return OBJECT if OBJECT is a SQL NULL object. Return the value of (not OBJECT) otherwise.

(sql-not (sql-null)) => SQL-NULL
(sql-not 'a) => #f
(sql-not #f) => #t

(let ((null (sql-null)))
  (eq? null (sql-not null))) => #t
(sql-and TEST-1 ...)syntax

The TEST expressions are evaluated from left to right, and the value of the first expression that evaluates to a false value is returned, and any remaining TESTs are not evaluated. If there were no expressions to evaluate to a false value, the value of any of the expressions to evaluate to a SQL NULL is returned. If there were no such expressions as well, #t is returned.

(sql-and 1) => 1
(sql-and 1 (sql-null) 2) => SQL-NULL
(sql-and #f (sql-null)) => #f

In the absence of the expressions that evaluate to SQL NULL values, the semantics is the same as for (and test-1 ...). One could think of the SQL NULL as "sticky"; as soon as it is encountered, it will be the result of the entire expression (unless #f is also encountered).

(sql-or test-1 ...)syntax

The TEST expressions are evaluated from left to right, and the value of the first expression that evaluates to a value, other than SQL NULL and a false value (a ``SQL true'' value), is returned, and any remaining TESTs are not evaluated. If there were no expressions to evaluate to a SQL true value, the value of any of the expressions to evaluate to a SQL NULL is returned. If there were no such expressions as well, #f is returned.

(sql-or 1) => 1
(sql-or #t (sql-null) 2) => #t
(sql-or #f (sql-null)) => SQL-NULL
(sql-or #f (sql-null) 1) => 1

In the absence of the expressions that evaluate to SQL NULL values, the semantics is the same as for (or test-1 ...).

(sql-coalesce test-1 ...)syntax

The TEST expressions are evaluated from left to right, and the value of the first expression that is not SQL NULL is returned, and any remaining TESTs are not evaluated. If no such value is found, SQL NULL is returned, similar to the SQL `COALESCE' function.

(sql-coalesce 1) => 1
(sql-coalesce (sql-null)) => SQL NULL
(sql-coalesce (sql-null) 2) => 2
(sql-coalesce #f (sql-null) 1) => #f

This is like Scheme's or macro, instead of treating #f as the only false value, it treats SQL NULL as false and everything else as true.

License

Public Domain

Contents »