Safe Haskell | None |
---|---|

Language | Haskell2010 |

Fresh variable supply

# Documentation

## Instances

MonadTrans SupplyT Source # | |

Defined in Control.Monad.Supply | |

MonadError e m => MonadError e (SupplyT m) Source # | |

Defined in Control.Monad.Supply throwError :: e -> SupplyT m a # catchError :: SupplyT m a -> (e -> SupplyT m a) -> SupplyT m a # | |

MonadReader r m => MonadReader r (SupplyT m) Source # | |

MonadWriter w m => MonadWriter w (SupplyT m) Source # | |

Monad m => Monad (SupplyT m) Source # | |

Functor m => Functor (SupplyT m) Source # | |

Monad m => Applicative (SupplyT m) Source # | |

MonadPlus m => MonadPlus (SupplyT m) Source # | |

MonadPlus m => Alternative (SupplyT m) Source # | |

Monad m => MonadSupply (SupplyT m) Source # | |

evalSupply :: Integer -> Supply a -> a Source #