Portability | portable |
---|---|
Stability | experimental |
Maintainer | forsyde-dev@ict.kth.se |
This module provides the GraphML backend of ForSyDe's embedded compiler
- writeGraphML :: SysDef a -> IO ()
- writeGraphMLOps :: GraphMLOps -> SysDef a -> IO ()
- data GraphMLOps = GraphMLOps {}
- data GraphMLDebugLevel
- data GraphMLRecursivity
- defaultGraphMLOps :: GraphMLOps
Documentation
writeGraphML :: SysDef a -> IO ()Source
Given a System Definition whose name is A generate A.graphml
in current
working directory using the default compilation options.
writeGraphMLOps :: GraphMLOps -> SysDef a -> IO ()Source
writeGraphML
-alternative which allows setting GraphML compilation
options.
data GraphMLOps Source
GraphML Compilation options
GraphMLOps | |
|
data GraphMLDebugLevel Source
Debug level
data GraphMLRecursivity Source
Recursivity, should the parent systems of system instances be compiled as well?
defaultGraphMLOps :: GraphMLOpsSource
Default traversing options