Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
data Result
= Success -- In case of success, no additional information
| Failure {
seed :: Int, -- The seed used to generate the counter example
counterExample :: [String] -- The counter example (failing inputs to string)
} deriving (Show, Eq, Ord) -- Useful instances to print and compare Results
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment