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.
-
Data.Type.Equality compat package This library defines a propositional equality data type, shims Data.Type.Equality as well as possible for older GHCs (< 7.8).
data a :~: b where Refl :: a :~: a
The module Data.Type.Equality.Hetero shims :~~: equality, for compilers with PolyKinds -
Collection of widely reimplemented type families Collection of widely reimplemented type families
-
Guide type inference with proxy values This package provides Proxy values for various types from the base library and functions to use these values as hints for type inference.
package
type-level-bytestrings Tools for manipulating type-level bytes and bytestrings Please see README.md.
-
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).