Idris2Doc : Geom.Gen2D.Debug

Geom.Gen2D.Debug

(source)

Definitions

showComponent : Componentken->String
Totality: total
Visibility: export
printComponents : Graphen->IO ()
Totality: total
Visibility: export
test : String->IO ()
Totality: total
Visibility: export
coords : String->IO ()
Totality: total
Visibility: export
smilesToMol : String->EitherStringMolfileAT
Totality: total
Visibility: export
mol : String->IO ()
Totality: total
Visibility: export