Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
OpenCascade.Inheritance
Documentation
class SubTypeOf a b where Source #
Minimal complete definition
Nothing
Instances
class SubTypeOf a b => DiscriminatedSubTypeOf a b where Source #
Instances
unsafeDowncast :: DiscriminatedSubTypeOf a b => Ptr a -> IO (Ptr b) Source #