Safe Haskell | None |
---|

# Documentation

data IxFree f i j x whereSource

Pure :: a -> IxFree f i i a | |

Free :: f i j (IxFree f j k a) -> IxFree f i k a | |

Plus :: [IxFree f i j a] -> IxFree f i j a |

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

IxFunctor f => IxMonad (IxFree f) | |

IxFunctor f => IxMonadZero (IxFree f) | |

IxFunctor f => IxMonadPlus (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) |