Idris2Doc : Test.Text.Molfile.Generators
Reexports
import public Test.Chem.Generators
import public Test.Data.Graph.Generators
import public Text.MolfileDefinitions
molLine : Gen MolLine- Totality: total
Visibility: export molVersion : Gen MolVersion- Totality: total
Visibility: export chiralFlag : Gen ChiralFlag- Totality: total
Visibility: export stereoParity : Gen StereoParity- Totality: total
Visibility: export stereoCareBox : Gen StereoCareBox- Totality: total
Visibility: export valence : Gen Valence- Totality: total
Visibility: export h0Designator : Gen H0Designator- Totality: total
Visibility: export hydrogenCount : Gen HydrogenCount- Totality: total
Visibility: export coordinate : Gen Coordinate- Totality: total
Visibility: export coords : Gen (Vect 3 Coordinate)- Totality: total
Visibility: export atom : Gen (Maybe AtomGroup) -> Gen MolAtom- Totality: total
Visibility: export simpleAtom : Gen MolAtom- Totality: total
Visibility: export bondStereo : Gen BondStereo- Totality: total
Visibility: export bondTopo : Gen BondTopo- Totality: total
Visibility: export bond : Gen MolBond- Totality: total
Visibility: export bondEdge : Gen (Edge 999 MolBond)- Totality: total
Visibility: export - Totality: total
Visibility: export sdValue : Gen SDValue- Totality: total
Visibility: export structureData : Gen StructureData- Totality: total
Visibility: export molFileGS : List AtomGroup -> Gen Molfile- Totality: total
Visibility: export molFile : Gen Molfile- Totality: total
Visibility: export sdFileGS : List AtomGroup -> Gen Molfile- Totality: total
Visibility: export sdFile : Gen Molfile- Totality: total
Visibility: export