Hoogle Search
Within LTS Haskell 24.57 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
Type level numbers using existing Nat functionality Type level numbers using existing Nat functionality. Uses kind-polymorphic typeclasses and type families to facilitate more general code compatible with existing code using type-level Naturals.
-
Safe timezone-aware handling of time. This package introduces:
-
A simple (but internally ugly) memoization function. A simple (but internally ugly) memoization function.
- New in 0.1.0.1: Make it exception safe.
-
Implementation of ULID - Universally Unique Lexicographically Sortable Identifier Implementation of Alizain Feerasta's ULID specification. A 26 character string identifier, as opposed to the 36 character UUID string. Uses Douglas Crockford's base 32 encoding for better efficiency and readability (5 bits per character).
-
Support for programming with names and binders using GHC Generics Specify the binding structure of your data type with an expressive set of type combinators, and unbound-generics handles the rest! Automatically derives alpha-equivalence, free variable calculation, capture-avoiding substitution, and more. See Unbound.Generics.LocallyNameless to get started. This is an independent re-implementation of Unbound but using GHC.Generics instead of RepLib. See the accompanying README for some porting notes.
-
Fast unboxed references for ST and IO monad Fast unboxed references for ST and IO monad
-
A newtype-friendly variant of unboxed vectors Please see the README on GitHub at https://github.com/minoki/unboxing-vector#readme
-
Customize uncaught exception handling. See README.md for details.
-
IO without any non-error, synchronous exceptions When you've caught all the exceptions that can be handled safely, this is what you're left with. It is intended that you use qualified imports with this library.
import UnexceptionalIO (UIO) import qualified UnexceptionalIO as UIO
You may also wish to investigate unexceptionalio-trans if you like monad transformers. Blog post: http://sngpl.ma/p4uT0 -
Extensible type-safe unions Extensible type-safe unions for Haskell with prisms using modern GHC features. Dual to vinyl records. Unions are also known as corecords or polymorphic variants. Neither requires a Typeable constraint nor uses unsafe coercions at the cost of linear time access (negligible in practice).