Haskell Parsec y propiedades no ordenadas

Question

Estoy tratando de utilizar Parsec para analizar algo como esto:

property :: CharParser SomeObject 
property = do 
    name 
    parameters 
    value 
    return SomeObjectInstance { fill in records here } 

Me estoy poniendo en práctica la especificación de iCalendar y en cada que hay un nombre: parámetros: valor de triplete, muy parecido la forma en que XML tiene un nombre: atributos: contenido triplete. Infact you could very easily convert an iCalendar into XML format (pensé que realmente no puedo ver las ventajas).

Mi punto es que los parámetros no tienen que venir en orden alguno y cada parámetro puede tener un tipo diferente. Un parámetro puede ser una cadena mientras que el otro es la identificación numérica de otro elemento. Es posible que todavía no compartan ninguna similitud. Al final, quiero ubicarlos correctamente en los campos de registro correctos para cualquier 'SomeObjectInstance' que desee que el analizador devuelva. ¿Cómo hago este tipo de cosas (o puede señalarme un ejemplo de dónde alguien tuvo que analizar datos como este)?

Gracias, sé que mi pregunta es probablemente un poco confusa, pero eso refleja mi nivel de comprensión de lo que debo hacer.

Editar: yo estaba tratando de evitar dar el resultado esperado (porque es grande, no porque se oculta) pero aquí es un ejemplo de un archivo de entrada (de Wikipedia):

COMENZAR : VCALENDAR
VERSION: 2.0
PRODID: - // hacksw/handcal // NONSGML v1.0 // EN
BEGIN: VEVENT
UID: uid1@example.com
DTSTAMP: 19970714T170000Z
ORGANIZADOR; CN = John Doe: mailto: john.doe@example.com
DTSTART: 19970714T170000Z
DTEND: 19970715T035959Z
RESUMEN: partido del día Bastille
END: VEVENT
END: VCALENDAR

Como puede ver, contiene un VEvent dentro de un VCalendar, hice data structures that represent them here.

Estoy tratando de escribir un analizador sintáctico que analiza ese tipo de archivo en mis estructuras de datos y estoy atascado en el bit donde necesito manejar las propiedades que vienen en cualquier orden con cualquier tipo; fecha, hora, int, cadena, uid, etc. Espero que tenga más sentido sin repetir toda la especificación de iCalendar.

Answer 1

Parsec tiene el módulo Parsec.Perm precisamente para analizar elementos desordenados pero lineales (es decir, en el mismo nivel en el árbol de sintaxis) como etiquetas de atributos en archivos XML.

Desafortunadamente, el módulo de Perm está prácticamente sin documentar. La mejor referencia es el documento Parsing Permutation Phrases, que se refiere a la página de Haddock doc, pero incluso eso es en gran parte una descripción de la técnica en lugar de cómo usarla.

Answer 2

Ok, así que entre BEGIN:VEVENT y END:VEVENT, tiene muchos pares de valores clave. Por lo tanto, escriba una regla keyValuePair que devuelva (key, value). Ahora dentro de la regla para VEVENT, haga many KeyValuePair para obtener una lista de pares. Una vez hecho esto, usa un doblez para completar un registro de VEVENT con los valores dados. En la función que das para doblar, utilizas la coincidencia de patrones para averiguar en qué campo almacenar el valor. Como valor inicial para el acumulador, usa un registro VEvent donde los campos opcionales están configurados en Nothing. Ejemplo:

pairs <- many keyValuePairs 
vevent = foldr f (VEvent {sequence = Nothing}) pairs 
    where f ("SUMMARY", v) ve = ve {summary = v} 
      f ("DSTART", v) ve = ve {dstart = read v} 

... y así sucesivamente. Haz lo mismo para los otros componentes.

Editar: Aquí hay un código de ejemplo ejecutable para el pliegue:

data VEvent = VEvent { 
     summary :: String, 
     dstart :: String, 
     sequenceSt :: Maybe String 
     } deriving Show 

vevent pairs = foldr f (VEvent {sequenceSt = Nothing}) pairs 
    where f ("SUMMARY", v) ve = ve {summary = v} 
      f ("DSTART", v) ve = ve {dstart = v} 
      f ("SEQUENCEST", v) ve = ve {sequenceSt = Just v} 

main = do print $ vevent [("SUMMARY", "lala"), ("DSTART", "lulu")] 
      print $ vevent [("SUMMARY", "lala"), ("DSTART", "lulu"), ("SEQUENCEST", "lili")] 

Salida:

VEvent {summary = "lala", dstart = "lulu", sequenceSt = Nothing} 
VEvent {summary = "lala", dstart = "lulu", sequenceSt = Just "lili"} 

Tenga en cuenta que esto producirá una advertencia cuando se compila. Para evitar la advertencia, inicialice todos los campos no opcionales al undefined explícitamente.