Sirocco

frege-dbc

frege-dbc is a library designed to facilitate JDBC database operations within the Frege programming language, a Haskell-like language for the JVM. It offers a functional approach to handling database queries, making it easier for Frege developers to work with SQL databases while leveraging Frege's type safety and purity. ## Key Features - **ResultSet Fetching** — Provides a `fetchRow` function to retrieve rows from a JDBC ResultSet without throwing exceptions, returning results wrapped in `Either` for error handling. - **Functional JDBC Wrappers** — Supplies utilities to interact with JDBC components like `DriverManager`, `Connection`, and `Statement` in a Frege-friendly manner. - **Type-Safe SQL Values** — Includes a `SqlValue` type with instances for common SQL data types (e.g., `SqlString`, `SqlInt`, `SqlLong`), enabling structured representation of query results. ## Philosophy The project emphasizes a functional and exception-safe approach to JDBC, allowing Frege programmers to integrate database operations seamlessly while maintaining the language's purity and type discipline.