The main feature here is implicit conversion of arguments to AST constructors: Tired of writing things like
> valD (varP (mkName "foo")) (normalB (appE (varE 'not)
> (conT 'True))) 
? With th-build:
> valD' "foo" (appE' 'not 'True) ()
Hint: Use () for an empty list argument to an autoconverting function, since  will yield an type ambiguity error.
Expands type synonyms in Template Haskell ASTs
A grab bag of functions for use with Template Haskell.
This is basically the place I put all my ugly CPP hacks to support the ever-changing interface of the template haskell system by providing high-level operations and making sure they work on as many versions of Template Haskell as I can.
Very rough-around-the-edges template haskell function for generating basic catamorphisms for algebraic data types.
A IsString for name, and the beginnings of Arbitrary instances ... I have a instance for Type ... almost ... missing the ForallT.
Given the name of a Haskell type, typeclass, type family, or any of the above, determines its kind.
Derive Template Haskell's Lift class for datatypes.
Orphan instances for TH datatypes. In particular, instances for Ord and Lift, as well as a few missing Show / Eq. These instances used to live in haskell-src-meta, and that's where the version number started.
th-sccs exposes Template Haskell functions for computing the mutually recursive binding groups for data and type synonym declarations, excluding those that use type families. This includes a convenient type class for gathering the type constructor names that occur within a TH Info/Dec/Type value.
Video Compression Library (see http:theora.org)
Small and simple library for computing values of Theta functions. They're the special functions of two variables. Described very well at https://en.wikipedia.org/wiki/Theta_function. Library exports four theta-functions and a small helper to calculate their second parameter. Theta functions are functions of Complex variables, FYI.
Haskell benefits from a sophisticated type system, but implementors, programmers, and researchers suffer because it has no formal description. To remedy this shortcoming, we present a Haskell program that implements a Haskell typechecker, thus providing a mathematically rigorous specification in a notation that is familiar to Haskell users. We expect this program to fill a serious gap in current descriptions of Haskell, both as a starting point for discussions about existing features of the type system, and as a platform from which to explore new proposals.
This package is derived from the Haskell '98 + Multiparameter Type Classes package of THIH.
"thimk" (an old joke) is a command-line spelling word suggestion tool. You give it a possibly-misspelled word, and it spits out one or more properly-spelled words in order of likelihood of similarity.
The latest change to the implementation is an addition of an optional precompiled SQlite database of phonetic codes for the entire dictionary, created with "thimk-makedb". This greatly speeds lookup, permitting reasonable performance on enormous dictionaries.
A purely functional 2D scenegraph library with functionality similar to a barebones Processing. Currently entirely implmeneted using Cairo, although I would like to go to OpenGL as well.
This package is useful, but deprecated. In new code, please use <http:hackage.haskell.orgpackagethreads threads> instead.
A simple thread management API inspired by the one in <http:book.realworldhaskell.orgreadconcurrent-and-multicore-programming.html chapter 24 of Real World Haskell>.
Show more results