| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Clafer.Generator.Concat
- data Concat
- type Position = ((LineNo, ColNo), (LineNo, ColNo))
- data IrTrace
- 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