Hoogle Search

Within LTS Haskell 24.57 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. package liquid-fixpoint

   Predicate Abstraction-based Horn-Clause/Implication Constraint Solver This package implements an SMTLIB based Horn-Clause/Logical Implication constraint solver used for Liquid Types. The package includes:

   1. Types for Expressions, Predicates, Constraints, Solutions
   2. Code for solving constraints
   Requirements In addition to the .cabal dependencies you require
   • A Z3 (http://z3.codeplex.com) or CVC4 (http://cvc4.cs.nyu.edu) binary.

2. package liquidhaskell-boot

   Liquid Types for Haskell This package provides a plugin to verify Haskell programs. But most likely you should be using the liquidhaskell package instead, which rexports this plugin together with necessary specifications for definitions in the boot libraries.

3. package list-shuffle

   List shuffling and sampling List shuffling and sampling with optimal asymptotic time and space complexity using the imperative Fisher–Yates algorithm.

4. package literatex

   transform literate source code to Markdown This package provides a library as well as a command-line utility that transforms literate source code to Markdown. Please see the README on GitHub at https://github.com/ExtremaIS/literatex-haskell#readme.

5. package load-env

   Load environment variables from a file. Parse a .env file and load any declared variables into the current process's environment. This allows for a .env file to specify development-friendly defaults for configuration values normally set in the deployment environment.

6. package loch-th

   Support for precise error locations in source files (Template Haskell version) This module provides a Template Haskell based mechanism to tag failures with the location of the failure call. The location message includes the file name, line and column numbers.

7. package lockfree-queue

   Michael and Scott lock-free queues. Michael and Scott queues are described in their PODC 1996 paper: http://dl.acm.org/citation.cfm?id=248052.248106 These are single-ended concurrent queues based on a singlly linked list and using atomic CAS instructions to swap the tail pointers. As a well-known efficient algorithm they became the basis for Java's ConcurrentLinkedQueue.

8. package log-base

   Structured logging solution (base package) A library that provides a way to record structured log messages. Use this package in conjunction with 'log-elasticsearch' or 'log-postgres', depending on which back end you need.

9. package logstash

   Logstash client library for Haskell Please see the README on GitHub at https://github.com/mbg/logstash#readme

10. package lpeg

    LPeg – Parsing Expression Grammars For Lua This package contains the C sources of LPeg, as well as some tiny Haskell helper to load the package. http://www.inf.puc-rio.br/~roberto/lpeg/

Page 128 of many | Previous | Next