Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
The abstract Free datatype. Original work available at http://okmij.org/ftp/Haskell/AlgorithmsH1.html#reflection-without-remorse.
freeImpure :: f (Free f a) -> Free f a Source
Inject an impure value into Free
The traditional view
of Free constructions