haskell - 如何为 Church 编码的免费 monad 编写解包器？(Haskell)

Question

这样的函数怎么写？ :

unWrap :: F f a -> Either a (f (F f a))

其中 F - Church 编码的免费 monad.unWrap 如果值等于“Pure a”则返回“a”，如果值等于“(Free f_)”则返回“f_”。

Answer 1

您可以使用 fromF 转换为另一种表示形式，在本例中为 Free f所以你可以模式匹配，和 toF从 Free f 转换回来.

unwrap :: Functor f => F f a -> Either a (f (F f a))
unwrap u = case fromF u of
  Pure x -> Left x
  Free v -> Right (fmap toF v)