| 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 |
Logic.LGToJson
Description
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 #