{-# LANGUAGE FlexibleInstances, FlexibleContexts, TypeFamilies, MultiParamTypeClasses, OverlappingInstances, IncoherentInstances #-} module OGDF.LayeredCrossMinModule.Cast where import Foreign.Ptr import FFICXX.Runtime.Cast import System.IO.Unsafe import OGDF.LayeredCrossMinModule.RawType import OGDF.LayeredCrossMinModule.Interface instance (ILayeredCrossMinModule a, FPtr a) => Castable (a) (Ptr RawLayeredCrossMinModule) where cast x f = f (castPtr (get_fptr x)) uncast x f = f (cast_fptr_to_obj (castPtr x)) instance () => Castable (LayeredCrossMinModule) (Ptr RawLayeredCrossMinModule) where cast x f = f (castPtr (get_fptr x)) uncast x f = f (cast_fptr_to_obj (castPtr x))