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.
-
Small monomorphic tuples This library provides small tuples where all the elements are the same type. The elements always unpack into the data constructor. This can be helpful when the tuple type is itself nested inside of another data constructor.
-
Twitter JSON parser and types Please see the README on Github at https://github.com/himura/twitter-types#readme
-
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