Hoogle Search
Within LTS Haskell 24.28 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
A framework for generating singleton types singletons-th defines Template Haskell functionality that allows promotion of term-level functions to type-level equivalents and singling functions to dependently typed equivalents. This library was originally presented in Dependently Typed Programming with Singletons, published at the Haskell Symposium, 2012. (https://richarde.dev/papers/2012/singletons/paper.pdf) See also the paper published at Haskell Symposium, 2014, which describes how promotion works in greater detail: https://richarde.dev/papers/2014/promotion/promotion.pdf. singletons-th generates code that relies on bleeding-edge GHC language extensions. As such, singletons-th only supports the latest major version of GHC (currently GHC 9.10). For more information, consult the singletons README. You may also be interested in the following related libraries:
- The singletons library is a small, foundational library that defines basic singleton-related types and definitions.
- The singletons-base library uses singletons-th to define promoted and singled functions from the base library, including the Prelude.
-
Low-level functions for SMT-LIB-based interaction with SMT solvers. 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.
-
Carry evidence of constraints around Please see the README on GitHub at https://github.com/parsonsmatt/some-dict-of#readme
-
Type-enforced sorted lists and related functions. Type-enforced sorted lists and related functions. These are useful for:
- Constraining the argument of a function to be a sorted list by stating in your type that the input list is a sorted list.
- Avoiding sorting a list twice.
- Creating a list that is sorted from the moment of its construction, so it doesn't have to be sorted later.
- Performing list operations keeping the input list sorted.
- Improving those list operations that can be benefited from the ordering of its elements.
- Creating infinite lists that are sorted!
- And more!
-
discovery of properties about Haskell functions Speculate automatically discovers laws about Haskell functions. Give Speculate a bunch of Haskell functions and it will discover laws like:
- equations, such as id x == x ;
- inequalities, such as 0 <= x * x ;
- conditional equations, such as x <= 0 ==> x + abs x == 0 .
-
Data types for managing source code locations. Data types for tracking, combining, and printing source code locations.
-
Simple State-like monad transformer with saveable and restorable state Simple State-like monad transformer where states can be saved to and restored from an internal stack.
-
Introduces conduits to channels, and promotes using conduits concurrently. Provides two simple conduit wrappers around STM channels - a source and a sink.
-
Containers for STM This library is based on an STM-specialized implementation of Hash Array Mapped Trie. It provides efficient implementations of Map, Set and other data structures, which starting from version 1 perform even better than their counterparts from "unordered-containers", but also scale well on concurrent access patterns. . For details on performance of the library, which are a bit outdated, see this blog post.
-
Updatable one-shot timer polled with STM This library lets you create a one-shot timer, poll it using STM, and update it to ring at a different time than initially specified. It uses GHC event manager timeouts when available (GHC 7.2+, -threaded, non-Windows OS), yielding performance similar to threadDelay and registerDelay. Otherwise, it falls back to forked threads and threadDelay.
- 0.1.1.2 (2025-05-08)
- Remove a call to ensureIOManagerIsRunning, for consistency with System.Timeout
- Adjust timings in the testsuite to fix intermittent failure in the non-threaded RTS case.
- 0.1.1 (2014-09-14)
- Add tryWaitDelayIO, improve performance for certain cases of newDelay and updateDelay, and improve example.