Math.ExpPairs.PrettyProcess

Transforms sequences of Process into most compact (by the means of typesetting) representation using brackets and powers. E. g., AAAABABABA -> A^4(BA)^3.

This module uses memoization extensively.

Documentation

prettify :: [Process] -> PrettyProcess

Find the most compact representation of the sequence of processes.

uglify :: PrettyProcess -> [Process]

Unfold back PrettyProcess into the sequence of Process.

data PrettyProcess

Compact representation of the sequence of Process.

Instances

Show PrettyProcess

Defined in Math.ExpPairs.PrettyProcess

Methods

showsPrec :: Int -> PrettyProcess -> ShowS

show :: PrettyProcess -> String

showList :: [PrettyProcess] -> ShowS

Pretty PrettyProcess

Defined in Math.ExpPairs.PrettyProcess

Methods

pretty :: PrettyProcess -> Doc ann

prettyList :: [PrettyProcess] -> Doc ann