Haskell语言学习笔记（48）Data.Tuple

Data.Tuple

fst                     :: (a,b) -> a
fst (x,_)               =  x

snd                     :: (a,b) -> b
snd (_,y)               =  y

curry                   :: ((a, b) -> c) -> a -> b -> c
curry f x y             =  f (x, y)

uncurry                 :: (a -> b -> c) -> ((a, b) -> c)
uncurry f p             =  f (fst p) (snd p)

swap                    :: (a,b) -> (b,a)
swap (a,b)              = (b,a)

Data.Tuple 模块提供了针对元组的五个函数。

• fst 取二元组的第一个成员。
• snd 取二元组的第二个成员。
• swap 交换二元组的两个成员。
• curry :: ((a, b) -> c) -> a -> b -> c
  
  curry 柯里化，将原来接收二元组的函数改为接收两个参数的柯里化函数。
  
  curry ((x,y) -> x+y) = (\x y -> x+y)
• uncurry :: (a -> b -> c) -> ((a, b) -> c)
  
  uncurry 去柯里化，将原来接收两个参数的柯里化函数改为接收二元组的函数。
  
  uncurry (\x y -> x+y) = ((x,y) -> x+y)

Prelude> fst (1,2)
1
Prelude> snd (1,2)
2
Prelude Data.Tuple> curry (\(x,y) -> x+y) 3 4
7
Prelude Data.Tuple> uncurry (\x y -> x+y) (3,4)
7
Prelude> uncurry max (1,2)
2
Prelude> uncurry min (1,2)
1
Prelude Data.Tuple> swap (1,2)
(2,1)

Data.Tuple.All

安装 tuple 模块。

$ cabal install tuple
Installed tuple-0.3.0.2
Prelude> :m +Data.Tuple.All
Prelude Data.Tuple.All>

tuple 模块提供了对多达32个成员的元组的支持。

同时该模块还引进了单个成员的元组 OneTuple 类型。

• selN 取出元组的第N个成员。
• updN 修改元组的第N个成员。
• curryN, uncurryN 是标准库中curry, uncurry函数针对N个成员的元组的版本。
• sequenceT 是标准库中 sequence 的元组版本。

Prelude Data.Tuple.All> sel1 (1,2,3,4)
1
Prelude Data.Tuple.All> sel4 (1,2,3,4)
4
Prelude Data.Tuple.All> upd1 5 (1,2,3,4)
(5,2,3,4)
Prelude Data.Tuple.All> upd4 5 (1,2,3,4)
(1,2,3,5)
Prelude Data.Tuple.All> sel1 (OneTuple 1)
1
Prelude Data.Tuple.All> upd1 5 (OneTuple 1)
OneTuple 5
Prelude Data.Tuple.All> curryN (\(x,y,z) -> x+y+z) 3 4 5
12
Prelude Data.Tuple.All> uncurryN (\x y z -> x+y+z) (3,4,5)
12
Prelude Data.Tuple.All> sequenceT (print 3, print 4)
3
4
((),())

Data.Tuple.Extra

安装 extra 模块。

$ cabal install extra
Installed extra-1.6
Prelude> :m +Data.Tuple.Extra
Prelude Data.Tuple.Extra>

Prelude Data.Tuple.Extra> first succ (1,"test")
(2,"test")
Prelude Data.Tuple.Extra> second reverse (1,"test")
(1,"tset")
Prelude Data.Tuple.Extra> (succ *** reverse) (1,"test")
(2,"tset")
Prelude Data.Tuple.Extra> (succ &&& pred) 1
(2,0)
Prelude Data.Tuple.Extra> dupe 12
(12,12)
Prelude Data.Tuple.Extra> both succ (1,2)
(2,3)
Prelude Data.Tuple.Extra> let a = (1,2,3)
Prelude Data.Tuple.Extra> print $ (fst3 a) + (snd3 a) + (thd3 a)
6