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.
-
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.
package
ogma-language-jsonspec Ogma: Runtime Monitor translator: JSON 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 specifications from JSON files.
-
Ogma: Runtime Monitor translator: Lustre 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 Lustre Boolean expressions, extended with several operators related to temporal logic.
-
Ogma: Runtime Monitor translator: SMV 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 SMV Boolean expressions.
-
Ogma: Runtime Monitor translator: XLSX 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 Excel files.