Implementierungsdetails

Bei der Validierung und Verifizierung werden verschiedene Tests abgearbeitet. Die Funktion testeAlles arbeitet diese Tests der Reihe nach ab und gibt entweder die Fehlermeldung des Ersten fehlgeschlagenen Tests oder eine Positivmeldung zurück. Der Typ der Funktion ist also:

        testeAlles :: Doc -> [(Bool, Doc)] -> (Bool, Doc)

Jeder Test ist eine Funktion mit dem Rückgabewert (Bool, Doc).