Hets - the Heterogeneous Tool Set

Copyright(c) Andy Gimblett and Uni Bremen 2006
LicenseGPLv2 or higher, see LICENSE.txt
Maintainera.m.gimblett@swansea.ac.uk
Stabilityprovisional
Portabilityportable
Safe HaskellSafe

CspCASL.Print_CspCASL

Contents

Description

Printing abstract syntax of CSP-CASL

Synopsis

Documentation

printArgs :: Pretty a => [a] -> Doc Source #

glue :: PROCESS -> PROCESS -> Doc Source #

the second argument is a right argument process of the first argument

lglue :: PROCESS -> PROCESS -> Doc Source #

the second argument is a left argument process of the first argument

data Prio Source #

Constructors

Prim 
Post 
Pre 
Seq 
Choice 
Par 
Cond 

Instances

Eq Prio Source # 

Methods

(==) :: Prio -> Prio -> Bool

(/=) :: Prio -> Prio -> Bool

Ord Prio Source # 

Methods

compare :: Prio -> Prio -> Ordering

(<) :: Prio -> Prio -> Bool

(<=) :: Prio -> Prio -> Bool

(>) :: Prio -> Prio -> Bool

(>=) :: Prio -> Prio -> Bool

max :: Prio -> Prio -> Prio

min :: Prio -> Prio -> Prio

printEvent :: EVENT -> Doc Source #

print an event.

Orphan instances