Copyright | (c) Christian Maeder DFKI GmbH 2013 |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | Christian.Maeder@dfki.de |
Stability | provisional |
Portability | non-portable (via imports) |
Safe Haskell | None |
export logic graph information as Json
Documentation
usableProvers :: LogicGraph -> IO Json Source #
proversOfLogic :: AnyLogic -> IO [Json] Source #
lGToJson :: LogicGraph -> IO Json Source #
logicToJson :: AnyLogic -> IO Json Source #
comorphismToJson :: AnyComorphism -> Json Source #