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.
-
Thread-indexed, nested contexts Thread-indexed storage around arbitrary context values. The interface supports nesting context values per thread, and at any point, the calling thread may ask for their current context.
-
Generic cryptography cipher tests Generic cryptography cipher tests
-
Generic cryptography cipher types Generic cryptography cipher types
package
data-accessor-transformers Use Accessor to access state in transformers State monad Use Accessor to access state in transformers State monad
-
Abstractions over deferred folds This library is in an experimental state. Users should be prepared for frequent updates.
-
Defunctionalization helpers: core definitions The package defun provides defunctionalization helpers, most importantly type family DeFun.Core.App allowing to write higher-order type families. The singletons package also has its own type family Apply, but the machinery is tied to the Sing / singletons. In particular, the Lam counterpart SLambda is specialized to Sing arguments. The defun's Lam is however fully general, so you can use your own singletons or (importantly) singleton-like arguments. The package provides few defunctionalized functions, and their term-level variants can be found in defun-bool and defun-sop packages, which use SBool and NP data types from singletons-bool and sop-core packages respectively.
package
dependent-sum-template Template Haskell code to generate instances of classes in some package Template Haskell code to generate instances of classes in some package, such as GEq and GCompare.
-
Typeful hierarchical structured logging without monad towers. Typeful hierarchical structured logging without monad towers.
-
Tools for ELynx Please see the README on GitHub at https://github.com/dschrempf/elynx.
-
Proof assistant for Haskell using DataKinds & PolyKinds A simple convenient library to write equational / preorder proof as in Agda. Since 0.6.0.0, this no longer depends on singletons package, and the Proof.Induction module goes to equational-reasoning-induction package.