From 8a54bc2f74e1ca2a95e567f714b48b9bd3dffb45 Mon Sep 17 00:00:00 2001 From: Eric Mertens Date: Fri, 4 Sep 2015 09:10:47 -0700 Subject: [PATCH] Minor comment fixes Fixes #96 [ci skip] --- examples/Cabbage.lhs | 2 +- src/Control/Monad/Free.hs | 4 ++-- src/Control/Monad/Free/TH.hs | 2 +- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/examples/Cabbage.lhs b/examples/Cabbage.lhs index c529519..7888cc6 100644 --- a/examples/Cabbage.lhs +++ b/examples/Cabbage.lhs @@ -43,7 +43,7 @@ rest intact: @ *Cabbage> singleOut1 (== Sheep) [Wolf, Sheep, Cabbage] -[(Just Wolf,[Sheep,Cabbage]),(Just Sheep,[Wolf,Cabbage]),(Just Cabbage,[Wolf,Sheep]),(Nothing,[Wolf,Sheep,Cabbage])] +(Just Sheep,[Wolf,Cabbage]) @ > singleOutAll :: [a] -> [(Maybe a,[a])] diff --git a/src/Control/Monad/Free.hs b/src/Control/Monad/Free.hs index 1dd5643..292b4c5 100644 --- a/src/Control/Monad/Free.hs +++ b/src/Control/Monad/Free.hs @@ -304,12 +304,12 @@ iter :: Functor f => (f a -> a) -> Free f a -> a iter _ (Pure a) = a iter phi (Free m) = phi (iter phi <$> m) --- | Like iter for applicative values. +-- | Like 'iter' for applicative values. iterA :: (Applicative p, Functor f) => (f (p a) -> p a) -> Free f a -> p a iterA _ (Pure x) = pure x iterA phi (Free f) = phi (iterA phi <$> f) --- | Like iter for monadic values. +-- | Like 'iter' for monadic values. iterM :: (Monad m, Functor f) => (f (m a) -> m a) -> Free f a -> m a iterM _ (Pure x) = return x iterM phi (Free f) = phi (iterM phi <$> f) diff --git a/src/Control/Monad/Free/TH.hs b/src/Control/Monad/Free/TH.hs index 11cfc6b..9f1fe29 100644 --- a/src/Control/Monad/Free/TH.hs +++ b/src/Control/Monad/Free/TH.hs @@ -240,7 +240,7 @@ genFreeCon typeSig cname = do makeFree :: Name -> Q [Dec] makeFree = genFree True Nothing --- | Like 'makeFreeCon', but does not provide type signatures. +-- | Like 'makeFree', but does not provide type signatures. -- This can be used to attach Haddock comments to individual arguments -- for each generated function. --