Safe Haskell | None |
---|
Request and display status information from the synthesis server.
- extractStatusField :: Int -> [Datum] -> Double
- statusFields :: [String]
- statusFormat :: [Datum] -> [String]
Documentation
statusFields :: [String]Source
Names of status fields.
statusFormat :: [Datum] -> [String]Source
Status pretty printer.