Text.Smiles.AtomType

Definitions

0 SmilesAtomAT : Type

  SMILES atom with perceived atom type and computed
  implicit hydrogen count

Totality: total
Visibility: public export

0 SmilesGraphAT : Type

  SMILES molecule with perceived atom type and computed
  implicit hydrogen count

Totality: total
Visibility: public export

perceiveSmilesAtomTypes : SmilesGraph -> SmilesGraphAT

Totality: total
Visibility: export