Idris2Doc : Geom.Gen2D.Debug
Definitions
showComponent : Component k e n -> String- Totality: total
Visibility: export printComponents : Graph e n -> IO ()- Totality: total
Visibility: export test : String -> IO ()- Totality: total
Visibility: export coords : String -> IO ()- Totality: total
Visibility: export smilesToMol : String -> Either String MolfileAT- Totality: total
Visibility: export mol : String -> IO ()- Totality: total
Visibility: export