4

次のコードで、演算子<>は何を意味し、何をしますか?

class Functor f => Foldable f where
    fold    :: Monoid m =>             f m -> m
    foldMap :: Monoid m => (a -> m) -> f a -> m

instance Foldable [] where
    fold = foldr (<>) mempty

誰でも教えてもらえますか?

4

1 に答える 1

8

これはData.Monoidの演算子です:

(<>) = mappend‌​

そのようなオペレーターには、HoogleまたはHayooを使用できます。

于 2013-10-10T20:23:54.927 に答える