tpdb-0.1: Data Type for Rewriting Systems

TPDB.Plain.Write

Description

Documentation

class Pretty a whereSource

Methods

pretty :: a -> DocSource

Instances

Pretty Identifier 
Pretty s => Pretty [s] 
Pretty a => Pretty (Rule a) 
(Pretty s, Pretty r) => Pretty (Problem s r) 
(Pretty s, Pretty r) => Pretty (RS s r) 
(Pretty v, Pretty s) => Pretty (Term v s)