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.