{-# LANGUAGE EmptyDataDecls, FlexibleContexts, FlexibleInstances,
  ForeignFunctionInterface, IncoherentInstances,
  MultiParamTypeClasses, OverlappingInstances, TemplateHaskell,
  TypeFamilies, TypeSynonymInstances #-}
module OGDF.LayeredCrossMinModule.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.LayeredCrossMinModule.RawType
import OGDF.LayeredCrossMinModule.FFI
import OGDF.LayeredCrossMinModule.Interface
import OGDF.LayeredCrossMinModule.Cast
import OGDF.LayeredCrossMinModule.RawType
import OGDF.LayeredCrossMinModule.Cast
import OGDF.LayeredCrossMinModule.Interface
import STD.Deletable.RawType
import STD.Deletable.Cast
import STD.Deletable.Interface

instance () => ILayeredCrossMinModule (LayeredCrossMinModule) where

instance () => IDeletable (LayeredCrossMinModule) where
        delete :: LayeredCrossMinModule -> IO ()
delete = (Ptr RawLayeredCrossMinModule -> IO ())
-> LayeredCrossMinModule -> IO ()
forall a ca y cy.
(Castable a ca, Castable y cy) =>
(ca -> IO cy) -> a -> IO y
xform0 Ptr RawLayeredCrossMinModule -> IO ()
c_layeredcrossminmodule_delete