{-# LANGUAGE EmptyDataDecls, FlexibleContexts, FlexibleInstances, ForeignFunctionInterface, IncoherentInstances, MultiParamTypeClasses, OverlappingInstances, TemplateHaskell, TypeFamilies, TypeSynonymInstances #-} module OGDF.RankingModule.Implementation where import Data.Monoid import Data.Word import Data.Int import Foreign.C import Foreign.Ptr import Language.Haskell.TH import Language.Haskell.TH.Syntax import System.IO.Unsafe import FFICXX.Runtime.Cast import FFICXX.Runtime.CodeGen.Cxx import FFICXX.Runtime.TH import OGDF.RankingModule.RawType import OGDF.RankingModule.FFI import OGDF.RankingModule.Interface import OGDF.RankingModule.Cast import OGDF.RankingModule.RawType import OGDF.RankingModule.Cast import OGDF.RankingModule.Interface import STD.Deletable.RawType import STD.Deletable.Cast import STD.Deletable.Interface instance () => IRankingModule (RankingModule) where instance () => IDeletable (RankingModule) where delete :: RankingModule -> IO () delete = (Ptr RawRankingModule -> IO ()) -> RankingModule -> IO () forall a ca y cy. (Castable a ca, Castable y cy) => (ca -> IO cy) -> a -> IO y xform0 Ptr RawRankingModule -> IO () c_rankingmodule_delete