FFICXX.Runtime.Cast

Documentation

class IsRawType a

class Castable a b where

Methods

cast :: a -> b

uncast :: b -> a

Instances

Castable Double CDouble

Castable Int CInt

Castable Word CUInt

Castable Word8 CChar

Castable String CString

Castable () ()

Castable CInt CInt

Castable CUInt CUInt

Castable CLong CLong

Castable CULong CULong

Castable CDouble CDouble

Castable [Double] (Ptr CDouble)

Castable [Int] (Ptr CInt)

Castable [String] (Ptr CString)

Castable (Ptr CString) (Ptr CString)

Castable (Ptr CChar) (Ptr CChar)

Castable (Ptr CInt) (Ptr CInt)

Castable (Ptr CUInt) (Ptr CUInt)

Castable (Ptr CLong) (Ptr CLong)

Castable (Ptr CULong) (Ptr CULong)

Castable (Ptr CDouble) (Ptr CDouble)

(Castable a a', Castable b b') => Castable (a -> b) (a' -> b')

class FPtr a where

Associated Types

type Raw a :: *

Methods

get_fptr :: a -> ForeignPtr (Raw a)

cast_fptr_to_obj :: ForeignPtr (Raw a) -> a

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 Existable a

Associated Types

data Exist a :: *

data BottomType

class GADTTypeable a

Associated Types

data GADTType a :: * -> *

data EGADTType a :: *

class IsCType a

Instances

IsCType CString

IsCType CChar

IsCType CInt

IsCType CUInt

IsCType CLong

IsCType CULong

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