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

Language | Haskell2010 |

Fresh variable supply

# Documentation

MonadTrans SupplyT Source # | |

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

MonadError e m => MonadError e (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 => Alternative (SupplyT m) Source # | |

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

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

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