singletons
singletons contains the basic types and definitions needed to support dependently typed programming techniques in Haskell. This library was
- Category
- Haskell packages
Official docs outline
github.comExtra Credit builds an outline of singletons's docs the first time your work uses it. Until then, start at the official documentation.
More in Haskell packages
All 1,000- pureMD5
- language-c-quote
- wai-app-file-cgi This WAI application library handles static files, executes CGI scripts, and serves as a reverse proxy (including EventSource).
- language-ats Parser and pretty-printer for ATS, written with Happy and Alex.
- influxdb influxdb is an InfluxDB client library for Haskell. See Database.InfluxDB for a quick start guide.
- convertible
- pandoc-crossref
- amqp
- blaze-textual A library for efficiently rendering Haskell datatypes to bytestrings. Note: if you use GHCi or Template Haskell, please see the README file
- abstract-par
- clash-prelude Clash is a functional hardware description language that borrows both its syntax and semantics from the functional programming language Hask
- amazonka This client library contains request and response logic to communicate with Amazon Web Service compatible APIs using the types supplied by t