Documentation

module Network.TypedProtocol.Documentation.TH

module Network.TypedProtocol.Documentation.Types

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

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

defaultMain :: (HasInfo codec (DefEnumEncoding codec), HasInfo codec Word32) => [ProtocolDescription codec] -> IO () Source #