Safe Haskell | Trustworthy |
---|---|

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