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 useful functions for use with Template Haskell
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.
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.
A conditional expression has the form:
> if e1 then e2 else e3
and returns the value of e2 if the value of e1 is True, e3 if e1 is False, and _|_ otherwise.
> max a b = if a > b then a else b
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 Wikipedia article with corresponding name. 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.
Takes an optional argument which is the number of threads (the default is three). Give it the commands to run, one per line, through standard input. You may use blank lines to divide the commands into sections. The commands in a section will not be started until all the commands in previous sections are complete. Each section can be given its own thread count.
This package provides functions to fork threads and wait for their result, whether it's an exception or a normal value.
Besides waiting for the termination of a single thread this packages also provides functions to wait for a group of threads to terminate.
This package is similar to the threadmanager, async and spawn packages. The advantages of this package are:
* Simpler API.
* More efficient in both space and time.
* No space-leak when forking a large number of threads.
* Correct handling of asynchronous exceptions.
* GHC specific functionality like forkOn and forkIOWithUnmask.
Show more results