Mercurial > hg > Papers > 2015 > atton-thesis

view prepaper/src/numberCountDelta.hs @ 68:b1271d62390c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Mini fixes
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 17 Feb 2015 14:32:40 +0900
parents c75ba6313e39
children
line wrap: on
line source

generator x = Mono [1..x]
numberFilter xs = let primeList = filter @ {\underline {isPrime} $ _1 $ @ xs
                      evenList  = filter @ {\underline {even} $ _2 $ @ xs    in
                  Delta evenList (Mono primeList)
count xs = return (length xs)

numberCount x = count =<< numberFilter =<< generator x