From 046812cecbea9d643eb03e81601e01089f406a8d Mon Sep 17 00:00:00 2001
From: Lennart Spitzner <lsp@informatik.uni-kiel.de>
Date: Fri, 30 Dec 2016 22:14:25 +0100
Subject: [PATCH] Add addRestOfInputStringParam

---
 src/UI/Butcher/Monadic/Param.hs | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/src/UI/Butcher/Monadic/Param.hs b/src/UI/Butcher/Monadic/Param.hs
index 4262736..90e3589 100644
--- a/src/UI/Butcher/Monadic/Param.hs
+++ b/src/UI/Butcher/Monadic/Param.hs
@@ -131,3 +131,18 @@ addStringParamOpt name par = addCmdPartInp desc parseF
     parseF (InputArgs args) = case args of
       (s1:sR) -> Just (Just s1, InputArgs sR)
       []      -> Just (Nothing, InputArgs [])
+
+
+addRestOfInputStringParam
+  :: forall f out . (Applicative f)
+  => String
+  -> Param Void
+  -> CmdParser f out String
+addRestOfInputStringParam name par = addCmdPartInp desc parseF
+  where
+    desc :: PartDesc
+    desc = (maybe id PartWithHelp $ _param_help par)
+         $ PartVariable name
+    parseF :: Input -> Maybe (String, Input)
+    parseF (InputString str) = Just (str, InputString "")
+    parseF (InputArgs args)  = Just (List.unwords args, InputArgs [])