Idris2Doc : Test.Chem.Generators
Reexports
import public Chem
import public HedgehogDefinitions
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