deniok | Вопрос

Entry tags:

А с каких это пор у нас в Data.Monoid поселился такой оператор

infixr 6 <>

(<>) :: Monoid m => m -> m -> m
(<>) = mappend

и где это задокументировано?

Ага, стало чуть понятнее.

Выглядит разумно.

Выглядит прекрасно, я уже стал было примерчики переделывать с

First Nothing `mappend` First (Just [1,2,3]) `mappend` First (Just [4,5]) `mappend` First Nothing

на

First Nothing <> First (Just [1,2,3]) <> First (Just [4,5]) <> First Nothing

Осталось только понять, с какой версией GHC это будет работать:)

С последней, по-видимому. У меня стоит 7.0.3, там нету.

Появилось в base-4.5.0.0
hdiff.luite.com/cgit/base/diff/Data/Monoid.hs?id=eb3a6868973c77c14ea2c82045a8946b878219e7
Которая поставляется с ghc 7.4.1