Hoogle Search
Within LTS Haskell 24.4 (ghc-9.10.2)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
Dynamically-typed expressions involving function application and variables. Express is a library for manipulating dynamically typed Haskell expressions. It's like Data.Dynamic but with support for encoding function aplication and variables. It provides the Expr type and over a hundred functions for building, evaluating, comparing, folding, canonicalizing and matching Expr s. See the README and Haddock documentation for more details.
-
Interfacing with RSS (v 0.9x, 2.x, 1.0) + Atom feeds. Interfacing with RSS (v 0.9x, 2.x, 1.0) + Atom feeds. To help working with the multiple feed formats we've ended up with, this set of modules provides parsers, pretty printers and some utility code for querying and just generally working with a concrete representation of feeds in Haskell. See here for an example of how to create an Atom feed: https://github.com/haskell-party/feed/blob/master/tests/Example/CreateAtom.hs For basic reading and editing of feeds, consult the documentation of the Text.Feed.* hierarchy.
-
Nat and Fin: peano naturals and finite numbers This package provides two simple types, and some tools to work with them. Also on type level as DataKinds.
-- Peano naturals data Nat = Z | S Nat -- Finite naturals data Fin (n :: Nat) where Z :: Fin ('S n) S :: Fin n -> Fin ('Nat.S n)vec implements length-indexed (sized) lists using this package for indexes. The Data.Fin.Enum module let's work generically with enumerations. See Hasochism: the pleasure and pain of dependently typed haskell programming by Sam Lindley and Conor McBride for answers to how and why. Read APLicative Programming with Naperian Functors by Jeremy Gibbons for (not so) different ones.Similar packages
- finite-typelits . Is a great package, but uses GHC.TypeLits.
- type-natural depends on singletons package. fin will try to stay light on the dependencies, and support as many GHC versions as practical.
- peano is very incomplete
- nat as well.
- PeanoWitnesses doesn't use DataKinds.
- type-combinators is big package too.
-
Alternative prelude with batteries and no dependencies A custom prelude with no dependencies apart from base. This package has the following goals:
- provide a base like sets of modules that provide a consistent set of features and bugfixes across multiple versions of GHC (unlike base).
- provide a better and more efficient prelude than base's prelude.
- be self-sufficient: no external dependencies apart from base.
- provide better data-types: packed unicode string by default, arrays.
- Better numerical classes that better represent mathematical thing (No more all-in-one Num).
- Better I/O system with less Lazy IO
- Usual partial functions distinguished through type system
-
Deriving instances with GHC.Generics and related utilities Generic implementations of standard type classes. Operations on generic representations to help using GHC.Generics. See README.
package
genvalidity-persistent GenValidity support for Persistent GenValidity support for Persistent
-
In memory storage of deeply evaluated data structure This package provides minimal functionality for working with "compact regions", which hold a fully evaluated Haskell object graph. These regions maintain the invariant that no pointers live inside the struct that point outside it, which ensures efficient garbage collection without ever reading the structure contents (effectively, it works as a manually managed "oldest generation" which is never freed until the whole is released). Internally, the struct is stored a single contiguous block of memory, which allows efficient serialization and deserialization of structs for distributed computing. This package provides a low-level API; see also the <packagecompact compact package> which provides a user-facing API.
package
ghc-typelits-presburger Presburger Arithmetic Solver for GHC Type-level natural numbers. ghc-typelits-presburger augments GHC type-system with Presburger Arithmetic Solver for Type-level natural numbers. This plugin only work with GHC builtin operations. To work with those of singletons package, use ghc-typelits-meta and/or ghc-typelits-presburger instead. . Since 0.3.0.0, integration with singletons package moves to singletons-presburger. . You can use by adding this package to build-depends and add the following pragma to the head of .hs files: . . > OPTIONS_GHC -fplugin GHC.TypeLits.Presburger
-
Atk bindings Bindings for Atk, autogenerated by haskell-gi.
-
Gdk 3.x bindings Bindings for Gdk 3.x, autogenerated by haskell-gi.