ClassLaws-0.3.1.0: Stating and checking laws for type class methods

Safe HaskellNone

Text.Show.Laws

Documentation

data ShowLaw s Source

Instances

class Show s => ShowLaws s whereSource

Methods

showLaw :: Law (ShowLaw s)Source

defaultShowLaw :: Show a => (Int, a, String, [Char]) -> Theorem [Char]Source