From db18350b1e55f7edfca8f02b0b233a6a7dcbb1ec Mon Sep 17 00:00:00 2001 From: aarne Date: Tue, 11 Nov 2008 09:21:59 +0000 Subject: fixed some tutorial grammars and updated embedded section (JavaScript and web TODO) --- examples/tutorial/embedded/TransferDef.hs | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100644 examples/tutorial/embedded/TransferDef.hs (limited to 'examples/tutorial/embedded/TransferDef.hs') diff --git a/examples/tutorial/embedded/TransferDef.hs b/examples/tutorial/embedded/TransferDef.hs new file mode 100644 index 000000000..37d81c6dc --- /dev/null +++ b/examples/tutorial/embedded/TransferDef.hs @@ -0,0 +1,26 @@ +module TransferDef where + +import PGF (Tree) +import Query -- generated from GF + +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