| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Network.TypedProtocol.Documentation.DefaultMain
Documentation
data MainOptions Source #
Constructors
| MainOptions | |
Fields | |
data OutputFormat Source #
Constructors
| OutputAuto | |
| OutputText | |
| OutputHtml | |
| OutputJSON |
Instances
defaultMain :: (HasInfo codec (DefEnumEncoding codec), HasInfo codec Word32) => [ProtocolDescription codec] -> IO () Source #
getRenderer :: (HasInfo codec (DefEnumEncoding codec), HasInfo codec Word32) => OutputFormat -> Maybe FilePath -> [ProtocolDescription codec] -> String Source #