Hoogle Search
Within LTS Haskell 24.65 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
Utilities for writing Show-like type families Please see README.md.
-
Type-level natural and proofs of their properties. Type-level natural numbers and proofs of their properties.
-
High performance type driven html generation. This library makes most invalid html documents compile time errors and uses advanced type level features to realise compile time computations.
package
typecheck-plugin-nat-simple Simple type check plugin which calculate addition, subtraction and less-or-equal-than Please see the README on GitHub at https://github.com/YoshikuniJujo/typecheck-plugin-nat-simple#readme
-
Parsing and evaluating typst syntax. A library for parsing and evaluating typst syntax. Typst (https://typst.app) is a document layout and formatting language. This library targets typst 0.13 and currently offers only partial support.
-
Symbol and emoji lookup for typst language This package defines symbol and emoji codes for the typst language (https://typst.app).
-
Efficient time zone handling The goal of this package is to provide a library that can read time zone info files (aka. Olson files), and does time zone conversions in a pure and efficient way. We also provide platform-independent and/or compiled-in access to the standard Time Zone Dabase by the means of the companion tzdata package http://hackage.haskell.org/package/tzdata. The package is currently in an alpha phase, I'm still experimenting with different ideas wrt. scope/API/implementation/etc. All comments are welcome!
-
Time zone database (as files and as a module) The goal of this package is to distribute the standard Time Zone Database in a cabal package, so that it can be used in Haskell programs uniformly on all platforms. This package currently ships the 2026c version of the time zone database. The version of the time zone database shipped is always reflected in the version of this package: x.y.YYYYMMDD.z, then YYYYMMDD is the official release date of time zone database. This version contains the "fat" variant of the time zone files (which is not the default for the upstream since 2020b) to facilitate the transition. The next major version (0.3) will ship the "slim" variant. See: http://www.iana.org/time-zones for more info about the time zone database. See also the tz package http://hackage.haskell.org/package/tz or the timezone-olson and timezone-series packages that provide facilities to use the data shipped here. (The tz package automatically installs this package.)
-
Construct and transform unicode characters The package contains functions for construction of various characters like:
- block graphic elements
- frame elements
- fractions
- subscript and superscript characters
- unicode-properties: classifications such as lower case, graphical etc.
- rfc5051: sorting of characters
-
Haskell binding of Unidecode Please see README.md