Dialect System
Saferis supports multiple databases with compile-time type safety. Each dialect provides database-specific SQL generation and type mappings.
#Available Dialects
import saferis.*
// PostgreSQL (default) - full feature support
// No additional import needed - it's the default
// MySQL: import saferis.mysql.given
// SQLite: import saferis.sqlite.given
// Spark SQL: import saferis.spark.given
// Switching dialect is a one-line import change; your query code adapts.
val pg = summon[Dialect]
summon[Dialect].getClass.getSimpleName
#Feature Comparison
| Feature | PostgreSQL | MySQL | SQLite | Spark |
|---|
| RETURNING clause | Yes | No | Yes | No |
| JSON operations | Yes | Yes | No | No |
| Array types | Yes | No | No | No |
| UPSERT | Yes | No | No | No |
| IF NOT EXISTS (indexes) | Yes | No | Yes | Yes |
| Window functions | Yes | Yes | Yes | Yes |
| CTEs | Yes | Yes | Yes | Yes |
#Type Mappings
| JDBC Type | PostgreSQL | MySQL | SQLite |
|---|
| VARCHAR | varchar(255) | varchar(255) | text |
| INTEGER | integer | int | integer |
| BIGINT | bigint | bigint | integer |
| DOUBLE | double precision | double | real |
| BOOLEAN | boolean | boolean | integer |
| TIMESTAMP | timestamp | timestamp | text |
#Auto-Increment Syntax
| Database | Syntax |
|---|
| PostgreSQL | GENERATED ALWAYS AS IDENTITY |
| MySQL | AUTO_INCREMENT |
| SQLite | AUTOINCREMENT |
For a deeper look at how capabilities are enforced at compile time, see
Type-Safe Capabilities.
