freer-0.2.4.1: Implementation of the Freer Monad

CopyrightAllele Dev 2016
LicenseBSD-3
Maintainer[email protected]
Stabilitybroken
PortabilityPOSIX
Safe HaskellNone
LanguageHaskell2010

Control.Monad.Freer.Fresh

Description

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.

Synopsis

Documentation

data Fresh v Source #

Fresh effect model

fresh :: Member Fresh r => Eff r Int Source #

Request a fresh effect

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

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