本博客所有内容是原创,未经书面许可,严禁任何形式的转载。
http://blog.csdn.net/u010255642
另外还有一些类型类:
Enum定义了规则序列类型中的操作。
Prelude> :t succ
succ :: Enum a => a -> a
Prelude> succ 'd'
'e'
Prelude> :t [1..6]
[1..6] :: (Enum t, Num t) => [t]
Prelude>
Bounded定义了类型的最大和最小限制
Prelude> :t minBound
minBound :: Bounded a => a
Prelude> :t maxBound
maxBound :: Bounded a => a
Prelude> minBound ::Int
-2147483648
Prelude>
Num是最基本的数字类型类
Prelude> :t (+)
(+) :: Num a => a -> a -> a
Prelude> :t (-)
(-) :: Num a => a -> a -> a
Integer、Floating也是类型类,但是其包括的范围比Num小。