github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-05 05:58:34 +03:00
Code Issues Projects Releases Wiki Activity

📝 Fresh.

Browse Source
This commit is contained in:
Rob Rix 2017-12-21 10:53:08 -05:00
parent a400be517f
commit 32215499f0
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -6,6 +6,7 @@ import Control.Monad.Effect.Internal
type TName = Int type TName = Int
-- | 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 () Reset :: TName -> Fresh ()
Fresh :: Fresh TName Fresh :: Fresh TName