.ghci

-- .ghci for creating a Lazy SmallCheck 2012 environment

:{
let command_lsc = unlines [ ":load Test.LazySmallCheck2012"
                          , ":set prompt \"*LSC2012> \""
                          , "putStrLn \"\\n\""
                          , "putStrLn \" ##########################################\""
                          , "putStrLn \" #  LazySmallCheck 2012 GHCi Environment  #\""
                          , "putStrLn \" ##########################################\""
                          , "putStrLn \" :lsc --suite    === Run test suite.\""
                          , "putStrLn \" :lsc --reset    === Reset environment.\""
                          , "putStrLn \" :lsc --readme   === View README.md.\""
                          , "putStrLn \"\""]
:}
:{
let command_suite = unlines [ ":load suite/Functionality.hs"
                            , "main"
                            , "putStr \"\\nPress <ENTER> to continue...\""
                            , "getLine"
                            , ":lsc --reset"]
:}
:{
let command_switch "--suite"  = return $ command_suite
    command_switch "--reset"  = return $ command_lsc
    command_switch "--readme" = return $ ":! less README.md"
    command_switch _          = return $ "putStrLn \"Invalid command.\""
:}


:def lsc command_switch

:lsc --reset