Release code as open sourceHEADmaster

5 files changed, 146 insertions, 0 deletions

diff --git a/scaffolder/src/Text/Edifact/Scaffolder/Composites/Dependencies.hs b/scaffolder/src/Text/Edifact/Scaffolder/Composites/Dependencies.hs
new file mode 100644
index 0000000..51d45bf
--- /dev/null
+++ b/scaffolder/src/Text/Edifact/Scaffolder/Composites/Dependencies.hs
@@ -0,0 +1,20 @@
+{-# LANGUAGE OverloadedStrings #-}
+
+module Text.Edifact.Scaffolder.Composites.Dependencies
+  ( -- *
+    mkDependenciesHaddock
+  , mkDependenciesImports
+  , mkDependenciesReexports
+  ) where
+
+import           Text.Edifact.Scaffolder.Commons
+import           Text.Edifact.Scaffolder.Composites.Types
+
+mkDependenciesReexports :: NonEmpty Element -> Scaffolding [Export]
+mkDependenciesReexports = reexportDependencies fElement
+
+mkDependenciesImports :: NonEmpty Element -> Scaffolding [ImportGroup]
+mkDependenciesImports = fmap (pure . singleImport) . importDependencies "Simples" fElement
+
+mkDependenciesHaddock :: NonEmpty Element -> Scaffolding [Text]
+mkDependenciesHaddock = haddockDependencies fElement
diff --git a/scaffolder/src/Text/Edifact/Scaffolder/Composites/Elements.hs b/scaffolder/src/Text/Edifact/Scaffolder/Composites/Elements.hs
new file mode 100644
index 0000000..acfcbdb
--- /dev/null
+++ b/scaffolder/src/Text/Edifact/Scaffolder/Composites/Elements.hs
@@ -0,0 +1,20 @@
+module Text.Edifact.Scaffolder.Composites.Elements
+  ( listComposites
+  ) where
+
+import           Text.Edifact.Scaffolder.Commons
+
+import           Data.Char                       (toUpper)
+import           Text.Parsec                     (count, digit, eof, oneOf,
+                                                  string)
+import           Text.Parsec.String              (Parser)
+
+listComposites :: Scaffolding [ElementWithDefinition CompositeCode]
+listComposites = listElements "composites" compositeCodeParser
+
+compositeCodeParser :: Parser CompositeCode
+compositeCodeParser = do
+  initial <- toUpper <$> oneOf "ce"
+  rest <- count 3 digit
+  _ <- string ".txt"
+  CompositeCode (initial : rest) <$ eof
diff --git a/scaffolder/src/Text/Edifact/Scaffolder/Composites/Implementation.hs b/scaffolder/src/Text/Edifact/Scaffolder/Composites/Implementation.hs
new file mode 100644
index 0000000..0f3e939
--- /dev/null
+++ b/scaffolder/src/Text/Edifact/Scaffolder/Composites/Implementation.hs
@@ -0,0 +1,19 @@
+{-# LANGUAGE OverloadedStrings #-}
+
+module Text.Edifact.Scaffolder.Composites.Implementation
+  ( -- *
+    toImplementation
+  ) where
+
+import           Text.Edifact.Scaffolder.Commons
+import           Text.Edifact.Scaffolder.Composites.Types
+
+import           Data.List.NonEmpty                       as NE (toList)
+import           Formatting
+
+toImplementation :: NonEmpty Dependency -> [Text]
+toImplementation = haskellList . fmap callDependency . NE.toList
+
+callDependency :: Dependency -> Text
+callDependency (Dependency pos element presence) =
+  sformat (quoted fPosition % " .@ " % fPresence % " " % fElement) pos presence element
diff --git a/scaffolder/src/Text/Edifact/Scaffolder/Composites/Specification.hs b/scaffolder/src/Text/Edifact/Scaffolder/Composites/Specification.hs
new file mode 100644
index 0000000..0bb749d
--- /dev/null
+++ b/scaffolder/src/Text/Edifact/Scaffolder/Composites/Specification.hs
@@ -0,0 +1,69 @@
+module Text.Edifact.Scaffolder.Composites.Specification
+  ( -- *
+    specificationParser
+  , listSimples
+  ) where
+
+import           Text.Edifact.Scaffolder.Commons
+import           Text.Edifact.Scaffolder.Composites.Types
+
+import           Text.Parsec                              as P (anyChar, count,
+                                                                digit,
+                                                                endOfLine, many,
+                                                                many1, manyTill,
+                                                                oneOf, skipMany,
+                                                                string, try,
+                                                                (<?>))
+import           Text.Parsec.String                       (Parser)
+
+specificationParser :: Parser ((CompositeCode, CompositeName), [Dependency])
+specificationParser = do
+  compositeInfo <- scanUntil [ compositeParser ]
+  dependencies <- scan [ inLine dependencyParser ] <?> "Composites specification"
+  pure (compositeInfo, dependencies)
+
+listSimples :: Parser (CompositeCode, [SimpleCode])
+listSimples = do
+  parsed <- specificationParser
+  pure (fst $ fst parsed, getElementSimpleCode . dependencyElement <$> snd parsed)
+
+compositeParser :: Parser (CompositeCode, CompositeName)
+compositeParser = do
+  _ <- count 6 (oneOf "+*#|X ")
+  skipMany (string " ")
+  code <- compositeCodeParser
+  _ <- string " "
+  name <- CompositeName <$> manyTill anyChar (() <$ try endOfLine)
+  pure (code, name)
+
+compositeCodeParser :: Parser CompositeCode
+compositeCodeParser = do
+  initial <- oneOf "CE"
+  rest <- count 3 digit
+  pure (fromString (initial : rest))
+
+dependencyParser :: Parser Dependency
+dependencyParser =
+  Dependency <$> positionParser
+             <*  many1 (oneOf "+*#|-X ")
+             <*> elementParser
+             <*  stringToPresenceParser
+             <*  many1 (string " ")
+             <*> presenceParser
+             <?> "Dependency"
+
+inLine :: Parser a -> Parser [a]
+inLine p = single (many (string " ") *> p <* filler)
+
+filler :: Parser ()
+filler = () <$ many (oneOf "an.0123456789 ")
+
+positionParser :: Parser Position
+positionParser =
+  fromString <$> count 3 digit
+             <?> "Position"
+
+elementParser :: Parser Element
+elementParser =
+  fromString <$> count 4 digit
+             <?> "Element"
diff --git a/scaffolder/src/Text/Edifact/Scaffolder/Composites/Types.hs b/scaffolder/src/Text/Edifact/Scaffolder/Composites/Types.hs
new file mode 100644
index 0000000..c7a676f
--- /dev/null
+++ b/scaffolder/src/Text/Edifact/Scaffolder/Composites/Types.hs
@@ -0,0 +1,18 @@
+{-# LANGUAGE DerivingStrategies         #-}
+{-# LANGUAGE GeneralizedNewtypeDeriving #-}
+
+module Text.Edifact.Scaffolder.Composites.Types where
+
+import           Text.Edifact.Scaffolder.Commons
+
+import           Formatting
+
+data Dependency = Dependency { dependencyPosition :: Position
+                             , dependencyElement  :: Element
+                             , dependencyPresence :: Presence
+                             } deriving Show
+
+newtype Element = Simple { getElementSimpleCode :: SimpleCode } deriving newtype (Show, Eq, Ord, IsString)
+
+fElement :: Format r (Element -> r)
+fElement = mapf getElementSimpleCode fSimpleParserFunction