什麼是Control.Applicative.Lift有用？

Question

我在最近的一篇博文中寫到transformers，有人問「人們用什麼做Control.Applicative.Lift？」我無法回答這個問題，所以我回應了StackOverflow的問題 - 是Control.Applicative.Lift用於？

我看到它在包中的一個示例用法，但我似乎無法完全解析它的功能。有沒有人知道野外的其他例子？

Answer 1

Lift是一個相對較新的貢獻：

data Lift f a = Pure a | Other (f a) 

也就是說，給出一個仿函數f，您可以用純值構成f得到一個新的仿函數。

包本身給出了一個例子：

-- | An applicative functor that collects a monoid (e.g. lists) of errors. 
-- A sequence of computations fails if any of its components do, but 
-- unlike monads made with 'ErrorT' from "Control.Monad.Trans.Error", 
-- these computations continue after an error, collecting all the errors. 
type Errors e = Lift (Constant e) 

-- | Report an error. 
failure :: Monoid e => e -> Errors e a 
failure e = Other (Constant e) 

我不知道這在任何最百搭的用途，但是。