Portability | non-portable |
---|---|

Stability | provisional |

Maintainer | Fumiaki Kinsohita <fumiexcel@gmail.com> |

Safe Haskell | None |

# Documentation

data IxFree f i j x whereSource

IxFunctor f => IxMonadFree f (IxFree f) | |

IxFunctor f => IxMonad (IxFree f) | |

IxFunctor f => IxFunctor (IxFree f) | |

IxFunctor f => IxApplicative (IxFree f) | |

IxFunctor f => IxPointed (IxFree f) | |

IxFunctor f => Monad (IxFree f i i) | |

IxFunctor f => Functor (IxFree f i i) | |

IxFunctor f => Applicative (IxFree f i i) |

hoistIxFree :: (IxFunctor g, IxMonadFree g m) => (forall i j x. f i j x -> g i j x) -> IxFree f i j a -> m i j aSource