Hoogle Search
Within LTS Haskell 24.36 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
representations of a web page An applicative-based, shared-data representation of a web page.
-
portable, type-safe URL routing A collection of types and functions that ensure that URLs generated by an application are valid. Need more properties here.
-
Type-safe HTML and CSS. Type-safe HTML and CSS with intuitive layouts and composable styles. Inspired by Tailwindcss and Elm-UI
-
A Haskell bindings for Webex Teams API Please see the README on Github at https://github.com/nshimaza/webex-teams-api#readme
-
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.
-
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.
-
Dynamic key binding framework Dynamic key binding framework. See https://github.com/debug-ito/wild-bind
-
Convert values from one type into another. Witch converts values from one type into another.
-
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:
-
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.