Mercurial > hg > Papers > 2015 > atton-thesis
comparison src/orig/Example/Delta.hs @ 53:ca389989b660
Add original sources
author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
---|---|
date | Sun, 15 Feb 2015 22:38:43 +0900 |
parents | |
children |
comparison
equal
deleted
inserted
replaced
52:6ca594d19ca4 | 53:ca389989b660 |
---|---|
1 module Example.Delta where | |
2 | |
3 import Data.Numbers.Primes | |
4 import Delta | |
5 | |
6 -- examples | |
7 | |
8 generator :: Int -> Delta [Int] | |
9 generator x = let intList = [1..x] in | |
10 return intList | |
11 | |
12 numberFilter :: [Int] -> Delta [Int] | |
13 numberFilter xs = let primeList = filter isPrime xs | |
14 evenList = filter even xs in | |
15 Delta evenList (Mono primeList) | |
16 | |
17 count :: [Int] -> Delta Int | |
18 count xs = let primeCount = length xs in | |
19 return primeCount | |
20 | |
21 numberCount :: Int -> Delta Int | |
22 numberCount x = generator x >>= numberFilter >>= count |