Safe Haskell	Safe-Inferred
Language	Haskell2010

OpenCascade.Inheritance

Documentation

class SubTypeOf a b where Source #

Minimal complete definition

Nothing

Methods

upcast :: Ptr b -> Ptr a Source #

Instances

Instances details

SubTypeOf MakeShape MakeFace Source #
Instance details Defined in OpenCascade.BRepBuilderAPI.Types Methods upcast :: Ptr MakeFace -> Ptr MakeShape Source #
SubTypeOf MakeShape MakeSolid Source #
Instance details Defined in OpenCascade.BRepBuilderAPI.Types Methods upcast :: Ptr MakeSolid -> Ptr MakeShape Source #
SubTypeOf MakeShape MakeWire Source #
Instance details Defined in OpenCascade.BRepBuilderAPI.Types Methods upcast :: Ptr MakeWire -> Ptr MakeShape Source #
SubTypeOf MakeShape MakeFillet Source #
Instance details Defined in OpenCascade.BRepFilletAPI.Types Methods upcast :: Ptr MakeFillet -> Ptr MakeShape Source #
SubTypeOf MakeShape MakeOffsetShape Source #
Instance details Defined in OpenCascade.BRepOffsetAPI.Types Methods upcast :: Ptr MakeOffsetShape -> Ptr MakeShape Source #
SubTypeOf MakeShape MakePipe Source #
Instance details Defined in OpenCascade.BRepOffsetAPI.Types Methods upcast :: Ptr MakePipe -> Ptr MakeShape Source #
SubTypeOf MakeShape MakeBox Source #
Instance details Defined in OpenCascade.BRepPrimAPI.Types Methods upcast :: Ptr MakeBox -> Ptr MakeShape Source #
SubTypeOf MakeShape MakeRevol Source #
Instance details Defined in OpenCascade.BRepPrimAPI.Types Methods upcast :: Ptr MakeRevol -> Ptr MakeShape Source #
SubTypeOf Curve BezierCurve Source #
Instance details Defined in OpenCascade.Geom.Types Methods upcast :: Ptr BezierCurve -> Ptr Curve Source #
SubTypeOf Curve TrimmedCurve Source #
Instance details Defined in OpenCascade.Geom.Types Methods upcast :: Ptr TrimmedCurve -> Ptr Curve Source #
SubTypeOf CafReader CafReader Source #
Instance details Defined in OpenCascade.RWGltf.Types Methods upcast :: Ptr CafReader -> Ptr CafReader Source #
SubTypeOf CafReader CafReader Source #
Instance details Defined in OpenCascade.RWObj.Types Methods upcast :: Ptr CafReader -> Ptr CafReader 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 #
SubTypeOf Reader Reader Source #
Instance details Defined in OpenCascade.STEPControl.Types Methods upcast :: Ptr Reader -> Ptr Reader Source #
SubTypeOf a b => SubTypeOf (Handle a) (Handle b) Source #
Instance details Defined in OpenCascade.Handle Methods upcast :: Ptr (Handle b) -> Ptr (Handle a) Source #

class SubTypeOf a b => DiscriminatedSubTypeOf a b where Source #

Methods

downcast :: Ptr a -> IO (Maybe (Ptr b)) 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 #

unsafeDowncast :: DiscriminatedSubTypeOf a b => Ptr a -> IO (Ptr b) Source #