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

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

labeled :: t -> Labeled tSource

Wrap a node with a dummyLabel | todo: redo we need a specal case in DataConstructor Labeled | also rename to unLabeled

data Ident Source

Constructors

Ident 

Fields

unIdent :: String
 
UIdent 

data Link Source

Constructors

Link LExp LExp 

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