term-rewriting-0.3: Term Rewriting Library

Safe HaskellNone
LanguageHaskell98

Data.Rewriting.Problem

Contents

Description

Termination problem type, based on WST format.

Synopsis

Documentation

data Problem f v Source #

Instances
(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 #

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

Defined in Data.Rewriting.Problem.Pretty

Methods

pretty :: Problem f v -> Doc #

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

Reexported modules