2017-09-23 10:01:46 +02:00
|
|
|
partial
|
2016-12-05 23:44:36 +01:00
|
|
|
fizzBuzz : Nat -> String
|
2017-09-23 10:01:46 +02:00
|
|
|
fizzBuzz n = if (n `modNat` 15) == 0 then "FizzBuzz"
|
|
|
|
|
else if (n `modNat` 3) == 0 then "Fizz"
|
|
|
|
|
else if (n `modNat` 5) == 0 then "Buzz"
|
2016-12-05 23:44:36 +01:00
|
|
|
else show n
|
|
|
|
|
|
|
|
|
|
main : IO ()
|
|
|
|
|
main = sequence_ $ map (putStrLn . fizzBuzz) [1..100]
|
