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.

Exact lookup

1. package linux-file-extents

   Retrieve file fragmentation information under Linux This package provides a simple wrapper around the Linux FIEMAP ioctl. It can be used to retrieve the list of all the extents of any given file, i.e. the area of the disk where the file is actually stored. This is similar to the filefrag command line tool provided by the e2fsprogs package.

2. 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.

3. 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.

4. package list-shuffle

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

5. 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.

6. 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.

7. 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.

8. 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.

9. 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.

10. package logstash

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

Page 126 of many | Previous | Next