Safe Haskell	Safe-Inferred
Language	Haskell2010

OpenCascade.TopoDS.Types

Documentation

data Shape Source #

Instances

Instances details

DiscriminatedSubTypeOf Shape CompSolid Source #
Instance details Defined in OpenCascade.TopoDS.Types Methods downcast :: Ptr Shape -> IO (Maybe (Ptr CompSolid)) Source #
DiscriminatedSubTypeOf Shape Compound Source #
Instance details Defined in OpenCascade.TopoDS.Types Methods downcast :: Ptr Shape -> IO (Maybe (Ptr Compound)) Source #
DiscriminatedSubTypeOf Shape Edge Source #
Instance details Defined in OpenCascade.TopoDS.Types Methods downcast :: Ptr Shape -> IO (Maybe (Ptr Edge)) Source #
DiscriminatedSubTypeOf Shape Face Source #
Instance details Defined in OpenCascade.TopoDS.Types Methods downcast :: Ptr Shape -> IO (Maybe (Ptr Face)) Source #
DiscriminatedSubTypeOf Shape Shell Source #
Instance details Defined in OpenCascade.TopoDS.Types Methods downcast :: Ptr Shape -> IO (Maybe (Ptr Shell)) Source #
DiscriminatedSubTypeOf Shape Solid Source #
Instance details Defined in OpenCascade.TopoDS.Types Methods downcast :: Ptr Shape -> IO (Maybe (Ptr Solid)) Source #
DiscriminatedSubTypeOf Shape Vertex Source #
Instance details Defined in OpenCascade.TopoDS.Types Methods downcast :: Ptr Shape -> IO (Maybe (Ptr Vertex)) Source #
DiscriminatedSubTypeOf Shape Wire Source #
Instance details Defined in OpenCascade.TopoDS.Types Methods downcast :: Ptr Shape -> IO (Maybe (Ptr Wire)) Source #
SubTypeOf Shape CompSolid Source #
Instance details Defined in OpenCascade.TopoDS.Types Methods upcast :: Ptr CompSolid -> Ptr Shape Source #
SubTypeOf Shape Compound Source #
Instance details Defined in OpenCascade.TopoDS.Types Methods upcast :: Ptr Compound -> Ptr Shape Source #
SubTypeOf Shape Edge Source #
Instance details Defined in OpenCascade.TopoDS.Types Methods upcast :: Ptr Edge -> Ptr Shape Source #
SubTypeOf Shape Face Source #
Instance details Defined in OpenCascade.TopoDS.Types Methods upcast :: Ptr Face -> Ptr Shape Source #
SubTypeOf Shape Shell Source #
Instance details Defined in OpenCascade.TopoDS.Types Methods upcast :: Ptr Shell -> Ptr Shape Source #
SubTypeOf Shape Solid Source #
Instance details Defined in OpenCascade.TopoDS.Types Methods upcast :: Ptr Solid -> Ptr Shape Source #
SubTypeOf Shape Vertex Source #
Instance details Defined in OpenCascade.TopoDS.Types Methods upcast :: Ptr Vertex -> Ptr Shape Source #
SubTypeOf Shape Wire Source #
Instance details Defined in OpenCascade.TopoDS.Types Methods upcast :: Ptr Wire -> Ptr Shape Source #

data CompSolid Source #

Instances

Instances details

DiscriminatedSubTypeOf Shape CompSolid Source #
Instance details Defined in OpenCascade.TopoDS.Types Methods downcast :: Ptr Shape -> IO (Maybe (Ptr CompSolid)) Source #
SubTypeOf Shape CompSolid Source #
Instance details Defined in OpenCascade.TopoDS.Types Methods upcast :: Ptr CompSolid -> Ptr Shape Source #

data Compound Source #

Instances

Instances details

DiscriminatedSubTypeOf Shape Compound Source #
Instance details Defined in OpenCascade.TopoDS.Types Methods downcast :: Ptr Shape -> IO (Maybe (Ptr Compound)) Source #
SubTypeOf Shape Compound Source #
Instance details Defined in OpenCascade.TopoDS.Types Methods upcast :: Ptr Compound -> Ptr Shape Source #

data Edge Source #

Instances

Instances details

DiscriminatedSubTypeOf Shape Edge Source #
Instance details Defined in OpenCascade.TopoDS.Types Methods downcast :: Ptr Shape -> IO (Maybe (Ptr Edge)) Source #
SubTypeOf Shape Edge Source #
Instance details Defined in OpenCascade.TopoDS.Types Methods upcast :: Ptr Edge -> Ptr Shape Source #

data Face Source #

Instances

Instances details

DiscriminatedSubTypeOf Shape Face Source #
Instance details Defined in OpenCascade.TopoDS.Types Methods downcast :: Ptr Shape -> IO (Maybe (Ptr Face)) Source #
SubTypeOf Shape Face Source #
Instance details Defined in OpenCascade.TopoDS.Types Methods upcast :: Ptr Face -> Ptr Shape Source #

data Shell Source #

Instances

Instances details

DiscriminatedSubTypeOf Shape Shell Source #
Instance details Defined in OpenCascade.TopoDS.Types Methods downcast :: Ptr Shape -> IO (Maybe (Ptr Shell)) Source #
SubTypeOf Shape Shell Source #
Instance details Defined in OpenCascade.TopoDS.Types Methods upcast :: Ptr Shell -> Ptr Shape Source #

data Solid Source #

Instances

Instances details

DiscriminatedSubTypeOf Shape Solid Source #
Instance details Defined in OpenCascade.TopoDS.Types Methods downcast :: Ptr Shape -> IO (Maybe (Ptr Solid)) Source #
SubTypeOf Shape Solid Source #
Instance details Defined in OpenCascade.TopoDS.Types Methods upcast :: Ptr Solid -> Ptr Shape Source #

data Vertex Source #

Instances

Instances details

DiscriminatedSubTypeOf Shape Vertex Source #
Instance details Defined in OpenCascade.TopoDS.Types Methods downcast :: Ptr Shape -> IO (Maybe (Ptr Vertex)) Source #
SubTypeOf Shape Vertex Source #
Instance details Defined in OpenCascade.TopoDS.Types Methods upcast :: Ptr Vertex -> Ptr Shape Source #

data Wire Source #

Instances

Instances details

DiscriminatedSubTypeOf Shape Wire Source #
Instance details Defined in OpenCascade.TopoDS.Types Methods downcast :: Ptr Shape -> IO (Maybe (Ptr Wire)) Source #
SubTypeOf Shape Wire Source #
Instance details Defined in OpenCascade.TopoDS.Types Methods upcast :: Ptr Wire -> Ptr Shape Source #

data Builder Source #