Data.Data.GenRep.Functions
Description
Intended for internal use: Generic representation of Data vales.
- mistify :: GenericData -> GenericData
- numberErrors :: [GenericData] -> ([GenericData], [(String, String)])
- getErrorIndex :: String -> State (Int, [(String, String)]) String
Documentation
mistify :: GenericData -> GenericDataSource
Try to hide some part of the value.
This is used in the evaluation of exercises, when the result is wrong. We would like to show the erroneous part but not the whole result.
numberErrors :: [GenericData] -> ([GenericData], [(String, String)])Source
Collect and number Error values and replace them
by an indexed bottom sign.
Repeated errors will get the same number.