Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
The abstract Free datatype. Original work available at http://okmij.org/ftp/Haskell/AlgorithmsH1.html#reflection-without-remorse.
(MonadBase b m, Typeable (* -> *) m, SetMember ((* -> *) -> * -> *) Lift (Lift m) r) => MonadBase b (Eff r) | |
Functor f => Monad (Free f) | |
Functor f => Functor (Free f) | |
Functor f => Applicative (Free f) | |
(Typeable (* -> *) m, MonadIO m, SetMember ((* -> *) -> * -> *) Lift (Lift m) r) => MonadIO (Eff r) | |
Typeable ((* -> *) -> * -> *) Free |
freeImpure :: f (Free f a) -> Free f a Source
Inject an impure value into Free
The traditional view
of Free constructions