Haskell: Gibt es ein Operator wie folgt aus: (<$$>) :: Functor f => fa -> (a -> b) -> fb

Question

Herauszufinden, dass Karte und flache Karte in Haskell könnte der auf diese Weise durchgeführt werden,

xs >>= f   ≃ flatMap f xs 
xs >>= return . f ≃ map f xs 

ich dachte, es wäre bequemer, wenn wir einen solchen Betreiber haben

(<$$>) :: Functor f => f a -> (a -> b) -> f b 
f <$$> fn = fn <$> f 

so dass Karte mehr tidily ausgedrückt werden könnte:

xs >>= f ≃ flatMap f xs 
xs <$$> f ≃ map f xs 

Existiert ein solcher Operator in der Standardbibliothek von Haskell?

Answer 1

Es ist nicht überall in dem base Paket. Die am häufigsten verwendeten Bibliothek, die diese Funktion exportiert ist lens, as <&>.

Answer 2

Beachten Sie auch, dass, wie oft Argumente zu kippen, Operator Abschnitte können „genug“ sein und vielleicht Lesbarkeit durch eine Begrenzung der Einführung neuer Betreiber erhalten kann:

> :{ 
| (<$> Just 0) $ \x -> 
| x + 1 + 1 + 1 
|  + 1 + 1 + 1 
|  + 1 + 1 + 1 
|  + 1 + 1 + 1 
| :} 
Just 12