From b12caf004d7e4eed66b667c01ab0f8db565c66f3 Mon Sep 17 00:00:00 2001 From: Patrick Thomson Date: Mon, 5 Mar 2018 16:40:34 -0500 Subject: [PATCH] Further fixes for Haddock syntax. --- src/Control/Abstract/Value.hs | 2 +- src/Control/Monad/Effect/Fresh.hs | 6 ++++-- 2 files changed, 5 insertions(+), 3 deletions(-) diff --git a/src/Control/Abstract/Value.hs b/src/Control/Abstract/Value.hs index 874deb506..8120eb47c 100644 --- a/src/Control/Abstract/Value.hs +++ b/src/Control/Abstract/Value.hs @@ -17,7 +17,7 @@ import Prelude hiding (fail) -- -- This allows us to abstract the choice of whether to evaluate under binders for different value types. class (MonadEvaluator t v m) => MonadValue t v m where - -- | Construct an abstract unit value. + -- | Construct an abstract unit value. unit :: m v -- | Construct an abstract integral value. diff --git a/src/Control/Monad/Effect/Fresh.hs b/src/Control/Monad/Effect/Fresh.hs index 6a0a67642..b90e98073 100644 --- a/src/Control/Monad/Effect/Fresh.hs +++ b/src/Control/Monad/Effect/Fresh.hs @@ -8,8 +8,10 @@ type TName = Int -- | An effect offering a (resettable) sequence of always-incrementing, and therefore “fresh,” type variables. data Fresh a where - Reset :: TName -> Fresh () -- ^ Request a reset of the sequence of variable names. - Fresh :: Fresh TName -- ^ Request a fresh variable name. + -- | Request a reset of the sequence of variable names. + Reset :: TName -> Fresh () + -- | Request a fresh variable name. + Fresh :: Fresh TName -- | 'Monad's offering a (resettable) sequence of guaranteed-fresh type variables. class Monad m => MonadFresh m where