Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
visualize :: (MonadSession m, MkDiagram * s) => m (Cap * ctx s) r a -> IO () #
Visualizes the session type of a given STTerm
You may use this function in the following way
main = visualize st
Then the following command will generate a diagram named "sessiontype.png"
stack exec vis-sessiontype -- -o sessiontype.png -w 400
For more information on how to generate a diagram please visit the diagrams package