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.

  1. package what4

    Solver-agnostic symbolic values support for issuing queries What4 is a generic library for representing values as symbolic formulae which may contain references to symbolic values, representing unknown variables. It provides support for communicating with a variety of SAT and SMT solvers, including Z3, CVC4, CVC5, Yices, Bitwuzla, Boolector, STP, and dReal. The data representation types make heavy use of GADT-style type indices to ensure type-correct manipulation of symbolic values.

  2. package wherefrom-compat

    A compatibility layer for GHC's 'wherefrom' function A compatibility layer for GHC's wherefrom function, which exposes info provenance information. Each major version of this library exports a different version of this interface.

  3. package wild-bind

    Dynamic key binding framework Dynamic key binding framework. See https://github.com/debug-ito/wild-bind

  4. package witch

    Convert values from one type into another. Witch converts values from one type into another.

  5. package with-utf8

    Get your IO right on the first try This minimalistic library helps you navigate the world of text encodings avoiding invalid argument (invalid byte sequence) and invalid argument (invalid character) in runtime. See this blog post for why this library exists and what exactly it does. The two most important modules are:

  6. package witness

    values that witness types A witness is a value that witnesses some sort of constraint on some list of type variables. This library provides support for a wide variety of witness types. It also provides classes for representatives, which are values that represent types.

  7. package word-compat

    Compatibility shim for the Int/Word internal change in GHC 9.2 This package offers a workaround for the breaking change in Word/Int. Import GHC.Word.Compat in place of GHC.Word to take effect.

  8. package word-wrap

    A library for word-wrapping A library for wrapping long lines of text.

  9. package wuss

    Secure WebSocket (WSS) clients Wuss is a library that lets you easily create secure WebSocket clients over the WSS protocol. It is a small addition to the websockets package and is adapted from existing solutions by @jaspervdj, @mpickering, and @elfenlaid.

  10. package xml-hamlet

    Hamlet-style quasiquoter for XML content Hamlet-style quasiquoter for XML content

Page 151 of many | Previous | Next