freer-0.2.3.0: Implementation of the Freer Monad

CopyrightAlej Cabrera 2015
LicenseBSD-3
Maintainercpp.cabrera@gmail.com
Stabilitybroken
PortabilityPOSIX
Safe HaskellNone
LanguageHaskell2010

Control.Monad.Freer.Cut

Description

Composable handler for logical Cut effects. Implemented in terms of Exc effect.

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

Synopsis

Documentation

cutFalse :: Member (Exc CutFalse) r => Eff r a Source

Implementation of logical Cut using Exc effects.