purescript - 如何将部分函数转换为安全(可能)函数？

我希望它更方便地使用库定义的 partialfunc，或者使用部分模式匹配编写回调。
像这样，

partialMaybe :: forall a b. (Partial => a -> b) -> a -> Maybe b

我在一些主要图书馆中找不到类似的东西。
如何定义？或者已经在库中定义？

data ABC a = A a | B a | C a

f1 = someHigherOrderFunc $ partialMaybe \(A a) -> someFunc a -- if not 'A', return Nothing.

-- same as
f2 = someHigherOrderFunc $ case _ of A a -> Just $ someFunc a
                                     _   -> Nothing -- requires line break, seems syntax redundant...

使用:purescript 0.11.6

编辑:

我做到了...

partialMaybe :: forall a b. (Partial => a -> b) -> a -> Maybe b
partialMaybe f a = runPure $ catchException (const $ pure Nothing) (Just <<< unsafePartial f <$> pure a)

这是……嗯……非常丑陋。不是。
purescript 抛出“失败的模式匹配”异常。
所以我认为它应该能够通过 purescript 处理。
做不到吗？

最佳答案

如果您希望在遗漏案例时出现异常，请使用 Partial 。如果需要，请使用 Maybe 或 Either 或其他适当的总和类型。

您可以捕获从失败的模式匹配中抛出的异常。失败的模式匹配无法不引发异常。

关于purescript - 如何将部分函数转换为安全(可能)函数？，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/46188249/