Haskell:函数checkDirecRio中的非穷举模式
Haskell:函数checkDirecRio中的非穷举模式
提问于 2022-11-08 16:32:59
下一个文件很简单，但是当我调用checkDirecRio时，它给了我:函数checkDirecRio中的非详尽的模式。
checkDirecRio :: Mapa -> Bool
checkDirecRio (Mapa _ []) = True
checkDirecRio (Mapa larg ((Rio x, _) : (_,_) : t)) = checkDirecRio (Mapa larg t)
checkDirecRio (Mapa larg ((Rio x, _) : (Rio y, _) : t)) | ((x > 0 && y < 0) || (x < 0 && y > 0)) = True
| otherwise = checkDirecRio (Mapa larg t)结构Mapa定义为：
type Velocidade = Int
data Mapa =
Mapa Largura [(Terreno, [Obstaculo])]
deriving (Show, Read, Eq)
data Terreno
= Rio Velocidade
| Estrada Velocidade
| Relva
deriving (Show, Read, Eq)
data Obstaculo
= Nenhum -- ^ nothing
| Tronco -- ^ wood who can only in Rio being
| Carro -- ^ car who can only in Estrada being
| Arvore -- ^ tree who can only in Relva being
deriving (Show, Read, Eq)我希望代码能够验证河流Rio是否有不同的方向，如果两条相邻河流的方向相同，则返回False，如果相邻河流的方向相反
回答 1
Stack Overflow用户
回答已采纳
发布于 2022-11-08 16:44:42
函数checkDirecRio有不完整的模式，因为它没有涵盖Terreno的所有变体，除了Rio之外，还有另外两个变体。你也应该包括包括他们在内的案件。例如：
checkDirecRio (Mapa _ (((Estrada _), _):_)) = True
checkDirecRio (Mapa _ ((Relva, _):_)) = False
checkDirecRio (Mapa _ [((Rio _), _)]) = False页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/74364124
复制相关文章
相似问题
腾讯云开发者
