clafer-0.4.5: Compiles Clafer models to other formats: Alloy, JavaScript, JSON, 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

Instances

data IrTrace Source #

Constructors

IrPExp 

Fields

LowerCard 

Fields

UpperCard 

Fields

ExactCard 

Fields

NoTrace 

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