Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
This module provides various default formatters for outputting information in human readable form. Alternative versions should be used where appropriate.
Documentation
sayWhatFailedGoals :: Bool -> Bool -> Seq ProvedGoals -> SayWhat Source #