CSPM-Frontend-0.7.4.4: A CSP-M parser compatible with FDR-2.91

PortabilityGHC-only
Stabilityexperimental
MaintainerFontaine@cs.uni-duesseldorf.de

Language.CSPM.AST

Description

This Module defines an Abstract Syntax Tree for CSPM. This is the AST that is computed by the parser. For historycal reasons, it is rather unstructured

Synopsis

Documentation

data Labeled t Source

Constructors

Labeled 

Fields

nodeId :: NodeId
 
srcLoc :: SrcLoc
 
unLabel :: t
 

Instances

Typeable1 Labeled 
Eq t => Eq (Labeled t) 
Data t => Data (Labeled t) 
Ord t => Ord (Labeled t) 
Show t => Show (Labeled t) 
PP x => PP (Labeled x) 

labeled :: t -> Labeled tSource

Wrap a node with a dummyLabel todo: redo we need a specal case in DataConstructor Labeled

data Link Source

Constructors

Link LExp LExp 

withLabel :: (NodeId -> a -> b) -> Labeled a -> Labeled bSource

data FdrExt Source

Constructors

F 
FD 
T