Hoogle Search

Within LTS Haskell 24.28 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

package testing-feat

Functional Enumeration of Algebraic Types Feat (Functional Enumeration of Algebraic Types) provides enumerations as functions from natural numbers to values (similar to toEnum but for any algebraic data type). This can be used for SmallCheck-style systematic testing, QuickCheck style random testing, and hybrids of the two. The enumerators are defined in a very boilerplate manner and there is a Template Haskell script for deriving the class instance for most types. Test.Feat contain a subset of the other modules that should be sufficient for most test usage. There are some small and large example in the tar ball. The generators are provided by the size-based package. This means other libraries that implement the Sized class can use the same generator definitions. One such is the lazy-search package, that uses laziness to search for values and test properties. This is typically a lot faster than Feat for properties that have preconditions (logical implication), but can not be used for random selection of values.
package testing-type-modifiers

Data type modifiers for property based testing Property based testing libraries such as QuickCheck tend to include type modifiers. Most of them are used to quantify over subsets of a type. For example a property on non-empty lists:
```
prop_tail_length (NonEmpty xs) = length (tail xs) == length xs - 1
```
This library is intended to supply these modifiers to be used by testing libraries, in an effort to make properties more portable between testing frameworks. For every modifier it also provides an access function that converts to the underlying type, which enables point-free style properties as such:
```
prop_tail_length2 = (> 0) . length . nonEmpty
```
package texmath

Conversion between math formats. The texmath library provides functions to read and write TeX math, presentation MathML, and OMML (Office Math Markup Language, used in Microsoft Office). Support is also included for converting math formats to Gnu eqn, typst, and pandoc's native format (allowing conversion, via pandoc, to a variety of different markup formats). The TeX reader supports basic LaTeX and AMS extensions, and it can parse and apply LaTeX macros. (See here for a live demo of bidirectional conversion between LaTeX and MathML.) The package also includes several utility modules which may be useful for anyone looking to manipulate either TeX math or MathML. For example, a copy of the MathML operator dictionary is included. Use the executable flag to install a standalone executable, texmath, that converts formulas from one format to another. (Use the --help flag for a description of all functionality). Use the server flag to install a web server, texmath-server, that exposes a JSON API allowing conversion of individual formulas and batches of formulas.
package text-convert

Convert between various textual representations. Convert between various types representing textual data. This library differs from the similar string-conversions library in that this library exports class methods that are monomorphic in their return type. This enhances readability and aids type inference.
package text-display

A typeclass for user-facing output The Display typeclass provides a solution for user-facing output that does not have to abide by the rules of the Show typeclass.
package text-postgresql

Parser and Printer of PostgreSQL extended types This package involves parser and printer for text expressions of PostgreSQL extended types. - inet type, cidr type
package tf-random

High-quality splittable pseudorandom number generator This package contains an implementation of a high-quality splittable pseudorandom number generator. The generator is based on a cryptographic hash function built on top of the ThreeFish block cipher. See the paper Splittable Pseudorandom Number Generators Using Cryptographic Hashing by Claessen, Pałka for details and the rationale of the design. The package provides the following:
- A splittable PRNG that implements the standard System.Random.RandomGen class.
- The generator also implements an alternative version of the System.Random.TF.Gen.RandomGen class (exported from System.Random.TF.Gen), which requires the generator to return pseudorandom integers from the full 32-bit range, and contains an n-way split function.
- An alternative version of the Random class is provided, which is linked to the new RandomGen class, together with Random instances for some integral types.
- Two functions for initialising the generator with a non-deterministic seed: one using the system time, and one using the /dev/urandom UNIX special file.
The package uses an adapted version of the reference C implementation of ThreeFish from the reference package of the Skein hash function (https://www.schneier.com/skein.html), originally written by Doug Whiting. Please note that even though the generator provides very high-quality pseudorandom numbers, it has not been designed with cryptographic applications in mind.
package th-constraint-compat

Compatibility for type constraint template This package provides compatibe interfaces for type constraint template
package th-env

Template Haskell splices that expand to an environment variable TH splices that expand to an environment variable value. Can be used to embed build-time parameters in your application.
package th-utilities

Collection of useful functions for use with Template Haskell Collection of useful functions for use with Template Haskell

Page 144 of many | Previous | Next