github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-26 00:12:29 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #1522 from github/haddock-fixes-mk2

Browse Source 
Further fixes for Haddock syntax.
This commit is contained in:
Josh Vera 2018-03-05 16:59:29 -05:00 committed by GitHub
commit 7e22cf8f69
2 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Control/Abstract/Value.hs
View File

@ -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. -- 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 class (MonadEvaluator t v m) => MonadValue t v m where
-- | Construct an abstract unit value. -- | Construct an abstract unit value.
unit :: m v unit :: m v
-- | Construct an abstract integral value. -- | Construct an abstract integral value.

6
src/Control/Monad/Effect/Fresh.hs
View File

@ -8,8 +8,10 @@ type TName = Int
-- | An effect offering a (resettable) sequence of always-incrementing, and therefore “fresh,” type variables. -- | An effect offering a (resettable) sequence of always-incrementing, and therefore “fresh,” type variables.
data Fresh a where data Fresh a where
Reset :: TName -> Fresh () -- ^ Request a reset of the sequence of variable names. -- | Request a reset of the sequence of variable names.
Fresh :: Fresh TName -- ^ Request a fresh variable name. Reset :: TName -> Fresh ()
-- | Request a fresh variable name.
Fresh :: Fresh TName
-- | 'Monad's offering a (resettable) sequence of guaranteed-fresh type variables. -- | 'Monad's offering a (resettable) sequence of guaranteed-fresh type variables.
class Monad m => MonadFresh m where class Monad m => MonadFresh m where