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

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

Language.CSPM.AST

Description

This module defines an Abstract Syntax Tree for CSPM. This is the AST that is computed by the parser. For historical 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) 
Generic (Labeled t) 
Pretty x => Pretty (Labeled x) 

labeled :: t -> Labeled tSource

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

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