Typeful, Modular, Relational, algebraic query engine

LTS Haskell 8.12:
Stackage Nightly 2017-04-30:
Latest on Hackage:
BSD3 licensed by Kei Hibino

This package contiains typeful relation structure and relational-algebraic query building DSL which can translate into SQL query. Supported query features are below: - Type safe query building - Restriction, Join, Aggregation - Modularized relations - Typed placeholders


  • Use Haskell implementation test instead of flag test in .cabal

  • Add HRR instances of tuple types derived by generic programming.
  • Add generic instances of ShowConstantTermsSQL.

  • Bugfix of lazy instances of ShowConstantTermsSQL.

  • Deprecate some exported interfaces which are internal definitions.

  • Update this changelog

  • simpl-tick-factor work-around to avoid bug of GHC

  • Export Register interface type from Query module.

  • Refactor around sub-query and its builder.
  • Compatibility with dlist-0.5.

  • Add configuration to quote SQL string of table names.

  • Add tested-with meta-data.

  • Update for GHC 8.

  • Fix constraint of build-depends.

  • Add TIMESTAMPTZ literal of PostgreSQL.

  • Add schemaNameMode configuration.

  • Update tests along with deprecations.

  • Drop unused pragma.

  • Drop unreferenced overloading.

  • Update documentation.

  • Fix build-depends.

  • Drop unsafe Expr type.
  • Drop redundant type synonyms around DELETE and UPDATE.
  • Add Register monad to add build-able INSERT statement
  • Configurable relation template names.

  • Deprecate redundant type synonyms.

  • Prepare to drop Expr type and deprecate around it.
  • Fix boolean projection operator types.

  • Update this changelog.

  • Use TH quotations for deriving class symbols.

  • Fix around correlated sub-queries.
  • Update unit-test cases.

  • Add Int8 type as SQL constant int value. (e.g. MySQL)

  • Make InsertQuery type as PreparedNoFetch instance.

  • Add a configuration flag to pring verbose compile-time messages.

  • Increase type safety of interfaces.
  • Simplify interfaces arond unique query.

  • Add MonadTrans instance of QueryJoin.
  • Update links about Opaleye.

  • Update documentation.

  • Add the arrow combinator module and its unit-test cases.

  • Update unit-test cases.
  • Add the fixity of over operator.
  • Avoid an `a future Prelude name' warning.

  • Switch libraries to use from test-suites not to depend on Cabal library.

  • Add this ChangeLog file.

  • Prevent window function context expression from using normal SQL expressions.
  • Generalize the result types of aggregate and window functions.
  • Allow to embed a integer literal in SQL from Haskell Int type.
  • Add SQL LIKE operators.
  • Drop old deprecated functions. (fromMaybe', dense_rank, ...)
  • Fix typo.
  • Fix for "invalid single-column insert syntax".

  • Extend derivedInsert.

  • Add generalized restrict.
  • Pass configuration to DELETE and UPDATE.

  • Update structure of query with placeholders.
comments powered byDisqus