Documentation

getBrep :: (String, String) -> RIO (BaseObject, Placement)

proc3dLine :: (Vector3, Vector3) -> (BaseObject, Placement)

procRectangle :: (Vector3, Vector3, Vector3, Vector3) -> (BaseObject, Placement)

brepToXmlBinary :: RIO FilePath

getBrepObject :: (String -> a) -> String -> String -> RIO a

get3dLine :: String -> RIO (Vector3, Vector3)

getRectangle :: String -> RIO (Vector3, Vector3, Vector3, Vector3)

parseBrepXML :: String -> (Vector3, Vector3, Vector3, Vector3)

parseBrepXML2 :: String -> (Vector3, Vector3)

quadFromList :: [a] -> (a, a, a, a)

doubleFromList :: [a] -> (a, a)

getData :: Element -> (Vector3, Vector3, Vector3, Vector3)

getData2 :: Element -> (Vector3, Vector3)

parseVertex :: Element -> Vector3

type Env = FilePath

type RIO a = ReaderT Env IO a