module Test.IOTasks.FeedbackStyle (
FeedbackStyle(..),
TraceStyle(..),
defaultFeedback,
) where
data FeedbackStyle = FeedbackStyle
{ FeedbackStyle -> Bool
simplifyFeedback :: Bool
, FeedbackStyle -> TraceStyle
traceStyle :: TraceStyle
}
data TraceStyle = HorizontalTrace | VerticalTrace
defaultFeedback :: FeedbackStyle
defaultFeedback :: FeedbackStyle
defaultFeedback = FeedbackStyle { simplifyFeedback :: Bool
simplifyFeedback = Bool
False, traceStyle :: TraceStyle
traceStyle = TraceStyle
HorizontalTrace }