multisetrewrite-0.6: Multi-set rewrite rules with guards and a parallel execution scheme

MultiSetRewrite.StorePrettyPrinter

Documentation

retrieveList :: ListHandle a -> IO [a]Source

retrieveBag :: Bag a -> IO [a]Source

class PrettyPrint a whereSource

Methods

prettyIt :: a -> IO String Source

Instances

PrettyPrint Bool
PrettyPrint Char
PrettyPrint Int
PrettyPrint a => PrettyPrint [a]
PrettyPrint a => PrettyPrint (TVar a)
PrettyPrint a => PrettyPrint (MVar a)
PrettyPrint a => PrettyPrint (Bag a)
PrettyPrint a => PrettyPrint (InternalMsg a)
PrettyPrint a => PrettyPrint (L a)
PrettyPrint a => PrettyPrint (VAR a)
PrettyPrint a => PrettyPrint (Store a)

prettyItList :: PrettyPrint a => [a] -> String -> IO String Source