hspec变量
变体测试性能规范
{-#LANGUAGE类型同义词实例#-}导入测试。快速检查。变体type Natural=整数实例变量自然,其中无效=don<-任意如果(n<0),则返回n,否则返回((-1)*(n+1))有效=don<-任意如果(n>=0),则返回n,否则返回((-1)*n)
测试
导入测试。快速检查导入测试。Hspec公司导入测试。Hspec公司。变体主::IO()main=hspec$描述“Naturals”$propValid“成功”$\x->成功(x::自然)>0
更多徽章