Hoogle Search
Within LTS Haskell 24.34 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
Modify HTTP requests/responses using context Modify outgoing HTTP requests and incoming HTTP responses using context.
-
Thread-safe, pool-compatible resource provider A thread-safe, pool-compatible resource provider abstraction that supports resource-sharing within nested actions.
package
context-wai-middleware Add request-specific (or not!) context to your WAI applications Add request-specific (or not!) context to your WAI applications.
-
Extras for the "contravariant" package Utilities for contravariant functors. Provides large sets of functions for contravariant composition of various arities.
-
An alternative to monads in do-notation This "control-dsl" package is a toolkit to create extensible Domain Specific Languages in do-notation. See Control.Dsl for more information.
-
Free monads and monad transformers This package provides datatypes to construct Free monads, Free monad transformers, and useful instances. In addition it provides the constructs to avoid quadratic complexity of left associative bind, as explained in:
- Janis Voigtlander, Asymptotic Improvement of Computations over Free Monads, MPC'08
-
A breadth-first list monad. A monad for enumerating sets: like the list monad but breadth-first.
-
A stream DSL for writing embedded C programs. Copilot is a stream-based runtime verification framework implemented as an embedded domain-specific language (EDSL) in Haskell. Programs can be interpreted for testing, or translated into C99 code to be incorporated in a project, or as a standalone application. The C99 backend output is constant in memory and time, making it suitable for systems with hard realtime requirements. This package is the main entry-point for using Copilot. A tutorial, examples, and other information are available at https://copilot-language.github.io.
-
A compiler for Copilot targeting C99. This package is a back-end from Copilot to C. Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in Haskell that compiles into embedded C. Copilot contains an interpreter, multiple back-end compilers, and other verification tools. A tutorial, examples, and other information are available at https://copilot-language.github.io.
-
An intermediate representation for Copilot. Intermediate representation for Copilot. Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in Haskell that compiles into embedded C. Copilot contains an interpreter, multiple back-end compilers, and other verification tools. A tutorial, examples, and other information are available at https://copilot-language.github.io.