我设置了以下类型类 class Monad m => HasCheck m where
isCollision现在,我有一个函数可以为骑士生成允许操作的移动集,如下所示 collisionKnightRule :: HasCheck m => Coord -> m (Set Coord)但是,报告的错误不是特别有用 *** Failed!Falsifiable
请注意,我们使用的是11g,我别无选择。我正在查看all_constraints并尝试检查search_condition列,如下所示: where table_name而约束是唯一缺少的部分。有没有一种简单的方法来排除那些只是“非空”的约束,而不是我遗漏的where/like?我已经尝试过显而易见的方法,Oracle