Hoogle Search

Within LTS Haskell 24.3 (ghc-9.10.2)

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

package crypton-x509-store

X.509 collection accessing and storing methods X.509 collection accessing and storing methods for certificate, crl, exception list
package event-list

Event lists with relative or absolute time stamps These lists manage events that are associated with times. Times may be given as difference between successive events or as absolute time values. Pauses before the first and after the last event are supported. The underlying data structures are lists of elements of alternating types, that is [b,a,b,...,a,b] or [a,b,a,...,a,b]. The data structures can be used to represent MIDI files, OpenSoundControl message streams, music performances etc.
package fsnotify

Cross platform library for file change notification. Cross platform library for file creation, modification, and deletion notification. This library builds upon existing libraries for platform-specific Windows, Mac, and Linux filesystem event notification.
package genvalidity-property

Standard properties for functions on `Validity` types Standard properties for functions on Validity types
package genvalidity-text

GenValidity support for Text GenValidity support for Text
package ghc-paths

Knowledge of GHC's installation directories Knowledge of GHC's installation directories
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.

Page 33 of many | Previous | Next