Liquid Types for Haskell.

Tasty is a modern testing framework for Haskell. It lets you combine your unit tests, golden tests, QuickCheck/SmallCheck properties, and any other types of tests into a single test suite.

A port of the Java library by Terrence Parr.

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 library contains glue code used to interconnect Haskell GI and Cairo

This package gives you access to the set of operating system services standardised by <http://pubs.opengroup.org/onlinepubs/9699919799/ POSIX.1-2008> (or the IEEE Portable Operating System Interface for Computing Environments - IEEE Std. 1003.1). . The package is not supported under Windows.

Bindings for GLib, autogenerated by haskell-gi.

This package lacks a description. Run "info '(guix) Synopses and Descriptions'" for more information.

This is an industrial-strength monadic parser combinator library. Megaparsec is a feature-rich package that tries to find a nice balance between speed, flexibility, and quality of parse errors.

Bindings for GModule, autogenerated by haskell-gi.

Cabal with c2hs dependencies.

Simple and high performance IO toolkit for Haskell, including file system, network, ipc and more!

Bindings for Libsoup 3.x, autogenerated 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@.

C-structs lets you create correct C structs in Haskell. These can be used for FFI calls, import as well as exports. This package is part of the development efforts for the Python library Pythas. Pythas provides an interface to import Haskell modules. . Note: As of GHC 9.2 structs cannot be passed by value, only by reference.

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.

SmallCheck support for the Hspec testing framework.

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.

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.

Parser and writer for handling sectioned config files in Haskell. . The ConfigFile module works with configuration files in a standard format that is easy for the user to edit, easy for the programmer to work with, yet remains powerful and flexible. It is inspired by, and compatible with, Python's ConfigParser module. It uses files that resemble Windows .INI-style files, but with numerous improvements. . ConfigFile provides simple calls to both read and write config files. It's possible to make a config file parsable by this module, the Unix shell, and make.

Dyre implements dynamic reconfiguration facilities after the style of Xmonad. Dyre aims to be as simple as possible without sacrificing features, and places an emphasis on simplicity of integration with an application. A full introduction with a complete example project can be found in the documentation for 'Config.Dyre'

Many recursive functions share the same structure, e.g. pattern-match on the input and, depending on the data constructor, either recur on a smaller input or terminate the recursion with the base case. Another one: start with a seed value, use it to produce the first element of an infinite list, and recur on a modified seed in order to produce the rest of the list. Such a structure is called a recursion scheme. Using higher-order functions to implement those recursion schemes makes your code clearer, faster, and safer. See README for details.

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.

This library provides common functions and values used for testing SMT-LIB backends, as provided by the smtlib-backends library.