Hoogle Search

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

package uncertain

Manipulating numbers with inherent experimental/measurement uncertainty Provides tools to manipulate numbers with inherent experimental/measurement uncertainty, and propagates them through functions based on principles from statistics.
package unconditional-jump

Unconditional jumps Unconditional jumps.
package unconstrained

Null constraint Null constraint
package unexceptionalio-trans

A wrapper around UnexceptionalIO using monad transformers UnexceptionalIO provides a basic type to witness having caught all exceptions you can safely handle. This library builds on that with transformers like ExceptT to provide a more ergonomic tool for many cases. It is intended that you use qualified imports with this library.
```
import UnexceptionalIO.Trans (UIO)
import qualified UnexceptionalIO.Trans as UIO
```
package unification-fd

Simple generic unification algorithms. Generic functions for single-sorted first-order structural unification (think of programming in Prolog, or of the metavariables in type inference).
package union-find-array

union find data structure ST based implementation of Tarjan's disjoint set forests, using mutable arrays storing indices instead of references internally. There is also a pure, immutable version of the data structure, which is useful for querying the result of a union find construction.
package unipatterns

Helpers which allow safe partial pattern matching in lambdas Please see the README on GitHub at https://github.com/ChrisPenner/unipatterns#readme
package unit-constraint

Extremely simple typeclass Extremely simple typeclass
package universe

A class for finite and recursively enumerable types. A class for finite and recursively enumerable types and some helper functions for enumerating them
```
class Universe a where universe :: [a]
class Universe a => Finite a where universeF :: [a]; universeF = universe
```
This also provides instances from @universe-instances-*" packages.

Universe instances for types from dependent-sum A class for finite and recursively enumerable types and some helper functions for enumerating them defined in universe-base package:

class Universe a where universe :: [a]
class Universe a => Finite a where universeF :: [a]; universeF = universe

This package adds

class UniverseSome f where universeSome :: [Some f]
class UniverseSome f => FiniteSome f where universeFSome :: [Some f]; universeFSome = universe

classes.

Page 330 of many | Previous | Next