Idris2Doc : Test.Chem.Generators

Test.Chem.Generators

(source)
Reexports
import public Chem
import public Hedgehog
Definitions
atomicNr : Gen AtomicNr
  Totality: total
  Visibility: export
massNr : Gen MassNr
  Totality: total
  Visibility: export
abundance : Gen Abundance
  Totality: total
  Visibility: export
molecularMass : Gen MolecularMass
  Totality: total
  Visibility: export
molarMass : Gen MolarMass
  Totality: total
  Visibility: export
charge : Gen Charge
  Totality: total
  Visibility: export
radical : Gen Radical
  Totality: total
  Visibility: export
elem : Gen Elem
  Totality: total
  Visibility: export
aromElem : Gen AromElem
  Totality: total
  Visibility: export
formula : Gen Formula
  Totality: total
  Visibility: export
isotope : Gen Isotope
  Totality: total
  Visibility: export
aromIsotope : Gen AromIsotope
  Totality: total
  Visibility: export
bondOrder : Gen BondOrder
  Totality: total
  Visibility: export