From d6d1004070ec7d8457b0a02c152676563ee6f911 Mon Sep 17 00:00:00 2001 From: Stephen Diehl Date: Mon, 12 Dec 2016 16:21:49 +0000 Subject: [PATCH] monoid module --- docs/Functor.md | 20 +++++++++++++++++--- docs/Monoid.md | 22 ++++++++++++++++++++++ 2 files changed, 39 insertions(+), 3 deletions(-) diff --git a/docs/Functor.md b/docs/Functor.md index a557294b1..44c441905 100644 --- a/docs/Functor.md +++ b/docs/Functor.md @@ -1,26 +1,40 @@ Functor ======= -```haskell -foreach :: Functor f => f a -> (a -> b) -> f b -``` +#### map ```haskell map :: Functor f => (a -> b) -> f a -> f b ``` +#### $> + ```haskell ($>) :: Functor f => f a -> b -> f b ``` +#### <$> + ```haskell (<$>) :: Functor f => (a -> b) -> f a -> f b ``` +#### <<$>> + ```haskell (<<$>>) :: (Functor f, Functor g) => (a -> b) -> f (g a) -> f (g b) ``` +#### void + ```haskell void :: Functor f => f a -> f () ``` + +#### foreach + +```haskell +foreach :: Functor f => f a -> (a -> b) -> f b +``` + + diff --git a/docs/Monoid.md b/docs/Monoid.md index fbe4c7956..41c362487 100644 --- a/docs/Monoid.md +++ b/docs/Monoid.md @@ -4,6 +4,28 @@ Monoid Monoid ------ +#### mempty + +```haskell +mempty :: Monoid a => a +``` + +#### <> + +```haskell +(<>) :: Monoid m => m -> m -> m +``` + +```haskell +mappend :: Monoid a => a -> a -> a +``` + +#### mconcat + +```haskell +mconcat :: Monoid a => [a] -> a +``` + Semigroup ---------