Idris2Doc : Text.Molfile.Parser

Text.Molfile.Parser

(source)

Reexports

importpublic Text.Molfile.Parser.Stack

Definitions

ctab : P1q (BoundedErrMolErr) (ListMolfile)
  A parser for CTab file formats. Can read V2000 and V3000 mol
and SD files. Suitable for streaming large amounts of data.

Totality: total
Visibility: public export
readMolFrom : Has (ParseErrorMolErr) es=>Origin->String->ChemResesMolfile
  Reads a single `Molfile` entry from a string.

The entry can be either in V2000 or V3000 format or a mixture of both.

Accepts strings that end with an option SD block
and optional SD delimiter (`"$$$$"`).

Totality: total
Visibility: export
readMol : Has (ParseErrorMolErr) es=>String->ChemResesMolfile
  Convenience alias for `readMolFrom Virtual`.

Totality: total
Visibility: export
readSDFFrom : Has (ParseErrorMolErr) es=>Origin->String->ChemReses (ListMolfile)
  Reads a list of SD entries from a string.

The entries can be either in V2000 or V3000 format or a mixture of both.

Totality: total
Visibility: export
readSDF : Has (ParseErrorMolErr) es=>String->ChemReses (ListMolfile)
  Convenience alias for `readSDFFrom Virtual`.

Totality: total
Visibility: export