clafer-0.3.9: clafer compiles Clafer models to other formats, such as Alloy, XML, HTML, Dot.

Safe HaskellNone
LanguageHaskell2010

Language.Clafer.Generator.Concat

Synopsis

Documentation

data Concat Source

representation of strings in chunks (for line/column numbering)

Constructors

CString String 
Concat 

Fields

srcPos :: IrTrace
 
nodes :: [Concat]
 

Instances

data IrTrace Source

Constructors

IrPExp 

Fields

pUid :: String
 
LowerCard 

Fields

pUid :: String
 
isGroup :: Bool
 
UpperCard 

Fields

pUid :: String
 
isGroup :: Bool
 
ExactCard 

Fields

pUid :: String
 
isGroup :: Bool
 
NoTrace 

Instances

(+++) :: Concat -> Concat -> Concat infixr 5 Source