PAKCS
Exported names: Imported modules:

Module Pretty.ShowOptions

Summary of exported operations:

showOptions :: Config -> String   
showVerbosity :: Int -> String   
showBool :: Bool -> String   
showCheckList :: CheckList -> String   

Exported operations:

showOptions :: Config -> String   

showVerbosity :: Int -> String   

Further infos:
  • partially defined
  • solution complete, i.e., able to compute all solutions

showBool :: Bool -> String   

Further infos:
  • solution complete, i.e., able to compute all solutions

showCheckList :: CheckList -> String   

Further infos:
  • solution complete, i.e., able to compute all solutions