Was ist Control.Applicative.Lift nützlich für?

Question

Ich schrieb über transformers in einem aktuellen Blog-Post, und jemand fragte: "Was verwenden die Leute Control.Applicative.Lift für?" Ich war nicht in der Lage, dies zu beantworten, also echo ich die Frage StackOverflow - was istControl.Applicative.Lift für verwendet?

Ich sehe ein Beispiel davon im Paket zu verwenden, aber ich bin nicht ganz in der Lage zu analysieren, was es tut. Kennt jemand andere Beispiele in der Wildnis?

Answer 1

Lift ist ein relativ neuer Beitrag:

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

Das heißt, daß ein Funktor f gegeben ist, können Sie einen neuen Funktors erhalten, indem f mit einem reinen Wert zu komponieren.

Das Paket selbst gibt ein Beispiel:

-- | 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) 

Ich weiß nicht von irgendwelchen in the wild Verwendungen dies jedoch.