eliminate MonadWriteFile in favour of MonadCache

[patritzenfeld]

MonadWriteFile is in principle always replaceable by MonadCache, but concerning the simple file writing done in the apps, it seems unnecessary to include the input's hash in the final filename as collisions are not really a concern for those.

Example:

modelling-tasks/legacy-app/instance2pic.hs

Lines 35 to 43 in f1764a0

	output <- drawOdFromInstance
	i
	Nothing
	possibleLinks
	(Just $ 1 % 3)
	NoDir
	False
	"./"
	filePrefix

where a filename like filePrefix-HashOfOdInstance.svg is used, even though just filePrefix.svg would probably suffice. But I guess there is no harm in it either.

[jvoigtlaender]

For the particular case of drawOdFromInstance, I think it would be more appropriate to not have it use the Autotool capabilities abstraction at all. It is never going to run on Autotool, since it is only used from the "local apps" and from "local tests" in this repo here.

So why is it not simply IO-typed directly?

[jvoigtlaender]

In fact, drawOdFromInstance might simply be inlined in the three use places it currently has. There is not much abstraction benefit from having it as a function.

[jvoigtlaender]

Die bereits vorhandenen cache-Nutzungen hier im Repo sind alle irgendwelche fancyeren Verwendungen. Also zum Beispiel mit Kodierung von Aufgabentypen in die Dateinamen:

modelling-tasks/src/Modelling/PetriNet/Diagram.hs

Lines 95 to 98 in 992b725

	prefix =
	"petri-"
	++ petriType
	++ nodeType

und/oder weiteren Bestandteilen, sowohl dort als auch etwa in

modelling-tasks/src/Modelling/CdOd/Output.hs

Lines 193 to 196 in 992b725

	ext = short printNavigations
	++ short printNames
	++ showDigest (sha1 . LBS.fromString $ show marking)
	++ ".svg"

Mir ist nicht klar, was davon essentiell, nice to have, oder vielleicht sogar unidiomatisch ist (fmidue/autotool-capabilities#29), und schon gar nicht, ob das Konsequenzen dafür hat, wie der Aufruf hier aussehen sollte.

[patritzenfeld]

Da bin ich mir auch nicht sicher. Fürs Caching wird ein SHA256 Hash verwendet, es sollte also extrem unwahrscheinlich sein, dass eine Kollision auftritt, auch wenn diese Informationen stattdessen mitgehasht werden.
Diese Teile dem Dateinamen hinzuzufügen hilft vielleicht dabei, die erstellten Dateien später besser einer bestimmten Aufgabe zuordnen zu können, wenn mal etwas debugt werden muss?

[jvoigtlaender]

Es gab mal eine lange verwandte Diskussion ab hier: https://git.uni-due.de/fmi/autotool-dev/-/commit/cab9de03013d848ed5628e7744faa6c78465bbb3#note_209675