From 8eadf828a957a8545f616387adace3d6d778cf00 Mon Sep 17 00:00:00 2001 From: aarne Date: Thu, 20 Sep 2007 13:31:24 +0000 Subject: math with gfcc --- examples/tutorial/embedded/TransferDefGFCC.hs | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100644 examples/tutorial/embedded/TransferDefGFCC.hs (limited to 'examples/tutorial/embedded/TransferDefGFCC.hs') diff --git a/examples/tutorial/embedded/TransferDefGFCC.hs b/examples/tutorial/embedded/TransferDefGFCC.hs new file mode 100644 index 000000000..ab3342f56 --- /dev/null +++ b/examples/tutorial/embedded/TransferDefGFCC.hs @@ -0,0 +1,26 @@ +module TransferDefGFCC where + +import GF.Canon.GFCC.GFCCAPI (Tree) +import GSyntax + +transfer :: Tree -> Tree +transfer = gf . answer . fg + +answer :: GQuestion -> GAnswer +answer p = case p of + GOdd x -> test odd x + GEven x -> test even x + GPrime x -> test prime x + +value :: GObject -> Int +value e = case e of + GNumber (GInt i) -> fromInteger i + +test :: (Int -> Bool) -> GObject -> GAnswer +test f x = if f (value x) then GYes else GNo + +prime :: Int -> Bool +prime x = elem x primes where + primes = sieve [2 .. x] + sieve (p:xs) = p : sieve [ n | n <- xs, n `mod` p > 0 ] + sieve [] = [] -- cgit v1.2.3