CSPM-Frontend-0.3.0.3: A CSP-M parser compatible with FDR-2.83

PortabilityGHC-only
Stabilityexperimental
Maintainerme@dobrikov.biz

Language.CSPM.PrettyPrinter

Description

 

Documentation

class PP x whereSource

Methods

pp :: x -> DocSource

Instances

mapPP :: PP x => [x] -> [Doc]Source

prettyExp :: Exp -> DocSource

comp_gen_list :: [LCompGen] -> DocSource

to_PString :: LModule -> StringSource

runPretty :: FilePath -> IO StringSource

compareTrees :: FilePath -> IO BoolSource

simpleCompare :: FilePath -> FilePath -> IO BoolSource