Copyright | (c) Andrew Lelechenko 2015-2020 |
---|---|
License | GPL-3 |
Maintainer | andrew.lelechenko@gmail.com |
Safe Haskell | None |
Language | Haskell2010 |
Transforms sequences of Process
into most compact (by the means of typesetting) representation using brackets and powers.
E. g., AAAABABABA -> A^4(BA)^3.
Synopsis
- prettify :: [Process] -> PrettyProcess
- uglify :: PrettyProcess -> [Process]
- data PrettyProcess
Documentation
prettify :: [Process] -> PrettyProcess Source #
Find the most compact representation of the sequence of processes.
uglify :: PrettyProcess -> [Process] Source #
Unfold back PrettyProcess
into the sequence of Process
.
data PrettyProcess Source #
Compact representation of the sequence of Process
,
using brackets and powers.
Instances
Show PrettyProcess Source # | |
Defined in Math.ExpPairs.PrettyProcess showsPrec :: Int -> PrettyProcess -> ShowS # show :: PrettyProcess -> String # showList :: [PrettyProcess] -> ShowS # | |
Pretty PrettyProcess Source # | |
Defined in Math.ExpPairs.PrettyProcess pretty :: PrettyProcess -> Doc ann # prettyList :: [PrettyProcess] -> Doc ann # |