我有以下数据可以有没有 Ship:
data LaserCollisionResult = NoCollision | LaserToLaserCollision Ship | LaserToShipCollision Ship deriving (Eq, Show)
然后,稍后,我尝试检查 LaserCollisionResult 是否属于 LaserToLaserCollision 类型,但出现错误。我的 [lambda] 函数是这样的:
laserPaths' = map (\(p,r) -> if r == LaserToLaserCollision then doSomethingWith p else p) $ zip laserPaths laserCollisionResults
我得到的错误是:
Couldn't match type 'LaserCollisionResult' with 'Ship -> LaserCollisionResult'
Expected type: [Ship -> LaserCollisionResult]
Actual type: [LaserCollisionResult]
In the second argument of 'zip', namely laserCollisionResults.
如何检查 laserCollisionResults 中的 LaserCollisionResult 是否属于 LaserToLaserCollision 类型?
最佳答案
将您的 lambda 替换为
(\(p,r) -> case r of {LaserToLaserCollision _ -> doSomethingWith p; _ -> p})
顺便说一下,为此您不需要派生 Eq
实例。
关于Haskell:if-then-else block 和具有非对称构造函数的数据,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/28514487/