Hoogle Search

Within LTS Haskell 24.34 (ghc-9.10.3)

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

package yi-rope

A rope data structure used by Yi A rope data structure used by Yi
package StateVar

State variables This package contains state variables, which are references in the IO monad, like IORefs or parts of the OpenGL state.
package basement

Foundation scrap box of array & string Foundation most basic primitives without any dependencies
package co-log-core

Composable Contravariant Comonadic Logging Library This package provides core types and functions to work with the LogAction data type which is both simple and powerful.
```
newtype LogAction m msg = LogAction
{ unLogAction :: msg -> m ()
}
```
The ideas behind this package are described in the following blog post:
- co-log: Composable Contravariant Combinatorial Comonadic Configurable Convenient Logging
See the following packages for different implementations based on co-log-core:
- co-log: taggless final implementations.
- co-log-polysemy: extensible effects implementation based on polysemy.
package crypto-api

A generic interface for cryptographic operations A generic interface for cryptographic operations (hashes, ciphers, randomness). Maintainers of hash and cipher implementations are encouraged to add instances for the classes defined in Crypto.Classes. Crypto users are similarly encouraged to use the interfaces defined in the Classes module. Any concepts or functions of general use to more than one cryptographic algorithm (ex: padding) is within scope of this package.
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-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.

Page 33 of many | Previous | Next