| Copyright | (c) Otto-von-Guericke University of Magdeburg |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Safe Haskell | None |
HetsAPI.DataTypes
Description
Synopsis
- type Sentence = GenericTransportType
- type SentenceByName = OMap String Sentence
- type SignatureJSON = GenericTransportType
- type SymbolJSON = GenericTransportType
- type GenericTransportType = ByteString
- type TheoryPointer = (LibName, LibEnv, DGraph, LNode DGNodeLab)
Documentation
type Sentence = GenericTransportType Source #
type SentenceByName = OMap String Sentence Source #
type SignatureJSON = GenericTransportType Source #
type SymbolJSON = GenericTransportType Source #
type GenericTransportType = ByteString Source #
In the API if it is not possible to export the generic type, they are converted to JSON.