module Test.IOTasks.FeedbackStyle (
  FeedbackStyle(..),
  TraceStyle(..),
  defaultFeedback,
  ) where

data FeedbackStyle = FeedbackStyle
  -- | cleanup feedback for educational use
  { FeedbackStyle -> Bool
simplifyFeedback :: Bool
  -- | trace printing style
  , FeedbackStyle -> TraceStyle
traceStyle :: TraceStyle
  }

data TraceStyle = HorizontalTrace | VerticalTrace

defaultFeedback :: FeedbackStyle
defaultFeedback :: FeedbackStyle
defaultFeedback = FeedbackStyle { simplifyFeedback :: Bool
simplifyFeedback = Bool
False, traceStyle :: TraceStyle
traceStyle = TraceStyle
HorizontalTrace }