数値をnewtypeした型の値として数値リテラルを使う

　Num型クラスに対してGeneralizedNewtypeDeriving拡張を使うことができるので、例えばIntのnewtypeを作りたいけど、いちいち値コンストラクタを経るのが面倒だという心配をする必要はない。

　貴方が想像している面倒さはこのようなものだ。

newtype Seconds = Seconds
  { unSeconds :: Int
  } deriving (Show, Eq)

incrementSeconds :: Seconds -> Seconds
incrementSeconds (Seconds x) = Seconds $ x + 1

main :: IO ()
main = do
  let seconds = Seconds 10
  print $ incrementSeconds seconds
  print . Seconds . abs . negate $ unSeconds seconds
-- {output}
-- Seconds {unSeconds = 11}
-- Seconds {unSeconds = 10}

　GeneralizedNewtypeDeriving拡張を使うことで、Secondsに(+1)や(-1), (*2)したり、 negateしてabsしたりすることができる。

{-# LANGUAGE GeneralizedNewtypeDeriving #-}

newtype Seconds = Seconds
  { unSeconds :: Int
  } deriving (Num, Show, Eq)

incrementSeconds :: Seconds -> Seconds
incrementSeconds = (+1)

main :: IO ()
main = do
  let seconds = 10
  print $ incrementSeconds seconds
  print . abs $ negate seconds
-- {output}
-- Seconds {unSeconds = 11}
-- Seconds {unSeconds = 10}

この記事はこちらから修正リクエストを送ることができます。
数値をnewtypeした型の値として数値リテラルを使う - github
ゴミ箱ボタンの左にある、鉛筆ボタンを押してね！