Hoogle Search
Within LTS Haskell 24.10 (ghc-9.10.2)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
Effectful streams and automata in coalgebraic encoding Effectful streams have an internal state and a step function. Varying the effect type, this gives many different useful concepts: For example with a reader effect, it results in automata (a.k.a transducers or state machines).
-
Avro serialization support for Haskell Avro serialization and deserialization support for Haskell
-
A client for AWS X-Ray. The core client for enabling AWX X-Ray. See other `aws-xray-client-*` packages for usage and integration examples.
-
Classes for working with types that can change clothes. Types that are parametric on a functor are like Barbies that have an outfit for each role. This package provides the basic abstractions to work with them comfortably.
-
Featureful preludes formed solely from the "base" package A library which aims to reexport all the non-conflicting and most general definitions from the "base" package. This includes APIs for applicatives, arrows, monoids, foldables, traversables, exceptions, generics, ST, MVars and STM. This package will never have any dependencies other than "base". Besides a rich prelude it provides limited ones like BasePrelude.DataTypes, which only exports the data-types defined across the "base" package, and BasePrelude.Operators, which only exports the common operators. Versioning policy The versioning policy of this package deviates from PVP in the sense that its exports in part are transitively determined by the version of "base". Therefore it's recommended for the users of "base-prelude" to specify the bounds of "base" as well.
-
Binary and exponential searches Introduction This package provides varieties of binary search functions. c.f. Numeric.Search for the examples. These search function can search for pure and monadic predicates, of type:
pred :: Eq b => a -> b pred :: (Eq b, Monad m) => a -> m b
The predicates must satisfy that the domain range for any codomain value is continuous; that is, ∀x≦y≦z. pred x == pred z ⇒ pred y == pred x . For example, we can address the problem of finding the boundary of an upward-closed set of integers, using a combination of exponential and binary searches. Variants are provided for searching within bounded and unbounded intervals of both Integer and bounded integral types. The package was created by Ross Paterson, and extended by Takayuki Muranushi, to be used together with SMT solvers. The Module Structure- Numeric.Search provides the generic search combinator, to search for pure and monadic predicates.
- Numeric.Search.Bounded , Numeric.Search.Integer , Numeric.Search.Range provides the various specialized searchers, which means less number of function arguments, and easier to use.
-
Space-efficient bit vectors A newtype over Bool with a better Vector instance: 8x less memory, up to 3500x faster. The vector package represents unboxed arrays of Bools spending 1 byte (8 bits) per boolean. This library provides a newtype wrapper Bit and a custom instance of an unboxed Vector, which packs bits densely, achieving an 8x smaller memory footprint. The performance stays mostly the same; the most significant degradation happens for random writes (up to 10% slower). On the other hand, for certain bulk bit operations Vector Bit is up to 3500x faster than Vector Bool.
Thread safety
- Data.Bit is faster, but writes and flips are not thread-safe. This is because naive updates are not atomic: they read the whole word from memory, then modify a bit, then write the whole word back. Concurrently modifying non-intersecting slices of the same underlying array may also lead to unexpected results, since they can share a word in memory.
- Data.Bit.ThreadSafe is slower (usually 10-20%), but writes and flips are thread-safe. Additionally, concurrently modifying non-intersecting slices of the same underlying array works as expected. However, operations that affect multiple elements are not guaranteed to be atomic.
Similar packages
-
A profunctor effect system? This might be a profunctor effect system, but is unlike all the others, so it's hard to say for sure.
-
Bugsnag error reporter for Haskell Please see README.md
-
a bitvector datatype that is parameterized by the vector width This module defines a width-parameterized bitvector type and various associated operations.