abt-0.1.1.0: Abstract binding trees for Haskell

Safe HaskellSafe-Inferred
LanguageHaskell2010

Abt.Class.Monad

Documentation

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

Methods

fresh :: m v Source

Generates a fresh variable

named :: String -> m v Source

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)