{-# LANGUAGE EmptyDataDecls, ExistentialQuantification, FlexibleContexts, FlexibleInstances, ForeignFunctionInterface, MultiParamTypeClasses, ScopedTypeVariables, TypeFamilies, TypeSynonymInstances #-} module OGDF.LayerByLayerSweep.Interface where import Data.Word import Data.Int import Foreign.C import Foreign.Ptr import FFICXX.Runtime.Cast import OGDF.LayerByLayerSweep.RawType import STD.Deletable.Interface import OGDF.LayeredCrossMinModule.Interface class (IDeletable a, ILayeredCrossMinModule a) => ILayerByLayerSweep a where upcastLayerByLayerSweep :: forall a . (FPtr a, ILayerByLayerSweep a) => a -> LayerByLayerSweep upcastLayerByLayerSweep h = let fh = get_fptr h fh2 :: Ptr RawLayerByLayerSweep = castPtr fh in cast_fptr_to_obj fh2 downcastLayerByLayerSweep :: forall a . (FPtr a, ILayerByLayerSweep a) => LayerByLayerSweep -> a downcastLayerByLayerSweep h = let fh = get_fptr h fh2 = castPtr fh in cast_fptr_to_obj fh2