Text.Molfile.Writer.Util

Definitions

dispIso : Isotope -> String

  Isotope pretty printer.

Totality: total
Visibility: export

dispRadical : Radical -> String

  Radical pretty printer

Totality: total
Visibility: export

writeStructureData : Builder q => StructureData -> F1' q

Totality: total
Visibility: export

sdfDelimiter : Builder q => F1' q

Totality: total
Visibility: export

0 GroupMap : Type

Totality: total
Visibility: public export

appendLbl : Fin k -> Adj k b (MolAtom' x y z) -> GroupMap -> GroupMap

Totality: total
Visibility: export