Skip to content

Instantly share code, notes, and snippets.

@axel-andrade

axel-andrade/.lhs

Created September 2, 2020 22:11
Show Gist options
  • Save axel-andrade/c6cb549b53a7372b19fd3e8740595c4f to your computer and use it in GitHub Desktop.
Save axel-andrade/c6cb549b53a7372b19fd3e8740595c4f to your computer and use it in GitHub Desktop.
Download ZIP
Raw
.lhs
> propAlphasCorrect :: String -> Bool
> propAlphasCorrect xs = isCorrect (alphas xs)
> where
> isCorrect ys = all (isAlpha) ys
> propUppersCorrect :: String -> Bool
> propUppersCorrect xs = isCorrect (uppers xs)
> where
> isCorrect ys = all (isUpper) ys
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment