OpenCascade.TopoDS.Face
data Face Source #
Defined in OpenCascade.TopoDS.Types
Methods
downcast :: Ptr Shape -> IO (Maybe (Ptr Face)) Source #
upcast :: Ptr Face -> Ptr Shape Source #
new :: Acquire (Ptr Face) Source #