Showing entries 2901-3000 out of 18345.
Provide orphan NFData instances for containers as needed
Data.Graph, but it doesn't suck!
Unicode alternatives for common functions and operators
Formally verified drop-in replacement of containers
Control
Store and retrieve data from an on-disk store
Thread-indexed, nested contexts
Generate art from context-free grammars
Basic algorithms on context-free grammars
Modify HTTP requests/responses using context
Thread-safe, pool-compatible resource provider
An abstraction of a stack and stack-based monadic context
Add request-specific (or not!)
Implementation of the context algebra
Unified interface for primitive arrays
Contiguous with bounds checks
Dft of contiguous memory structures
Monads with suspension and arbitrary-spot reentry
Types and functions for working with continued fractions in Haskell
Continued fractions
Continuum Database Client
Continuum Database Client
Arrow and contravariant tracers
A logging library built on top of contra-tracer to make configuring and declaring multiple tracers…
Validation types/typeclass based on the contravariance
Practical typed lazy contracts
Contravariant functors
Extras for the "contravariant" package
Class of monad transformers which control operations can be lifted thru
Higher-order functions with their function arguments at the end, for channeling the full power of …
Useful combinators for boolean expressions
Haskell operator g
An alternative to monads in do-notation
A parallel producer/consumer engine (thread pool)
Event scheduling system
A typeclass for type isomorphisms
Monad transformer for attempt
Explicitly typed, checked exceptions with stack traces
Monads-fd instances for the EMT exceptions monad transformer
Monads-tf instances for the EMT exceptions monad transformer
MTL instances for the EMT exceptions monad transformer
A class for monads which can fail with an error
A class for monads which can fail with an error for mtl 1 (deprecated)
Free monads and monad transformers
Simple monad transformer for imperative-style loops
A Library for Writing Multi-Pass Algorithms
A breadth-first list monad
A breadth-first list monad
Reusable corecursive queues, via continuations
A variation on the ST monad with two type parameters
Timeout handling
Fast, easy to use CPS-based monad transformers
ContStuff instances for monads-tf transformers (deprecated)
Deprecated interface between contstuff 0.7.0 and the transformers package
Limit operations for converging sequences
Universal converter between values of different types
"Conversion" instances for the "bytestring" library
"Conversion" instances for the "case-insensitive" library
"Conversion" instances for the "text" library
Injective explicit total and partial conversions
Safe and unsafe data conversion utilities with strong type-level operation
Convert the annotation of a gene to another in a delimited file using a variety of different datab…
Typeclasses and instances for converting between types
Convertible instances for ascii
Typeclasses and instances for converting between types (deprecated)
Convex hull
Tiered general-purpose libraries with domain-specific applications
HTTP cookie parsing and rendering
HTTP cookie parsing and rendering
For serving cookies
Web cookies
Parser for the Cook markup language
A representation of latitude and longitude
A stream DSL for writing embedded C programs
A stream DSL for writing embedded C programs
A compiler for Copilot targeting FPGAs
A compiler for Copilot targeting C99
A compiler for Copilot targeting C99
Copilot interface to a C model-checker
An intermediate representation for Copilot
An intermediate representation for Copilot
FRP sketch programming with Copilot
Interpreter for Copilot
Interpreter for Copilot
A Haskell-embedded DSL for monitoring hard real-time distributed systems
A Haskell-embedded DSL for monitoring hard real-time distributed systems
Libraries for the Copilot language
Libraries for the Copilot language
A prettyprinter of Copilot Specifications
A prettyprinter of Copilot Specifications
A compiler for CoPilot targeting SBV
K-induction for Copilot
K-induction for Copilot
System for verifying the correctness of generated Copilot programs
Haskell interface to the Fedora Copr system
Copr API client libary
Yet another shell monad
An algebraic data type similar to Prelude Ordering
External core parser and pretty printer
Compile your own mini functional language with Core