Hoogle Search
Within LTS Haskell 24.35 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
A type class for choosing sentinel-like values Please see the README on GitHub at https://github.com/cdornan/no-value#readme
-
Non-empty sequence Please see README.md
-
A non-empty comonadic list zipper A non-empty comonadic list zipper
-
Minimum fuss normally distributed random values. This purpose of this library is to have a simple API and no dependencies beyond Haskell 98 in order to let you produce normally distributed random values with a minimum of fuss. This library does not attempt to be blazingly fast nor to pass stringent tests of randomness. It attempts to be very easy to install and use while being "good enough" for many applications (simulations, games, etc.). The API builds upon and is largely analogous to that of the Haskell 98 Random module (more recently System.Random). Pure:
(sample,g) = normal myRandomGen -- using a Random.RandomGen samples = normals myRandomGen -- infinite list samples2 = mkNormals 10831452 -- infinite list using a seed
In the IO monad:sample <- normalIO samples <- normalsIO -- infinite list
With custom mean and standard deviation:(sample,g) = normal' (mean,sigma) myRandomGen samples = normals' (mean,sigma) myRandomGen samples2 = mkNormals' (mean,sigma) 10831452
sample <- normalIO' (mean,sigma) samples <- normalsIO' (mean,sigma)
Internally the library uses the Box-Muller method to generate normally distributed values from uniformly distributed random values. If more than one sample is needed taking samples off an infinite list (created by e.g. normals) will be roughly twice as efficient as repeatedly generating individual samples with e.g. normal. -
Parser for OFX data A parser for Open Financial Exchange (OFX) financial data. This handles OFX version 1.03, which is documented at http://www.ofx.net This also handles QFX, which is OFX plus some minor additions made by Intuit, the publishers of Quicken. The parser will place all the data into a tree, which you can query for whatever data you may need, although you will need to be familiar with the OFX spec to do this. There is also a Transaction type which you can easily parse from the tree; this will contain most, perhaps all, of the data you will be interested in if your OFX file is from a bank or credit card account. All the OFX and QFX files I have seen use the format from the 1.0 series of OFX, which is primarily SGML based. OFX version 2 is XML based. This parser likely will not work on those files.
-
Ogma: Helper tool to interoperate between Copilot and other languages. Ogma is a tool to facilitate the integration of safe runtime monitors into other systems. Ogma extends Copilot, a high-level runtime verification framework that generates hard real-time C99 code. This package implements the internal commands of ogma.
-
Ogma: Helper tool to interoperate between Copilot and other languages. Ogma is a tool to facilitate the integration of safe runtime monitors into other systems. Ogma extends Copilot, a high-level runtime verification framework that generates hard real-time C99 code. This package implements internal extensions to existing libraries and modules that are used in several ogma packages and their testing facilities.
-
Ogma: Runtime Monitor translator: C Language Frontend Ogma is a tool to facilitate the integration of safe runtime monitors into other systems. Ogma extends Copilot, a high-level runtime verification framework that generates hard real-time C99 code. This library contains a frontend to read C header files.
-
Ogma: Runtime Monitor translator: Copilot Language Endpoints Ogma is a tool to facilitate the integration of safe runtime monitors into other systems. Ogma extends Copilot, a high-level runtime verification framework that generates hard real-time C99 code. This library contains a frontend to read Copilot monitors, a definition of Copilot structs, and a backend to generate and pretty print Copilot code.
-
Ogma: Runtime Monitor translator: CSV Frontend Ogma is a tool to facilitate the integration of safe runtime monitors into other systems. Ogma extends Copilot, a high-level runtime verification framework that generates hard real-time C99 code. This library contains a frontend to read specs from CSV files.