Abt.Class.Monad

Documentation

class (Ord v, Eq v, Show v, Monad m, Applicative m) => MonadVar v m | m -> v where

Methods

fresh :: m v

Generates a fresh variable

named :: String -> m v

Generates a fresh variable tagged with a name

Instances

MonadVar Var M

Check out the source to see fresh variable generation.

MonadVar Var m => MonadVar Var (JudgeT m)

MonadVar Var m => MonadVar Var (StepT m)