divides.hs

{-# LANGUAGE FlexibleContexts #-}

-- V1:
-- divides x y = (==) 0 $ flip mod x y

-- V2:
--
-- divides :: Integral a => a -> a -> Bool
-- divides x y = cmp $ mod_ x y
--   where
--     cmp :: Integral a => a -> Bool
--     cmp x = (==) 0 x
--
--     mod_ :: Integral a => a -> a -> a
--     mod_ x y = flip mod x y


-- V3:
divides :: Integral a => a -> a -> Bool
divides x = cmp . mod_ x
  where
    cmp :: Integral a => a -> Bool
    cmp x = (==) 0 x

    mod_ :: Integral a => a -> a -> a
    mod_ = flip mod

main = putStrLn $ show $ divides 3 6
-- main = putStrLn "fuuu"