deniok: (Default)
[personal profile] deniok
А с каких это пор у нас в Data.Monoid поселился такой оператор
infixr 6 <>

(<>) :: Monoid m => m -> m -> m
(<>) = mappend
и где это задокументировано?

Date: 2012-03-27 04:28 pm (UTC)

Date: 2012-03-27 06:43 pm (UTC)
From: [identity profile] cadadr.livejournal.com
Выглядит разумно.

Date: 2012-03-27 06:46 pm (UTC)
From: [identity profile] deni-ok.livejournal.com
Ага, стало чуть понятнее.

Date: 2012-03-27 06:49 pm (UTC)
From: [identity profile] deni-ok.livejournal.com
Выглядит прекрасно, я уже стал было примерчики переделывать с
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 это будет работать:)

Date: 2012-03-28 06:42 am (UTC)
From: [identity profile] migmit.livejournal.com
С последней, по-видимому. У меня стоит 7.0.3, там нету.

Date: 2012-03-28 07:53 am (UTC)
From: [identity profile] Игорь Петров (from livejournal.com)
Появилось в base-4.5.0.0
hdiff.luite.com/cgit/base/diff/Data/Monoid.hs?id=eb3a6868973c77c14ea2c82045a8946b878219e7
Которая поставляется с ghc 7.4.1

Profile

deniok: (Default)
deniok

February 2022

S M T W T F S
  12345
6789101112
13141516171819
20212223 242526
2728     

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 4th, 2025 12:54 am
Powered by Dreamwidth Studios