about summary refs log tree commit diff
path: root/scratch/brilliant/Transforms.hs
diff options
context:
space:
mode:
authorWilliam Carroll <wpcarro@gmail.com>2020-08-05T21·54+0100
committerWilliam Carroll <wpcarro@gmail.com>2020-08-05T21·54+0100
commit61a2fb108dcdcc599ad9fe9de7b02d1181aec2d1 (patch)
treea8adff2a96b2dd700003ee10879ec618fe84ee7a /scratch/brilliant/Transforms.hs
parentd948ed9ebfc6deffa622a63d13045b83adc2a507 (diff)
Support parsing the list of transforms
Using Haskell's Text.ParserCombinators.ReadP library for the first time, and I
enjoyed it thoroughly! It's nice avoiding a third-party library like MegaParsec.
Diffstat (limited to 'scratch/brilliant/Transforms.hs')
-rw-r--r--scratch/brilliant/Transforms.hs40
1 files changed, 40 insertions, 0 deletions
diff --git a/scratch/brilliant/Transforms.hs b/scratch/brilliant/Transforms.hs
new file mode 100644
index 000000000000..e707defda796
--- /dev/null
+++ b/scratch/brilliant/Transforms.hs
@@ -0,0 +1,40 @@
+--------------------------------------------------------------------------------
+module Transforms where
+--------------------------------------------------------------------------------
+import Control.Applicative ((<|>))
+import Text.ParserCombinators.ReadP
+--------------------------------------------------------------------------------
+
+data Transform = VerticalFlip
+               | HorizontalFlip
+               | Shift Integer
+               deriving (Eq, Show)
+
+digit :: ReadP Char
+digit =
+  satisfy (\c -> c >= '0' && c <= '9')
+
+command :: ReadP Transform
+command = vertical
+      <|> horizontal
+      <|> shift
+  where
+    vertical =
+      char 'V' >> pure VerticalFlip
+
+    horizontal =
+      char 'H' >> pure HorizontalFlip
+
+    shift = do
+      _ <- char 'S'
+      negative <- option Nothing $ fmap Just (satisfy (== '-'))
+      n <- read <$> many1 digit
+      case negative of
+        Nothing -> pure $ Shift n
+        Just _  -> pure $ Shift (-1 * n)
+
+fromString :: String -> Maybe [Transform]
+fromString x =
+  case readP_to_S (manyTill command eof) x of
+   [(res, "")] -> Just res
+   _           -> Nothing