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

Language | Haskell98 |

Fresh variable supply

# Documentation

MonadTrans SupplyT | |

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

Monad m => Monad (SupplyT m) | |

Functor m => Functor (SupplyT m) | |

(Monad m, Functor m) => Applicative (SupplyT m) |

runSupplyT :: Integer -> SupplyT m a -> m (a, Integer) Source

evalSupplyT :: Functor m => Integer -> SupplyT m a -> m a Source

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