Copyright | (c) 2021 Xy Ren |
---|---|
License | BSD3 |
Maintainer | xy.r@outlook.com |
Stability | experimental |
Portability | non-portable (GHC only) |
Safe Haskell | Trustworthy |
Language | Haskell2010 |
Effect
data Fresh u :: Effect where Source #
An effect capable of generating unique values. This effect can be useful in generating variable indices.
Operations
Interpretations
runFreshAtomicCounter :: Eff (Fresh Int ': es) ~> Eff es Source #
Interpret a
effect in terms of a Fresh
Int
AtomicCounter
. This is usually faster
than runFreshUnique
.
Since: 0.2.1.0