Language.Clafer.Generator.Concat

Synopsis

• data Concat
  • = CString String
  • | Concat {
    • srcPos :: IrTrace
    • nodes :: [Concat]
    }
• type Position = ((LineNo, ColNo), (LineNo, ColNo))
• data IrTrace
  • = IrPExp {
    • pUid :: String
    }
  • | LowerCard {
    • pUid :: String
    • isGroup :: Bool
    }
  • | UpperCard {
    • pUid :: String
    • isGroup :: Bool
    }
  • | ExactCard {
    • pUid :: String
    • isGroup :: Bool
    }
  • | NoTrace
• mkConcat :: IrTrace -> String -> Concat
• mapToCStr :: [String] -> [Concat]
• iscPrimitive :: Concat -> Bool
• flatten :: Concat -> String
• (+++) :: Concat -> Concat -> Concat
• cconcat :: [Concat] -> Concat
• cintercalate :: Concat -> [Concat] -> Concat
• filterNull :: [Concat] -> [Concat]
• isNull :: Concat -> Bool
• cunlines :: [Concat] -> Concat

Documentation