Hoogle Search
Within LTS Haskell 24.49 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
An experimental proof assistant for synthetic ∞-categories Please see the README on GitHub at https://github.com/rzk-lang/rzk#readme
package
safe-coloured-text-layout-gen Generators for types in safe-coloured-text-layout
-
Safe and very efficient arithmetic operations on fixed decimal point numbers Please see the README on GitHub at https://github.com/fpco/safe-decimal#readme
-
Recursive Arbitrary instances without headaches Write and derive Arbitrary instances for recursive data without worrying about termination.
-
Automatic JSON format versioning This library aims to make the updating of JSON formats or contents, while keeping backward compatibility, as painless as possible. The way this is achieved is through versioning and defined migration functions to migrate older (or newer) versions to the one used. The library mainly consists of two classes:
- SafeJSON a: Defines the version of a and if (and how) it is migratable.
- Migrate a: Defines the data type (MigrateFrom a) that can be migrated to a and how to migrate from that type.
-
Type-safe and lossless encoding and manipulation of money, fiat currencies, crypto currencies and precious metals. The Haskell safe-money library offers type-safe and lossless encoding and operations for monetary values in all world currencies, including fiat currencies, precious metals and crypto-currencies. Useful instances for the many types defined by safe-money can be found in these other libraries:
- safe-money-aeson: FromJSON and ToJSON instances (from the aeson library).
- safe-money-cereal: Serialize instances (from the cereal library).
- safe-money-serialise: Serialise instances (from the serialise library).
- safe-money-store: Store instances (from the store library).
- safe-money-xmlbf: FromXml and ToXml instances (from the xmlbf library).
-
Cryptography that's easy to digest (NaCl/libsodium bindings). NaCl (pronounced "salt") is a new easy-to-use high-speed software library for network communication, encryption, decryption, signatures, etc. NaCl's goal is to provide all of the core operations needed to build higher-level cryptographic tools. http://nacl.cr.yp.to/ Sodium is a portable, cross-compilable, installable, packageable crypto library based on NaCl, with a compatible API. https://github.com/jedisct1/libsodium Saltine is a Haskell binding to the NaCl primitives going through Sodium for build convenience and, eventually, portability.
-
Semantic version numbers and constraints. Salve provides semantic version (SemVer) numbers and constraints (ranges).
-
Orphan instances for types from sample-frame and numericprelude Orphan instances for types from sample-frame package and type classes from numeric-prelude. Using this package instead defining custom orphan instances saves you from conflicting instances. This is used by packages synthesizer, synthesizer-alsa, synthesizer-llvm.
-
Sample values from collections. Basic sampling tools. Exports variations on two simple functions for sampling from arbitrary Foldable collections:
- sample, for sampling without replacement
- resample, for sampling with replacement (i.e., a bootstrap)