Hoogle Search
Within LTS Haskell 24.35 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
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.
-
Libraries for the Copilot language. Libraries for the Copilot language. 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.
-
k-induction for Copilot. Some tools to prove properties on Copilot programs with k-induction model checking. 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.
-
Opinionated Haskell Interoperability A library to help build command-line programs, both tools and longer-running daemons. A description of this package, a list of features, and some background to its design is contained in the README on GitHub. See Core.Program.Execute to get started.
-
Cassandra CQL client. CQL Cassandra driver supporting native protocol versions 3 and 4. This library uses the cql library which implements Cassandra's CQL protocol and complements it with the neccessary I/O operations. The feature-set includes:
- Node discovery. The driver discovers nodes automatically from a small set of bootstrap nodes.
- Customisable load-balancing policies. In addition to pre-built LB policies such as round-robin, users of this library can provide their own policies if desired.
- Support for connection streams. Requests can be multiplexed over a few connections.
- Customisable retry settings. Support for default retry settings as well as local overrides per query.
- Prepared queries. Prepared queries are an optimisation which parse and prepare a query only once on Cassandra nodes but execute it many times with different concrete values.
- TLS support. Client to node communication can optionally use transport layer security (using HsOpenSSL).
-
crc32c Haskell bindings for crc32c
-
Garbage collected event folding CRDT. Garbage collected event folding CRDT. Consistently apply arbitrary operations to replicated data.