FFICXX.Runtime.Cast

Documentation

class IsRawType a

class Castable a b where

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 Int8 Int8

Defined in FFICXX.Runtime.Cast

Methods

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

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

Castable Int8 CChar

Defined in FFICXX.Runtime.Cast

Methods

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

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

Castable Int16 Int16

Defined in FFICXX.Runtime.Cast

Methods

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

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

Castable Int16 CShort

Defined in FFICXX.Runtime.Cast

Methods

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

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

Castable Int32 Int32

Defined in FFICXX.Runtime.Cast

Methods

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

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

Castable Int64 Int64

Defined in FFICXX.Runtime.Cast

Methods

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

uncast :: Int64 -> (Int64 -> 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 Word8

Defined in FFICXX.Runtime.Cast

Methods

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

uncast :: Word8 -> (Word8 -> 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 Word16 Word16

Defined in FFICXX.Runtime.Cast

Methods

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

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

Castable Word32 Word32

Defined in FFICXX.Runtime.Cast

Methods

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

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

Castable Word64 Word64

Defined in FFICXX.Runtime.Cast

Methods

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

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

Castable () ()

Defined in FFICXX.Runtime.Cast

Methods

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

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

Castable CChar CChar

Defined in FFICXX.Runtime.Cast

Methods

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

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

Castable CSChar CSChar

Defined in FFICXX.Runtime.Cast

Methods

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

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

Castable CUChar CUChar

Defined in FFICXX.Runtime.Cast

Methods

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

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

Castable CShort CShort

Defined in FFICXX.Runtime.Cast

Methods

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

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

Castable CUShort CUShort

Defined in FFICXX.Runtime.Cast

Methods

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

uncast :: CUShort -> (CUShort -> 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 CLLong CLLong

Defined in FFICXX.Runtime.Cast

Methods

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

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

Castable CULLong CULLong

Defined in FFICXX.Runtime.Cast

Methods

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

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

Castable CBool CBool

Defined in FFICXX.Runtime.Cast

Methods

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

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

Castable CFloat CFloat

Defined in FFICXX.Runtime.Cast

Methods

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

uncast :: CFloat -> (CFloat -> 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 CPtrdiff CPtrdiff

Defined in FFICXX.Runtime.Cast

Methods

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

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

Castable CSize CSize

Defined in FFICXX.Runtime.Cast

Methods

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

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

Castable CWchar CWchar

Defined in FFICXX.Runtime.Cast

Methods

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

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

Castable CSigAtomic CSigAtomic

Defined in FFICXX.Runtime.Cast

Methods

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

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

Castable CClock CClock

Defined in FFICXX.Runtime.Cast

Methods

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

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

Castable CTime CTime

Defined in FFICXX.Runtime.Cast

Methods

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

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

Castable CUSeconds CUSeconds

Defined in FFICXX.Runtime.Cast

Methods

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

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

Castable CSUSeconds CSUSeconds

Defined in FFICXX.Runtime.Cast

Methods

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

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

Castable CFile CFile

Defined in FFICXX.Runtime.Cast

Methods

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

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

Castable CFpos CFpos

Defined in FFICXX.Runtime.Cast

Methods

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

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

Castable CJmpBuf CJmpBuf

Defined in FFICXX.Runtime.Cast

Methods

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

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

Castable CIntPtr CIntPtr

Defined in FFICXX.Runtime.Cast

Methods

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

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

Castable CUIntPtr CUIntPtr

Defined in FFICXX.Runtime.Cast

Methods

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

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

Castable CIntMax CIntMax

Defined in FFICXX.Runtime.Cast

Methods

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

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

Castable CUIntMax CUIntMax

Defined in FFICXX.Runtime.Cast

Methods

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

uncast :: CUIntMax -> (CUIntMax -> 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

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

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 Int8

Defined in FFICXX.Runtime.Cast

IsCType Int16

Defined in FFICXX.Runtime.Cast

IsCType Int32

Defined in FFICXX.Runtime.Cast

IsCType Int64

Defined in FFICXX.Runtime.Cast

IsCType Word8

Defined in FFICXX.Runtime.Cast

IsCType Word16

Defined in FFICXX.Runtime.Cast

IsCType Word32

Defined in FFICXX.Runtime.Cast

IsCType Word64

Defined in FFICXX.Runtime.Cast

IsCType CString

Defined in FFICXX.Runtime.Cast

IsCType CChar

Defined in FFICXX.Runtime.Cast

IsCType CSChar

Defined in FFICXX.Runtime.Cast

IsCType CUChar

Defined in FFICXX.Runtime.Cast

IsCType CShort

Defined in FFICXX.Runtime.Cast

IsCType CUShort

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

IsCType CLLong

Defined in FFICXX.Runtime.Cast

IsCType CULLong

Defined in FFICXX.Runtime.Cast

IsCType CBool

Defined in FFICXX.Runtime.Cast

IsCType CFloat

Defined in FFICXX.Runtime.Cast

IsCType CDouble

Defined in FFICXX.Runtime.Cast

IsCType CPtrdiff

Defined in FFICXX.Runtime.Cast

IsCType CSize

Defined in FFICXX.Runtime.Cast

IsCType CWchar

Defined in FFICXX.Runtime.Cast

IsCType CSigAtomic

Defined in FFICXX.Runtime.Cast

IsCType CClock

Defined in FFICXX.Runtime.Cast

IsCType CTime

Defined in FFICXX.Runtime.Cast

IsCType CUSeconds

Defined in FFICXX.Runtime.Cast

IsCType CSUSeconds

Defined in FFICXX.Runtime.Cast

IsCType CFile

Defined in FFICXX.Runtime.Cast

IsCType CFpos

Defined in FFICXX.Runtime.Cast

IsCType CJmpBuf

Defined in FFICXX.Runtime.Cast

IsCType CIntPtr

Defined in FFICXX.Runtime.Cast

IsCType CUIntPtr

Defined in FFICXX.Runtime.Cast

IsCType CIntMax

Defined in FFICXX.Runtime.Cast

IsCType CUIntMax

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