相关疑难解决方法(0)

在很多关于Haskell的文章中,他们说它允许在编译时而不是运行时进行一些检查.所以,我想实现最简单的检查 - 允许只在大于零的整数上调用一个函数.我该怎么做？

我想创建以下声明：

data Color = B | W deriving Read

type Cell = (Color, Int) where 1 <= Int <= 255

这个问题有什么解决办法吗？该类型实际上接受任何类型，Int但超出该范围的类型不应编译。