Hoogle Search

Within LTS Haskell 24.35 (ghc-9.10.3)

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

package ghc-typelits-knownnat

Derive KnownNat constraints from other KnownNat constraints A type checker plugin for GHC that can derive "complex" KnownNat constraints from other simple/variable KnownNat constraints. i.e. without this plugin, you must have both a KnownNat n and a KnownNat (n+2) constraint in the type signature of the following function:
```
f :: forall n . (KnownNat n, KnownNat (n+2)) => Proxy n -> Integer
f _ = natVal (Proxy :: Proxy n) + natVal (Proxy :: Proxy (n+2))
```
Using the plugin you can omit the KnownNat (n+2) constraint:
```
f :: forall n . KnownNat n => Proxy n -> Integer
f _ = natVal (Proxy :: Proxy n) + natVal (Proxy :: Proxy (n+2))
```
The plugin can derive KnownNat constraints for types consisting of:
- Type variables, when there is a corresponding KnownNat constraint
- Type-level naturals
- Applications of the arithmetic expression: +,-,*,^
- Type functions, when there is either:
1. a matching given KnownNat constraint; or
2. a corresponding KnownNat<N> instance for the type function
To use the plugin, add the
```
OPTIONS_GHC -fplugin GHC.TypeLits.KnownNat.Solver
```
Pragma to the header of your file.
package ghc-typelits-natnormalise

GHC typechecker plugin for types of kind GHC.TypeLits.Nat A type checker plugin for GHC that can solve equalities and inequalities of types of kind Nat, where these types are either:
- Type-level naturals
- Type variables
- Applications of the arithmetic expressions (+,-,*,^).
It solves these equalities by normalising them to sort-of SOP (Sum-of-Products) form, and then perform a simple syntactic equality. For example, this solver can prove the equality between:
```
(x + 2)^(y + 2)
```
and
```
4*x*(2 + x)^y + 4*(2 + x)^y + (2 + x)^y*x^2
```
Because the latter is actually the SOP normal form of the former. To use the plugin, add the
```
OPTIONS_GHC -fplugin GHC.TypeLits.Normalise
```
Pragma to the header of your file.
package hslogger

Versatile logging framework hslogger is a logging framework for Haskell, roughly similar to Python's logging module. hslogger lets each log message have a priority and source be associated with it. The programmer can then define global handlers that route or filter messages based on the priority and source. hslogger also has a Syslog handler built in.
package ieee754

Utilities for dealing with IEEE floating point numbers Utilities for dealing with IEEE floating point numbers, ported from the Tango math library; approximate and exact equality comparisons for general types.
package invariant

Haskell98 invariant functors Haskell98 invariant functors (also known as exponential functors). For more information, see Edward Kmett's article "Rotten Bananas": http://comonad.com/reader/2008/rotten-bananas/
package matrix

A native implementation of matrix operations. Matrix library. Basic operations and some algorithms. . Usage examples are included in the API reference generated by Haddock. . If you want to use GSL, BLAS and LAPACK, hmatrix (http://hackage.haskell.org/package/hmatrix) is the way to go.
package network-transport-tcp

TCP instantiation of Network.Transport TCP instantiation of Network.Transport, which can be used to create Cloud Haskell backends
package process-extras

Process extras Extends http://hackage.haskell.org/package/process. Read process input and output as ByteStrings or Text, or write your own ProcessOutput instance. Lazy process input and output. ProcessMaker class for more flexibility in the process creation API.
package regex-compat

Replaces/enhances "Text.Regex" One module compat layer over regex-posix to replace Text.Regex. See also https://wiki.haskell.org/Regular_expressions for more information.
package regex-posix

POSIX Backend for "Text.Regex" (regex-base) The POSIX regex backend for regex-base. The main appeal of this backend is that it's very lightweight due to its reliance on the ubiquitous POSIX.2 regex facility that is provided by the standard C library on most POSIX platforms. See also https://wiki.haskell.org/Regular_expressions for more information.

Page 34 of many | Previous | Next