sessiontypes-distributed-0.1.1: Session types distributed

Safe HaskellNone




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

visualizeP :: MkDiagram k s => Proxy (ST k) s -> IO () #

Visualizes a given session type denoted by a Proxy.