Control.Monad.Freer.Fresh

Composable handler for Fresh effects. This is likely to be of use when implementing De Bruijn naming/scopes.

Using http://okmij.org/ftp/Haskell/extensible/Eff1.hs as a starting point.

Documentation

data Fresh v

Fresh effect model

fresh :: Member Fresh r => Eff r Int

Request a fresh effect

runFresh' :: Eff (Fresh ': r) w -> Int -> Eff r w

Handler for Fresh effects, with an Int for a starting value