PAKCS
Exported names: Imported modules:

Module Parse.Config

Summary of exported operations:

defaultConfig :: Config   
parseConfig :: Bool -> String -> IO Config   
readCheckList :: [String] -> CheckList -> CheckList   
readLength :: [String] -> Int -> Int   
readHint :: [String] -> Bool   
readCode :: [String] -> Bool   
readOType :: [String] -> OutPut   
readVerbosity :: [String] -> Int -> Int   

Exported operations:

defaultConfig :: Config   

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

parseConfig :: Bool -> String -> IO Config   

readCheckList :: [String] -> CheckList -> CheckList   

readLength :: [String] -> Int -> Int   

readHint :: [String] -> Bool   

readCode :: [String] -> Bool   

readOType :: [String] -> OutPut   

readVerbosity :: [String] -> Int -> Int