monzou · July 7, 2012 07:35
diff --git a/newtype.hs b/newtype.hs
 -- タプルの第一要素に fmap したいが, Functor は型引数を 1 つしか取れないので newtype を定義する
 newtype Pair b a = Pair { getPair :: (a, b) } deriving (Show)
 instance Functor (Pair c) where
  fmap f (Pair (x, y)) = Pair (f x, y)

 main = print $ fmap reverse(Pair ("foo", "bar")) -- Pair ("oof", "bar")
	-- タプルの第一要素に fmap したいが, Functor は型引数を 1 つしか取れないので newtype を定義する
	newtype Pair b a = Pair { getPair :: (a, b) } deriving (Show)
	instance Functor (Pair c) where
	fmap f (Pair (x, y)) = Pair (f x, y)

	main = print $ fmap reverse(Pair ("foo", "bar")) -- Pair ("oof", "bar")