如果分母为零,或者分子和分母都为零,如何划分算子场景？

Question

我正在尝试使用HSpec在haskell中进行TDD.因此,在为除法运算符编写特殊情况时,例如:

• 3 / 0 => Infinity
• 0 / 0 => Nan

如何使用Hspec测试上述案例？

Answer 1

使用函数isInfinite和isNaN:

Prelude> isInfinite (3 / 0.0)
True
Prelude> isNaN (0.0/0.0)
True