This library provides an extensible interface for interacting with SMT solvers using SMT-LIB. The smtlib-backends-process package provides a backend that runs solvers as external processes, and the smtlib-backends-z3 package provides a backend that uses inlined calls to Z3's C API.

Bindings for Gio, autogenerated by haskell-gi.

This package provides a simple Haskell progress bar for the console. Heavily borrows from TJ Holowaychuk's Node.JS project <https://github.com/tj/node-progress progress> . <https://github.com/yamadapc/haskell-ascii-progress github>.

This library defines an Interpreter monad. It allows to load Haskell modules, browse them, type-check and evaluate strings with Haskell expressions and even coerce them into values. The library is thread-safe and type-safe (even the coercion of expressions to values). It is, essentially, a huge subset of the GHC API wrapped in a simpler API.

Bindings for Graphene, autogenerated by haskell-gi.

Various useful functions on tuples, overloaded on tuple size.

Bindings for Libsoup 3.x, autogenerated by haskell-gi.

Cabal with c2hs dependencies.

In many cases, it is useful, necessary, or simply nice to limit how frequently you perform some action. For example, you may want to limit how often your program makes a request of some web site. This library is intended as a general-purpose mechanism for rate-limiting IO actions.

Michael and Scott queues are described in their PODC 1996 paper: . <http://dl.acm.org/citation.cfm?id=248052.248106> . These are single-ended concurrent queues based on a singlly linked list and using atomic CAS instructions to swap the tail pointers. As a well-known efficient algorithm they became the basis for Java's @ConcurrentLinkedQueue@.

This package provides array, slice and text operations.

Derive Template Haskell's @Lift@ class for datatypes using @TemplateHaskell@. The functionality in this package has largely been subsumed by the @DeriveLift@ language extension, which is available in GHC 8.0 and later versions. As such, this package is only useful as a way to backport bugfixes to @DeriveLift@ in later GHC versions back to older GHCs. . The following libraries are related: . * The <https://hackage.haskell.org/package/th-orphans th-orphans> package provides instances for @template-haskell@ syntax types. . * The <http://hackage.haskell.org/package/th-lift-instances th-lift-instances> package provides @Lift@ instances for types in @base@, @text@, @bytestring@, @vector@, etc. Some of these instances are only provided for old versions of their respective libraries, as the same @Lift@ instances are also present upstream on newer versions.

Bindings for GdkPixbuf, autogenerated by haskell-gi.

Time, clocks and calendars.

Bindings for freetype2, autogenerated by haskell-gi.

Catchy combinators for HUnit: <https://github.com/hspec/hspec-expectations#readme>.

Foundation for libraries generated by haskell-gi

This package adds resource management and exception handling to the @pipes@ ecosystem. . Notable features include: . * /Resource Safety/: Guarantee finalization using @finally@, @bracket@ and more . * /Exception Safety/: Even against asynchronous exceptions! . * /Laziness/: Only acquire resources when you need them . * /Promptness/: Finalize resources early when you are done with them . * /Native Exception Handling/: Catch and resume from exceptions inside pipes . * /No Buy-in/: Mix resource-safe pipes with unmanaged pipes using @hoist@.

This package implements an SMTLIB based Horn-Clause\/Logical Implication constraint solver used for Liquid Types. . The package includes: . 1. Types for Expressions, Predicates, Constraints, Solutions 2. Code for solving constraints . Requirements . In addition to the .cabal dependencies you require . * A Z3 (<http://z3.codeplex.com>) or CVC4 (<http://cvc4.cs.nyu.edu>) binary.

Haskell bindings for libarchive. Provides the ability to unpack archives, including the ability to unpack archives lazily.

Haskell WebKit bindings.

This package provides a pure interface for compressing and decompressing streams of data represented as lazy ByteStrings. It uses the bz2 C library so it has high performance.

It provides a convenient high level API suitable for most tasks and for the few cases where more control is needed it provides access to the full bzip2 feature set.

This library allows an application to extend the 'global state' hidden inside the IO monad with semi-arbitrary data. Data is required to be 'Typeable'. The library provides an essentially unbounded number of key-value stores indexed by strings, with each key within the stores also being a string.