PAKCS
Exported names: Imported modules:

Module Output

This module defines some auxiliary functions for intermediate output.

Author: Björn Peemöller

Version: September 2015

Summary of exported operations:

traceDetail :: Options -> String -> a -> a   
Trace details in pure computations.
traceDebug :: Options -> String -> a -> a   
Trace debug information in pure computations.
status :: Options -> String -> IO ()   
Print status information.
info :: Options -> String -> IO ()   
Print additional information.
detail :: Options -> String -> IO ()   
Print detailed information.
debug :: Options -> String -> IO ()   
Print debug information.
assert :: Bool -> String -> a -> a   
Assert the truth of the first value or throw an error with the second argument as the information describing the failed assertion.
colorWith :: Options -> (String -> String) -> String -> String   
Conditionally color the string, based on the given options.

Exported operations:

traceDetail :: Options -> String -> a -> a   

Trace details in pure computations.

traceDebug :: Options -> String -> a -> a   

Trace debug information in pure computations.

status :: Options -> String -> IO ()   

Print status information.

info :: Options -> String -> IO ()   

Print additional information.

detail :: Options -> String -> IO ()   

Print detailed information.

debug :: Options -> String -> IO ()   

Print debug information.

assert :: Bool -> String -> a -> a   

Assert the truth of the first value or throw an error with the second argument as the information describing the failed assertion.

colorWith :: Options -> (String -> String) -> String -> String   

Conditionally color the string, based on the given options.