| Copyright | (c) Jesper Kuiper 2021 Leander van Boven 2021 Ramon Meffert 2021 |
|---|---|
| License | BSD3 |
| Safe Haskell | None |
| Language | Haskell2010 |
Util
Description
Synopsis
- putStrFgc :: Color -> String -> IO ()
- putStrLnFgc :: Color -> String -> IO ()
- printInvalidAction :: Char -> IO ()
- printGraphComplete :: IO ()
- writeToSvgGraph :: String -> Bdd -> IO ()
Coloured printing
putStrLnFgc :: Color -> String -> IO () Source #
Prints the given mesage with a new line in a given colour.
Messaging
printInvalidAction :: Char -> IO () Source #
Prints a message that an action is invalid for the current context.
printGraphComplete :: IO () Source #
Prints a message that the current graph is complete, i.e. every agent is an expert.