#include "head.html"

Die (einfache) Parser-Monade

ist eine Variante der Zustandsmonade. Jene war s -> (a, s). Als Zustand eines Parsers nehmen wir die noch nicht gelesene Eingaben (also vom Typ String). Wir müssen damit rechnen, daß ein Präfix mehrere Ableitungen (Parse-Bäume) besitzt, wir benötigen nicht ein Ergebnis (a, s), sondern eine Liste davon. Deswegen s -> [(a, s)].
#include "../src/Parser_Type.hs"
#include "foot.html"