Documentation

protocolToDot :: ProtocolDescription codec -> DotGraph Node Source #

flipPair :: (a, b) -> (b, a) Source #

protocolToSVGFile :: ProtocolDescription codec -> FilePath -> IO FilePath Source #

protocolToDotFile :: ProtocolDescription codec -> FilePath -> IO FilePath Source #

hProtocolToSVG :: ProtocolDescription codec -> Handle -> IO () Source #