Unaligned access to primitive arrays. The offsets are given in bytes rather than elements.

Bindings for GObject, autogenerated by haskell-gi.

Use this library to read large directories as streams: . * Use @ListT@ to assemble recursive directory traversals while still streaming . * Use @pipes@ to read out the stream of results . * Traversals only open directory streams lazily in response to demand . * Avoid directories with insufficient permissions . This library works on both Unix and Windows.

Bindings for GdkX11, autogenerated by haskell-gi.

Bindings for JavaScriptCore 6.x, autogenerated by haskell-gi.

Bindings for freetype2, autogenerated by haskell-gi.

Bindings for Gtk, autogenerated by haskell-gi.

This library implements an SMT-LIB backend (in the sense of the smtlib-backends package) which runs solvers as external processes.

QuickCheck is a library for random testing of program properties. The programmer provides a specification of the program, in the form of properties which functions should satisfy, and QuickCheck then tests that the properties hold in a large number of randomly generated cases. Specifications are expressed in Haskell, using combinators provided by QuickCheck. QuickCheck provides combinators to define properties, observe the distribution of test data, and define test data generators. . Most of QuickCheck's functionality is exported by the main "Test.QuickCheck" module. The main exception is the monadic property testing library in "Test.QuickCheck.Monadic". . If you are new to QuickCheck, you can try looking at the following resources: . * The <http://www.cse.chalmers.se/~rjmh/QuickCheck/manual.html official QuickCheck manual>. It's a bit out-of-date in some details and doesn't cover newer QuickCheck features, but is still full of good advice. * <https://begriffs.com/posts/2017-01-14-design-use-quickcheck.html>, a detailed tutorial written by a user of QuickCheck. . The <https://hackage.haskell.org/package/quickcheck-instances quickcheck-instances> companion package provides instances for types in Haskell Platform packages at the cost of additional dependencies.

Please see the README on Github at <https://github.com/IvanMalison/gtk-sni-tray#readme>

Liquid Types for Haskell.

Haskell WebKit bindings.

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.

GHC package that provides types that when used in a package can be identified by the <https://hackage.haskell.org/package/fusion-plugin fusion-plugin> package to perform any extra optimizations.

The Haskell Common Architecture for Building Applications and Libraries: a framework defining a common interface for authors to more easily build their Haskell applications in a portable way. . The Haskell Cabal is part of a larger infrastructure for distributing, organizing, and cataloging Haskell libraries and tools.

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.

Bindings for xlib, 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>.

Cabal with c2hs dependencies.

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.

This library implements the SHA suite of message digest functions, according to NIST FIPS 180-2 (with the SHA-224 addendum), as well as the SHA-based HMAC routines. The functions have been tested against most of the NIST and RFC test vectors for the various functions. While some attention has been paid to performance, these do not presently reach the speed of well-tuned libraries, like OpenSSL.

This is a package somewhat like cdeps which scans .chs files for dependencies.