| Copyright | (c) Christian Maeder DFKI GmbH 2014 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Christian.Maeder@dfki.de |
| Stability | provisional |
| Portability | non-portable(Grothendieck) |
| Safe Haskell | None |
Static.ToJson
Description
Json of Hets DGs
Synopsis
- dGraph :: HetcatsOpts -> LibEnv -> LibName -> DGraph -> Json
- lnode :: HetcatsOpts -> GlobalAnnos -> LibEnv -> LNode DGNodeLab -> Json
- gmorph :: HetcatsOpts -> GlobalAnnos -> GMorphism -> Json
- dgSymbols :: HetcatsOpts -> DGraph -> Json
- declarations :: Sentences lid sentence sign morphism symbol => lid -> [symbol] -> Json
- symbols :: Sentences lid sentence sign morphism symbol => lid -> ExtSign sign symbol -> Json
- showSymbols :: HetcatsOpts -> [String] -> GlobalAnnos -> DGNodeLab -> Json
- showSymbolsTh :: HetcatsOpts -> [String] -> String -> GlobalAnnos -> G_theory -> Json
Documentation
dGraph :: HetcatsOpts -> LibEnv -> LibName -> DGraph -> Json Source #
Export the development graph as json. If the flag full is True then symbols for all nodes are shown as declarations, otherwise (the default) only declaration for basic spec nodes are shown as is done for the corresponding xml output.
lnode :: HetcatsOpts -> GlobalAnnos -> LibEnv -> LNode DGNodeLab -> Json Source #
gmorph :: HetcatsOpts -> GlobalAnnos -> GMorphism -> Json Source #
dgSymbols :: HetcatsOpts -> DGraph -> Json Source #
collects all symbols from dg and displays them as json
declarations :: Sentences lid sentence sign morphism symbol => lid -> [symbol] -> Json Source #
symbols :: Sentences lid sentence sign morphism symbol => lid -> ExtSign sign symbol -> Json Source #
showSymbols :: HetcatsOpts -> [String] -> GlobalAnnos -> DGNodeLab -> Json Source #
showSymbolsTh :: HetcatsOpts -> [String] -> String -> GlobalAnnos -> G_theory -> Json Source #