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