Data.Rewriting.Problem

Termination problem type, based on WST format.

Documentation

data Problem f v

Instances

(Show v, Show f) => Show (Problem f v)

Defined in Data.Rewriting.Problem.Type

Methods

showsPrec :: Int -> Problem f v -> ShowS

show :: Problem f v -> String

showList :: [Problem f v] -> ShowS

(Eq f, Eq v, Pretty f, Pretty v) => Pretty (Problem f v)

Defined in Data.Rewriting.Problem.Pretty

Methods

pretty :: Problem f v -> Doc

prettyList :: [Problem f v] -> Doc

Reexported modules

module Data.Rewriting.Problem.Type

module Data.Rewriting.Problem.Parse

module Data.Rewriting.Problem.Pretty