{-# LANGUAGE FlexibleInstances, FlexibleContexts, TypeFamilies, MultiParamTypeClasses, OverlappingInstances, IncoherentInstances #-} module GDAL.GDALDataset.Cast where import Foreign.Ptr import FFICXX.Runtime.Cast import System.IO.Unsafe import GDAL.GDALDataset.RawType import GDAL.GDALDataset.Interface instance (IGDALDataset a, FPtr a) => Castable (a) (Ptr RawGDALDataset) where cast :: forall r. a -> (Ptr RawGDALDataset -> IO r) -> IO r cast a x Ptr RawGDALDataset -> IO r f = Ptr RawGDALDataset -> IO r f (Ptr (Raw a) -> Ptr RawGDALDataset forall a b. Ptr a -> Ptr b castPtr (a -> Ptr (Raw a) forall a. FPtr a => a -> Ptr (Raw a) get_fptr a x)) uncast :: forall r. Ptr RawGDALDataset -> (a -> IO r) -> IO r uncast Ptr RawGDALDataset x a -> IO r f = a -> IO r f (Ptr (Raw a) -> a forall a. FPtr a => Ptr (Raw a) -> a cast_fptr_to_obj (Ptr RawGDALDataset -> Ptr (Raw a) forall a b. Ptr a -> Ptr b castPtr Ptr RawGDALDataset x)) instance () => Castable (GDALDataset) (Ptr RawGDALDataset) where cast :: forall r. GDALDataset -> (Ptr RawGDALDataset -> IO r) -> IO r cast GDALDataset x Ptr RawGDALDataset -> IO r f = Ptr RawGDALDataset -> IO r f (Ptr RawGDALDataset -> Ptr RawGDALDataset forall a b. Ptr a -> Ptr b castPtr (GDALDataset -> Ptr (Raw GDALDataset) forall a. FPtr a => a -> Ptr (Raw a) get_fptr GDALDataset x)) uncast :: forall r. Ptr RawGDALDataset -> (GDALDataset -> IO r) -> IO r uncast Ptr RawGDALDataset x GDALDataset -> IO r f = GDALDataset -> IO r f (Ptr (Raw GDALDataset) -> GDALDataset forall a. FPtr a => Ptr (Raw a) -> a cast_fptr_to_obj (Ptr RawGDALDataset -> Ptr RawGDALDataset forall a b. Ptr a -> Ptr b castPtr Ptr RawGDALDataset x))