Data.Comp.Param.FreshM

This module defines a monad for generating fresh, abstract variables, useful e.g. for defining equality on terms.

Documentation

data FreshM a

Monad for generating fresh (abstract) variables.

Instances

Monad FreshM

data Var

Abstract notion of a variable (the constructor is hidden).

Instances

Eq Var

Ord Var

Show Var

(EqD f, PEq a) => PEq (Cxt h f Var a)

(OrdD f, POrd a) => POrd (Cxt h f Var a)

(ShowD f, PShow a) => PShow (Cxt h f Var a)

genVar :: FreshM Var

Generate a fresh variable.

evalFreshM :: FreshM a -> a

Evaluate a computation that uses fresh variables.