Hoogle Search
Within LTS Haskell 24.42 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
GHC plugin to make stream fusion more predictable. This plugin provides the programmer with a way to annotate certain types using a Fuse pragma from the fusion-plugin-types package. The programmer would annotate the types that are to be eliminated by fusion. During the simplifier phase the plugin goes through the relevant bindings and if one of these types are found inside a binding then that binding is marked to be inlined irrespective of the size. This plugin was primarily motivated by streamly but it can be used in general.
-
Types for the fusion-plugin package. GHC package that provides types that when used in a package can be identified by the fusion-plugin package to perform any extra optimizations.
-
A simple checker for stress testing monadic code A simple checker for stress testing monadic code
-
Filters a list based on a fuzzy string search. Filters a list based on a fuzzy string search.
-
Libary for parsing dates in strings in varied formats. Please see the README on GitHub at https://github.com/ReedOei/fuzzy-dates#readme
-
Fuzzy time types, parsing and resolution
-
Fuzzy set data structure for approximate string matching Please see the README on GitHub at https://github.com/laserpants/fuzzyset-haskell#readme
-
Determine string similarities and distance Haskell implementation of PostgreSQL fuzzystrmatch extension
-
A Haskell binding to a subset of the GD graphics library This is a binding to a (currently very small) subset of the GD graphics library.
-
Reason about invariants and preconditions with ghosts of departed proofs. Reason about invariants and preconditions with ghosts of departed proofs. The GDP library implements building blocks for creating and working with APIs that may carry intricate preconditions for proper use. As a library author, you can use gdp to encode your API's preconditions and invariants, so that they will be statically checked at compile-time. As a library user, you can use the gdp deduction rules to codify your proofs that you are using the library correctly.