Hoogle Search
Within LTS Haskell 24.45 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
package
servant-multipart-client multipart/form-data (e.g file upload) support for servant This package adds client-side support for file upload to the servant ecosystem.
-
A simple library for affine and vector spaces. Affine spaces and vector spaces with a few basic instances. This library implements affine spaces and vector spaces. Two instances are provided for affine spaces (points) and two more for vector spaces (vectors). These definitions are strict, implement deepseq, and are designed to have minimal memory overhead.
-
Binding to Cairo library Please see the README on GitHub at https://github.com/YoshikuniJujo/simple-cairo#readme
-
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.