fizzbuzz.hs

{-# LANGUAGE ExplicitNamespaces, GADTs, KindSignatures, Safe, StrictData #-}

module FizzBuzz where

import Control.Arrow
import Data.Kind (type (*))

data ZZ :: * -> * where
  Base :: a -> ZZ a
  Fizz :: ZZ a
  Buzz :: ZZ a
  FizzBuzz :: ZZ a
  deriving Show

fizzBuzz :: (Integral a) => Int -> [ZZ a]
fizzBuzz max = fmap transform . take max $ [1..]
  where
    isFizzBuzz = isFizz &&& isBuzz >>> uncurry (&&)
    isFizz = (`mod` 3) >>> (== 0)
    isBuzz = (`mod` 5) >>> (== 0)
    transform n
      | isFizzBuzz n = FizzBuzz
      | isBuzz n = Buzz
      | isFizz n = Fizz
      | otherwise = Base n

main.hs

module Main where
  
import           Control.Arrow
import           Data.List (intersperse)
import           FizzBuzz

main :: IO ()
main = fizzBuzz >>> map show >>> intersperse ", " >>> concat >>> putStrLn $ 100