postgresql-typed: PostgreSQL interface with compile-time SQL type checking, optional HDBC backend

[ bsd3, database, library ] [ Propose Tags ]

Automatically type-check SQL statements at compile time. Uses Template Haskell and the raw PostgreSQL protocol to describe SQL statements at compile time and provide appropriate type marshalling for both parameters and results. Allows not only syntax verification of your SQL but also full type safety between your SQL and Haskell. Supports many built-in PostgreSQL types already, including arrays and ranges, and can be easily extended in user code to support any other types.

Also includes an optional HDBC backend that, since it uses the raw PostgreSQL protocol, may be more efficient than the normal libpq backend in some cases (though provides no more type safety than HDBC-postgresql when used without templates).

Originally based on Chris Forno's templatepg library.

[Skip to Readme]
Versions [faq] 0.3.0, 0.3.1, 0.3.2, 0.3.3, 0.4.0, 0.4.1, 0.4.2,,, 0.4.3, 0.4.4, 0.4.5, 0.5.0, 0.5.1, 0.5.2,, 0.6,,,,
Dependencies aeson (>=0.7), array, attoparsec (>=0.12 && <0.14), base (>=4.8 && <5), binary, bytestring (>=0.10.2), containers, cryptonite (>=0.5), data-default, haskell-src-meta, HDBC (>=2.2), memory (>=0.5), network (<3), old-locale, postgresql-binary (>=0.8), scientific (>=0.3), template-haskell, text (>=1), time, tls, utf8-string, uuid (>=1.3), x509, x509-store, x509-validation [details]
License BSD-3-Clause
Copyright 2010-2013 Chris Forno, 2014-2019 Dylan Simon
Author Dylan Simon
Maintainer Dylan Simon <>
Revised Revision 1 made by DylanSimon at 2019-06-27T20:44:27Z
Category Database
Home page
Bug tracker
Source repo head: git clone git://
Uploaded by DylanSimon at 2019-06-25T20:06:56Z
Distributions NixOS:, Stackage:
Downloads 11211 total (281 in the last 30 days)
Rating 1.25 (votes: 1) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs not available [build log]
All reported builds failed as of 2019-06-26 [all 3 reports]


  • Database
    • PostgreSQL
      • Database.PostgreSQL.Typed
        • Database.PostgreSQL.Typed.Array
        • Database.PostgreSQL.Typed.Dynamic
        • Database.PostgreSQL.Typed.Enum
        • Database.PostgreSQL.Typed.ErrCodes
        • Database.PostgreSQL.Typed.HDBC
        • Database.PostgreSQL.Typed.Inet
        • Database.PostgreSQL.Typed.Protocol
        • Database.PostgreSQL.Typed.Query
        • Database.PostgreSQL.Typed.Range
        • Database.PostgreSQL.Typed.Relation
        • Database.PostgreSQL.Typed.SQLToken
        • Database.PostgreSQL.Typed.TH
        • Database.PostgreSQL.Typed.TemplatePG
        • Database.PostgreSQL.Typed.Types



Enable md5 password authentication method.


Use binary protocol encoding via postgresql-binary. This may put additional restrictions on supported PostgreSQL server versions.


Support Text string values via text (implied by binary).


Support the UUID type via uuid (implied by binary).


Support decoding numeric via scientific (implied by binary).


Support decoding json via aeson.


Provide an HDBC driver backend using the raw PostgreSQL protocol.


Enable TLS (SSL) support in PostgreSQL server connections.


Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info


Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

For package maintainers and hackage trustees

Readme for postgresql-typed-0.6

[back to package description]

Haskell PostgreSQL-typed

A Haskell PostgreSQL interface that provides type-safety through compile-time (template Haskell) database access. See the Haddock documentation in Database.PostgreSQL.Typed or the test cases for simple examples.

Build Status