bib file processor using BibtexQuery

This file contains functions for bib file processor using pure Lean library BibtexQuery.

The main function is DocGen4.Bibtex.process.

partial def DocGen4.Bibtex.eToStringEscaped : BibtexQuery.Xml.Element → String

partial def DocGen4.Bibtex.cToStringEscaped : BibtexQuery.Xml.Content → String

partial def DocGen4.Bibtex.eToPlaintext : BibtexQuery.Xml.Element → String

partial def DocGen4.Bibtex.cToPlaintext : BibtexQuery.Xml.Content → String

def DocGen4.Bibtex.process' (contents : String) : Except String (Array Output.BibItem)

Process the contents of bib file.

Equations

• One or more equations did not get rendered due to their size.

def DocGen4.Bibtex.process (contents : String) : IO (Array Output.BibItem)

Process the contents of bib file.

Equations

• DocGen4.Bibtex.process contents = match DocGen4.Bibtex.process' contents with | Except.ok ret => pure ret | Except.error err => throw (IO.userError err)