Data.Logic.Classes.Variable

Documentation

class (Ord v, IsString v, Data v, Pretty v) => Variable v where

Methods

variant :: v -> Set v -> v

Return a variable based on v but different from any set element. The result may be v itself if v is not a member of the set.

prefix :: String -> v -> v

Modify a variable by adding a prefix. This unfortunately assumes that v is "string-like" but at least one algorithm in Harrison currently requires this.

prettyVariable :: v -> Doc

Pretty print a variable

variants :: Variable v => v -> [v]

Return an infinite list of variations on v

showVariable :: Variable v => v -> String