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

Stability | experimental |

Maintainer | Andy Sonnenburg <andy22286@gmail.com> |

Safe Haskell | Safe-Inferred |

# Documentation

The permutation monad

MonadTrans PermT | |

(Monad (PermT m), MonadThrow e m) => MonadThrow e (PermT m) | |

(Monad (PermT m), MonadReader r m) => MonadReader r (PermT m) | |

(Monad (PermT m), MonadState s m) => MonadState s (PermT m) | |

Monad m => Monad (PermT m) | |

Functor (PermT m) | |

(Monad (PermT m), MonadPlus m) => MonadPlus (PermT m) | |

(Functor (PermT m), Applicative m) => Applicative (PermT m) | |

(Applicative (PermT m), Alternative m) => Alternative (PermT m) | |

(Monad (PermT m), MonadIO m) => MonadIO (PermT m) |

liftPerm :: Applicative m => m a -> PermT m aSource

A version of `lift`

that can be used with just an `Applicative`

for `m`

.