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

Please see the README on Github at <https://github.com/IvanMalison/dbus-hslogger#readme>

Bindings for libdbusgtk3, autogenerated by haskell-gi.

Liquid Types for Haskell.

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.

This package exposes internal types and functions that can be used to extend Hspec's functionality.

REST is a Rewriting library with online termination checking. For more details see the paper at https://arxiv.org/abs/2202.05872.

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.

In many cases, it is useful (either for error checking or documentation reasons) to define input and output types as having a particular unit of time. In addition, by creating a type class defining type units, this library should make it easier to separate the units of time the developer wants to think in versus the units of time the library author wants to think in.

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.

SmallCheck support for the Hspec testing framework.

As of 2023, this library is largely obsolete: arbitrary test generators with shrinking such as [falsify](https://hackage.haskell.org/package/falsify) offer much better user experience. . SmallCheck is a testing library that allows to verify properties for all test cases up to some depth. The test cases are generated automatically by SmallCheck.

@pipes-group@ uses @FreeT@ and lenses to group streams into sub-streams. Notable features include: . * /Perfect Streaming/: Group elements without collecting them into memory . * /Lens Support/: Use lenses to simplify many common operations . @Pipes.Group@ contains the full documentation for this library. . Read @Pipes.Group.Tutorial@ for an extensive tutorial.

This library provides an interface to portably work with byte arrays whose contents are known to be of a fixed endianness. There are two ways to use this module. See the `System.ByteOrder` module for more documentation.

This package provides portable implementations of parts of the unix package. This package re-exports the unix package when available. When it isn't available, portable implementations are used.

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

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

This package provides a plugin to verify Haskell programs. But most likely you should be using the [liquidhaskell package](https://hackage.haskell.org/package/liquidhaskell) instead, which rexports this plugin together with necessary specifications for definitions in the boot libraries.

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

Bindings for HarfBuzz, autogenerated by haskell-gi.

This package provides first class functional references in Van Laarhoven style supporting the following optics: . * Lenses (view, over) . * Traversals (toListOf, matching, over) . * Setters (over) . * Grates (zipWithOf, under, review) . * Resetters (under) . * Adapters (view, review) . * Grids (toListOf, over / under, review) . * Prisms (matching, over / under, review) . * Getters (view) . * Folders (toListOf) . * Reviewers (review).

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 Atk, autogenerated by haskell-gi.