| 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 TheorySentence = SenAttr Sentence (ThmStatus (AnyComorphism, BasicProof))
- type TheorySentenceByName = OMap String TheorySentence
- type SignatureJSON = GenericTransportType
- type SymbolJSON = GenericTransportType
- type GenericTransportType = ByteString
- type TheoryPointer = (LibName, LibEnv, DGraph, LNode DGNodeLab)
- type LinkPointer = (LibName, LibEnv, LEdge DGLinkLab)
Documentation
type Sentence = GenericTransportType Source #
type TheorySentence = SenAttr Sentence (ThmStatus (AnyComorphism, BasicProof)) Source #
type TheorySentenceByName = OMap String TheorySentence 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.