Language.Clafer.Generator.Concat

Documentation

data Concat

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

Constructors

CString String

Concat

Fields

• srcPos :: IrTrace
• nodes :: [Concat]

Instances

Eq Concat

Methods

(==) :: Concat -> Concat -> Bool

(/=) :: Concat -> Concat -> Bool

Show Concat

Methods

showsPrec :: Int -> Concat -> ShowS

show :: Concat -> String

showList :: [Concat] -> ShowS

type Position = ((LineNo, ColNo), (LineNo, ColNo))

data IrTrace

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

Eq IrTrace

Methods

(==) :: IrTrace -> IrTrace -> Bool

(/=) :: IrTrace -> IrTrace -> Bool

Show IrTrace

Methods

showsPrec :: Int -> IrTrace -> ShowS

show :: IrTrace -> String

showList :: [IrTrace] -> ShowS

mkConcat :: IrTrace -> String -> Concat

mapToCStr :: [String] -> [Concat]

iscPrimitive :: Concat -> Bool

flatten :: Concat -> String

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

cconcat :: [Concat] -> Concat

cintercalate :: Concat -> [Concat] -> Concat

filterNull :: [Concat] -> [Concat]

isNull :: Concat -> Bool

cunlines :: [Concat] -> Concat