标签： haskell
我有一个在某些输入上崩溃的功能。该算法打破了一个不变量，其中Map应该包含给定键的值。也许输入无效。
该函数属于#include <stdbool.h>类型。 IntMap.IntMap [Int] -> IO Int用于随机数，并在IO函数崩溃。
#include <stdbool.h>
IntMap.IntMap [Int] -> IO Int
IO
是否可以缩小此函数的错误条件而不首先使用像QuickCheck这样的Haskell工具进行重构？