Reimplement `parseDelayedWithAndThen` with function from `flex-tasks`?

[jvoigtlaender]

It's possible that

logic-tasks/src/Formula/Parsing/Delayed.hs

Lines 50 to 62 in a408056

	parseDelayedWithAndThen ::
	OutputCapable m
	=> Parser a
	-> (Maybe ParseError -> ParseError -> State (Map Language String) ())
	-> Parser ()
	-> (a -> LangM m)
	-> Delayed a
	-> LangM m
	parseDelayedWithAndThen p messaging fallBackParser whatToDo delayedAnswer =
	(whatToDo `withDelayed` p)
	(messaging (either Just (const Nothing) $
	parseDelayedRaw (fully fallBackParser) delayedAnswer))
	delayedAnswer

can be implemented using parseWithFallback from fmidue/flex-tasks#77.

[jvoigtlaender]

After some refactoring here and there, the question now is whether some of these:

logic-tasks/src/Formula/Parsing/Delayed.hs

Lines 40 to 50 in 9e41150

	withDelayed ::
	OutputCapable m
	=> (a -> LangM m)
	-> Parser a
	-> (ParseError -> LangM m)
	-> Delayed a
	-> LangM m
	withDelayed whatToDo p displayError delayedAnswer =
	case parseDelayed (fully p) delayedAnswer of
	Left err -> refuse $ indent $ displayError err
	Right x -> whatToDo x

logic-tasks/src/Formula/Parsing/Delayed.hs

Lines 55 to 67 in 9e41150

	parseDelayedWithAndThen ::
	OutputCapable m
	=> Parser a
	-> (Maybe ParseError -> ParseError -> LangM m)
	-> Parser ()
	-> (a -> LangM m)
	-> Delayed a
	-> LangM m
	parseDelayedWithAndThen p messaging fallBackParser whatToDo delayedAnswer =
	(whatToDo `withDelayed` p)
	(messaging (either Just (const Nothing) $
	parseDelayedRaw (fully fallBackParser) delayedAnswer))
	delayedAnswer

logic-tasks/src/Formula/Parsing/Delayed.hs

Lines 69 to 78 in 9e41150

	withDelayedSucceeding ::
	OutputCapable m
	=> (a -> LangM' m b)
	-> Parser a
	-> Delayed a
	-> LangM' m b
	withDelayedSucceeding whatToDo p delayedAnswer =
	case parseDelayed (fully p) delayedAnswer of
	Left err -> error $ "It should be impossible here, and yet the following ParseError was encountered: " ++ show err
	Right x -> whatToDo x

can be implemented using some of these:

• flex-tasks/FlexTask.Generic.ParseInternal.parseWithOrReport
• flex-tasks/FlexTask.Generic.ParseInternal.parseWithFallback