Liquid Types for Haskell.

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.

@th-reify-many@ provides functions for recursively reifying top level declarations. The main intended use case is for enumerating the names of datatypes reachable from an initial datatype, and passing these names to some function which generates instances.

Control overloading support in haskell-gi generated bindings

Included are some folds and maps I've found useful in parsing XML data.

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

Asymptotically optimal Brodal\/Okasaki bootstrapped skew-binomial heaps from the paper <http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.973 "Optimal Purely Functional Priority Queues">, extended with a Foldable interface.

Bindings for GLib, autogenerated by haskell-gi.

For upgrading to streamly-0.9.0+ please read the <https://github.com/composewell/streamly/blob/streamly-0.10.0/docs/User/Project/Upgrading-0.8-to-0.9.md Streamly-0.9.0 upgrade guide>. . Streamly is a standard library for Haskell that focuses on C-like performance, modular combinators, and streaming data flow model. Streamly consists of two packages, the <https://hackage.haskell.org/package/streamly-core streamly-core> package provides functionality that depends only on boot libraries, and the <https://hackage.haskell.org/package/streamly streamly> package provides additional functionality like concurrency, time, lifted exceptions, and networking. For unified documentation visit <https://streamly.composewell.com the streamly website>. . Streamly provides unified, modular building blocks to build high-performance, concurrent, scalable applications in Haskell . Stream fusion optimizations in streamly enable exceptional modularity with high performance comparable to C. Streamly complements the Haskell <https://hackage.haskell.org/package/base base> package, supplying additional functionality to quickly build general-purpose applications in Haskell. For high-level functionality built over streamly like streaming OS processes, shell programming, GNU coreutils, statistics, and compression libraries please see the <https://streamly.composewell.com/ecosystem.html streamly ecosystem packages>. . Performance with modularity: . * Performance on par with C (<https://github.com/composewell/streaming-benchmarks Benchmarks>) * API close to standard Haskell lists (<https://github.com/composewell/streamly-examples Examples>) * Declarative concurrency with automatic scaling * Filesystem, fsnotify, network, and Unicode support included * Fast binary serialization (with optional JSON like features) * More functionality is provided via many (<https://streamly.composewell.com/ecosystem.html ecosystem packages>) . Unified and powerful abstractions: . * Unifies streams, arrays, folds, and parsers * Unifies @Data.List@, @list-t@, and @logict@ with streaming * Unifies concurrency with standard streaming abstractions * Unifies reactive, time-domain programming with streaming * Unifies binary serialization and unboxed arrays * Interworks with other streaming libraries.

Replacement for [composition](hackage.haskell.org/package/composition) or [composition-extra](hackage.haskell.org/package/composition-extra), exporting everything in one module.

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.

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

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.

Foundation for libraries generated by haskell-gi

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.

SmallCheck support for the Hspec testing framework.

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

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 functionality for manipulating @FilePath@ values, and is shipped with <https://www.haskell.org/ghc/ GHC>. It provides two variants for filepaths: . 1. legacy filepaths: @type FilePath = String@ . 2. operating system abstracted filepaths (@OsPath@): internally unpinned @ShortByteString@ (platform-dependent encoding) . It is recommended to use @OsPath@ when possible, because it is more correct. . For each variant there are three main modules: . * "System.FilePath.Posix" / "System.OsPath.Posix" manipulates POSIX\/Linux style @FilePath@ values (with @\/@ as the path separator). . * "System.FilePath.Windows" / "System.OsPath.Windows" manipulates Windows style @FilePath@ values (with either @\\@ or @\/@ as the path separator, and deals with drives). . * "System.FilePath" / "System.OsPath" for dealing with current platform-specific filepaths . For more powerful string manipulation of @OsPath@, you can use the <https://hackage.haskell.org/package/os-string os-string package> (@OsPath@ is a type synonym for @OsString@). . An introduction into the new API can be found in this <https://hasufell.github.io/posts/2022-06-29-fixing-haskell-filepaths.html blog post>. Code examples for the new API can be found <https://github.com/hasufell/filepath-examples here>.

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

Various useful functions on tuples, overloaded on tuple size.

Bindings for Pango, autogenerated by haskell-gi.

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