Idris2Doc : Geom.Gen2D.Debug

Geom.Gen2D.Debug

(source)

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