term-rewriting-0.5: Term Rewriting Library
Safe HaskellNone
LanguageHaskell2010

Data.Rewriting.Problem

Description

Termination problem type, based on WST format.

Synopsis

Documentation

data Problem f v Source #

Instances

Instances details
(Eq f, Eq v, Pretty f, Pretty v) => Pretty (Problem f v) Source # 
Instance details

Defined in Data.Rewriting.Problem.Pretty

Methods

pretty :: Problem f v -> Doc #

prettyList :: [Problem f v] -> Doc #

(Show v, Show f) => Show (Problem f v) Source # 
Instance details

Defined in Data.Rewriting.Problem.Type

Methods

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

show :: Problem f v -> String #

showList :: [Problem f v] -> ShowS #

Reexported modules

module Data.Rewriting.Problem.Type

module Data.Rewriting.Problem.Parse

module Data.Rewriting.Problem.Pretty