{-# LANGUAGE FlexibleInstances, FlexibleContexts, TypeFamilies,
  MultiParamTypeClasses, OverlappingInstances, IncoherentInstances
  #-}
module HROOT.Core.TArrayL.Cast where
import Foreign.Ptr
import FFICXX.Runtime.Cast
import System.IO.Unsafe
import HROOT.Core.TArrayL.RawType
import HROOT.Core.TArrayL.Interface

instance (ITArrayL a, FPtr a) => Castable (a) (Ptr RawTArrayL)
         where
        cast :: forall r. a -> (Ptr RawTArrayL -> IO r) -> IO r
cast a
x Ptr RawTArrayL -> IO r
f = Ptr RawTArrayL -> IO r
f (Ptr (Raw a) -> Ptr RawTArrayL
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 RawTArrayL -> (a -> IO r) -> IO r
uncast Ptr RawTArrayL
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 RawTArrayL -> Ptr (Raw a)
forall a b. Ptr a -> Ptr b
castPtr Ptr RawTArrayL
x))

instance () => Castable (TArrayL) (Ptr RawTArrayL) where
        cast :: forall r. TArrayL -> (Ptr RawTArrayL -> IO r) -> IO r
cast TArrayL
x Ptr RawTArrayL -> IO r
f = Ptr RawTArrayL -> IO r
f (Ptr RawTArrayL -> Ptr RawTArrayL
forall a b. Ptr a -> Ptr b
castPtr (TArrayL -> Ptr (Raw TArrayL)
forall a. FPtr a => a -> Ptr (Raw a)
get_fptr TArrayL
x))
        uncast :: forall r. Ptr RawTArrayL -> (TArrayL -> IO r) -> IO r
uncast Ptr RawTArrayL
x TArrayL -> IO r
f = TArrayL -> IO r
f (Ptr (Raw TArrayL) -> TArrayL
forall a. FPtr a => Ptr (Raw a) -> a
cast_fptr_to_obj (Ptr RawTArrayL -> Ptr RawTArrayL
forall a b. Ptr a -> Ptr b
castPtr Ptr RawTArrayL
x))