假设我有一个函数原型如下:
func :: [Int] -> [Int]
如何仅将非负的整数列表强制实施为输入参数?我必须将[Int]的param类型改为什么..?在这个公平的时刻它与func [-1,-2]一起工作,我只希望它与[1,2]一起工作,即解释器喷出错误信息.
haskell types
haskell ×1
types ×1