Skip to content

Instantly share code, notes, and snippets.

@deque-blog

deque-blog/rapid_check_result_type.hs

Last active January 30, 2017 19:36
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save deque-blog/0535eab99eeb50deb4d0fafc2221f751 to your computer and use it in GitHub Desktop.
Save deque-blog/0535eab99eeb50deb4d0fafc2221f751 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
rapid_check_result_type.hs
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