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

Question

我希望它更方便地使用库定义的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 处理。
做不到吗？

Answer 1

如果您希望在遗漏案例时获得异常(exception)，请使用Partial。如果您需要其他方式，请使用 Maybe 或 Either 或其他适当的总和类型。

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