Idris2Doc : Test.Text.Smiles.Generators

Test.Text.Smiles.Generators

(source)
Reexports
import public Test.Chem.Generators
import public Text.Smiles
Definitions
chirality : Gen Chirality
  Totality: total
  Visibility: export
subset : Gen SmilesAtom
  Totality: total
  Visibility: export
hcount : Gen HCount
  Totality: total
  Visibility: export
atom : Gen SmilesAtom
  Totality: total
  Visibility: export
bond : Gen SmilesBond
  Totality: total
  Visibility: export
ringNr : Gen RingNr
  Totality: total
  Visibility: export
ring : Gen Ring
  Totality: total
  Visibility: export