FFICXX.Runtime.Cast

Documentation

class IsRawType a

class Castable a b where

Minimal complete definition

cast, uncast

Methods

cast :: a -> (b -> IO r) -> IO r

uncast :: b -> (a -> IO r) -> IO r

Instances

Castable Double CDouble

Defined in FFICXX.Runtime.Cast

Methods

cast :: Double -> (CDouble -> IO r) -> IO r

uncast :: CDouble -> (Double -> IO r) -> IO r

Castable Int CInt

Defined in FFICXX.Runtime.Cast

Methods

cast :: Int -> (CInt -> IO r) -> IO r

uncast :: CInt -> (Int -> IO r) -> IO r

Castable Word CUInt

Defined in FFICXX.Runtime.Cast

Methods

cast :: Word -> (CUInt -> IO r) -> IO r

uncast :: CUInt -> (Word -> IO r) -> IO r

Castable Word8 CChar

Defined in FFICXX.Runtime.Cast

Methods

cast :: Word8 -> (CChar -> IO r) -> IO r

uncast :: CChar -> (Word8 -> IO r) -> IO r

Castable () ()

Defined in FFICXX.Runtime.Cast

Methods

cast :: () -> (() -> IO r) -> IO r

uncast :: () -> (() -> IO r) -> IO r

Castable CInt CInt

Defined in FFICXX.Runtime.Cast

Methods

cast :: CInt -> (CInt -> IO r) -> IO r

uncast :: CInt -> (CInt -> IO r) -> IO r

Castable CUInt CUInt

Defined in FFICXX.Runtime.Cast

Methods

cast :: CUInt -> (CUInt -> IO r) -> IO r

uncast :: CUInt -> (CUInt -> IO r) -> IO r

Castable CLong CLong

Defined in FFICXX.Runtime.Cast

Methods

cast :: CLong -> (CLong -> IO r) -> IO r

uncast :: CLong -> (CLong -> IO r) -> IO r

Castable CULong CULong

Defined in FFICXX.Runtime.Cast

Methods

cast :: CULong -> (CULong -> IO r) -> IO r

uncast :: CULong -> (CULong -> IO r) -> IO r

Castable CDouble CDouble

Defined in FFICXX.Runtime.Cast

Methods

cast :: CDouble -> (CDouble -> IO r) -> IO r

uncast :: CDouble -> (CDouble -> IO r) -> IO r

Castable ByteString CString

Defined in FFICXX.Runtime.Cast

Methods

cast :: ByteString -> (CString -> IO r) -> IO r

uncast :: CString -> (ByteString -> IO r) -> IO r

Castable [Double] (Ptr CDouble)

Defined in FFICXX.Runtime.Cast

Methods

cast :: [Double] -> (Ptr CDouble -> IO r) -> IO r

uncast :: Ptr CDouble -> ([Double] -> IO r) -> IO r

Castable [Int] (Ptr CInt)

Defined in FFICXX.Runtime.Cast

Methods

cast :: [Int] -> (Ptr CInt -> IO r) -> IO r

uncast :: Ptr CInt -> ([Int] -> IO r) -> IO r

Castable [ByteString] (Ptr CString)

Defined in FFICXX.Runtime.Cast

Methods

cast :: [ByteString] -> (Ptr CString -> IO r) -> IO r

uncast :: Ptr CString -> ([ByteString] -> IO r) -> IO r

Castable (Ptr ()) (Ptr ())

Defined in FFICXX.Runtime.Cast

Methods

cast :: Ptr () -> (Ptr () -> IO r) -> IO r

uncast :: Ptr () -> (Ptr () -> IO r) -> IO r

Castable (Ptr CString) (Ptr CString)

Defined in FFICXX.Runtime.Cast

Methods

cast :: Ptr CString -> (Ptr CString -> IO r) -> IO r

uncast :: Ptr CString -> (Ptr CString -> IO r) -> IO r

Castable (Ptr CChar) (Ptr CChar)

Defined in FFICXX.Runtime.Cast

Methods

cast :: Ptr CChar -> (Ptr CChar -> IO r) -> IO r

uncast :: Ptr CChar -> (Ptr CChar -> IO r) -> IO r

Castable (Ptr CInt) (Ptr CInt)

Defined in FFICXX.Runtime.Cast

Methods

cast :: Ptr CInt -> (Ptr CInt -> IO r) -> IO r

uncast :: Ptr CInt -> (Ptr CInt -> IO r) -> IO r

Castable (Ptr CUInt) (Ptr CUInt)

Defined in FFICXX.Runtime.Cast

Methods

cast :: Ptr CUInt -> (Ptr CUInt -> IO r) -> IO r

uncast :: Ptr CUInt -> (Ptr CUInt -> IO r) -> IO r

Castable (Ptr CLong) (Ptr CLong)

Defined in FFICXX.Runtime.Cast

Methods

cast :: Ptr CLong -> (Ptr CLong -> IO r) -> IO r

uncast :: Ptr CLong -> (Ptr CLong -> IO r) -> IO r

Castable (Ptr CULong) (Ptr CULong)

Defined in FFICXX.Runtime.Cast

Methods

cast :: Ptr CULong -> (Ptr CULong -> IO r) -> IO r

uncast :: Ptr CULong -> (Ptr CULong -> IO r) -> IO r

Castable (Ptr CDouble) (Ptr CDouble)

Defined in FFICXX.Runtime.Cast

Methods

cast :: Ptr CDouble -> (Ptr CDouble -> IO r) -> IO r

uncast :: Ptr CDouble -> (Ptr CDouble -> IO r) -> IO r

Castable (FunPtr t) (FunPtr t)

Defined in FFICXX.Runtime.Function.Template

Methods

cast :: FunPtr t -> (FunPtr t -> IO r) -> IO r

uncast :: FunPtr t -> (FunPtr t -> IO r) -> IO r

Castable (Function t) (Ptr (RawFunction t))

Defined in FFICXX.Runtime.Function.Template

Methods

cast :: Function t -> (Ptr (RawFunction t) -> IO r) -> IO r

uncast :: Ptr (RawFunction t) -> (Function t -> IO r) -> IO r

class FPtr a where

Minimal complete definition

get_fptr, cast_fptr_to_obj

Associated Types

type Raw a :: *

Methods

get_fptr :: a -> Ptr (Raw a)

cast_fptr_to_obj :: Ptr (Raw a) -> a

Instances

FPtr (Function t)

Defined in FFICXX.Runtime.Function.Template

Associated Types

type Raw (Function t) :: *

Methods

get_fptr :: Function t -> Ptr (Raw (Function t))

cast_fptr_to_obj :: Ptr (Raw (Function t)) -> Function t

class FunPtrWrappable a where

Minimal complete definition

fptrWrap, wrap

Associated Types

type FunPtrHsType a :: *

type FunPtrType a :: *

data FunPtrWrapped a :: *

Methods

fptrWrap :: FunPtrWrapped a -> IO (FunPtr (FunPtrType a))

wrap :: FunPtrHsType a -> FunPtrWrapped a

class IsCType a

Instances

IsCType CString

Defined in FFICXX.Runtime.Cast

IsCType CChar

Defined in FFICXX.Runtime.Cast

IsCType CInt

Defined in FFICXX.Runtime.Cast

IsCType CUInt

Defined in FFICXX.Runtime.Cast

IsCType CLong

Defined in FFICXX.Runtime.Cast

IsCType CULong

Defined in FFICXX.Runtime.Cast

xformnull :: Castable a ca => IO ca -> IO a

xform0 :: (Castable a ca, Castable y cy) => (ca -> IO cy) -> a -> IO y

xform1 :: (Castable a ca, Castable x1 cx1, Castable y cy) => (ca -> cx1 -> IO cy) -> a -> x1 -> IO y

xform2 :: (Castable a ca, Castable x1 cx1, Castable x2 cx2, Castable y cy) => (ca -> cx1 -> cx2 -> IO cy) -> a -> x1 -> x2 -> IO y

xform3 :: (Castable a ca, Castable x1 cx1, Castable x2 cx2, Castable x3 cx3, Castable y cy) => (ca -> cx1 -> cx2 -> cx3 -> IO cy) -> a -> x1 -> x2 -> x3 -> IO y

xform4 :: (Castable a ca, Castable x1 cx1, Castable x2 cx2, Castable x3 cx3, Castable x4 cx4, Castable y cy) => (ca -> cx1 -> cx2 -> cx3 -> cx4 -> IO cy) -> a -> x1 -> x2 -> x3 -> x4 -> IO y

xform5 :: (Castable a ca, Castable x1 cx1, Castable x2 cx2, Castable x3 cx3, Castable x4 cx4, Castable x5 cx5, Castable y cy) => (ca -> cx1 -> cx2 -> cx3 -> cx4 -> cx5 -> IO cy) -> a -> x1 -> x2 -> x3 -> x4 -> x5 -> IO y

xform6 :: (Castable a ca, Castable x1 cx1, Castable x2 cx2, Castable x3 cx3, Castable x4 cx4, Castable x5 cx5, Castable x6 cx6, Castable y cy) => (ca -> cx1 -> cx2 -> cx3 -> cx4 -> cx5 -> cx6 -> IO cy) -> a -> x1 -> x2 -> x3 -> x4 -> x5 -> x6 -> IO y

xform7 :: (Castable a ca, Castable x1 cx1, Castable x2 cx2, Castable x3 cx3, Castable x4 cx4, Castable x5 cx5, Castable x6 cx6, Castable x7 cx7, Castable y cy) => (ca -> cx1 -> cx2 -> cx3 -> cx4 -> cx5 -> cx6 -> cx7 -> IO cy) -> a -> x1 -> x2 -> x3 -> x4 -> x5 -> x6 -> x7 -> IO y

xform8 :: (Castable a ca, Castable x1 cx1, Castable x2 cx2, Castable x3 cx3, Castable x4 cx4, Castable x5 cx5, Castable x6 cx6, Castable x7 cx7, Castable x8 cx8, Castable y cy) => (ca -> cx1 -> cx2 -> cx3 -> cx4 -> cx5 -> cx6 -> cx7 -> cx8 -> IO cy) -> a -> x1 -> x2 -> x3 -> x4 -> x5 -> x6 -> x7 -> x8 -> IO y

xform9 :: (Castable a ca, Castable x1 cx1, Castable x2 cx2, Castable x3 cx3, Castable x4 cx4, Castable x5 cx5, Castable x6 cx6, Castable x7 cx7, Castable x8 cx8, Castable x9 cx9, Castable y cy) => (ca -> cx1 -> cx2 -> cx3 -> cx4 -> cx5 -> cx6 -> cx7 -> cx8 -> cx9 -> IO cy) -> a -> x1 -> x2 -> x3 -> x4 -> x5 -> x6 -> x7 -> x8 -> x9 -> IO y

xform10 :: (Castable a ca, Castable x1 cx1, Castable x2 cx2, Castable x3 cx3, Castable x4 cx4, Castable x5 cx5, Castable x6 cx6, Castable x7 cx7, Castable x8 cx8, Castable x9 cx9, Castable x10 cx10, Castable y cy) => (ca -> cx1 -> cx2 -> cx3 -> cx4 -> cx5 -> cx6 -> cx7 -> cx8 -> cx9 -> cx10 -> IO cy) -> a -> x1 -> x2 -> x3 -> x4 -> x5 -> x6 -> x7 -> x8 -> x9 -> x10 -> IO y

xform11 :: (Castable a ca, Castable x1 cx1, Castable x2 cx2, Castable x3 cx3, Castable x4 cx4, Castable x5 cx5, Castable x6 cx6, Castable x7 cx7, Castable x8 cx8, Castable x9 cx9, Castable x10 cx10, Castable x11 cx11, Castable y cy) => (ca -> cx1 -> cx2 -> cx3 -> cx4 -> cx5 -> cx6 -> cx7 -> cx8 -> cx9 -> cx10 -> cx11 -> IO cy) -> a -> x1 -> x2 -> x3 -> x4 -> x5 -> x6 -> x7 -> x8 -> x9 -> x10 -> x11 -> IO y