From 8cd61c9ba8b6dd4bab6cc8f9f580eaa9d2d779a2 Mon Sep 17 00:00:00 2001
From: Alice BRENON <alice.brenon@ens-lyon.fr>
Date: Thu, 8 Jun 2023 14:20:15 +0200
Subject: [PATCH] Move Options
---
lib/{Options/GEODE.hs => GEODE/Options.hs} | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
rename lib/{Options/GEODE.hs => GEODE/Options.hs} (92%)
diff --git a/lib/Options/GEODE.hs b/lib/GEODE/Options.hs
similarity index 92%
rename from lib/Options/GEODE.hs
rename to lib/GEODE/Options.hs
index 210e87b..2f347f9 100644
--- a/lib/Options/GEODE.hs
+++ b/lib/GEODE/Options.hs
@@ -1,4 +1,5 @@
-module Options.GEODE
+{-# LANGUAGE NamedFieldPuns #-}
+module GEODE.Options
( Output(..)
, output ) where
@@ -38,3 +39,5 @@ output = catMaybes . toList <$> outputFlags
where
toList (OutputFlags {metadata, textRoot, xmlRoot}) =
[ Metadata <$ metadata, TextRoot <$> textRoot, XMLRoot <$> xmlRoot ]
+
+--atLeastOne :: [Output] -> IO [Output]
--
GitLab