Control.Monad.Fresh.Class

Description

Synopsis

Documentation

class Monad m => MonadFresh s m | m -> s where Source

A class for monads that can give fresh values.

At least for Eq s, an instance of MonadFresh should satisfy

(==) <$> fresh <*> fresh ≡ fresh *> fresh *> pure False

and something similar for any number of fresh.

Methods

Instances