ats-storable-0.2.1.0: Marshal ATS types into Haskell
Foreign.Storable.ATS
Contents
class ATSStorable a where Source #
Methods
readPtr :: Storable a => Ptr a -> IO a Source #
writePtr :: Storable a => a -> IO (Ptr a) Source #
class AsCString a where Source #
Minimal complete definition
toCString
toCString :: a -> IO CString Source #
Instances
toCString :: String -> IO CString Source #
toCString :: ByteString -> IO CString Source #
toCString :: Text -> IO CString Source #
class Indexed a where Source #
index :: a -> Word8 Source #
index :: Data a => a -> Word8 Source #
gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CChar -> c CChar #
gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CChar #
toConstr :: CChar -> Constr #
dataTypeOf :: CChar -> DataType #
dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c CChar) #
dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CChar) #
gmapT :: (forall b. Data b => b -> b) -> CChar -> CChar #
gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CChar -> r #
gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CChar -> r #
gmapQ :: (forall d. Data d => d -> u) -> CChar -> [u] #
gmapQi :: Int -> (forall d. Data d => d -> u) -> CChar -> u #
gmapM :: Monad m => (forall d. Data d => d -> m d) -> CChar -> m CChar #
gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CChar -> m CChar #
gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CChar -> m CChar #
gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CInt -> c CInt #
gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CInt #
toConstr :: CInt -> Constr #
dataTypeOf :: CInt -> DataType #
dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c CInt) #
dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CInt) #
gmapT :: (forall b. Data b => b -> b) -> CInt -> CInt #
gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CInt -> r #
gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CInt -> r #
gmapQ :: (forall d. Data d => d -> u) -> CInt -> [u] #
gmapQi :: Int -> (forall d. Data d => d -> u) -> CInt -> u #
gmapM :: Monad m => (forall d. Data d => d -> m d) -> CInt -> m CInt #
gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CInt -> m CInt #
gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CInt -> m CInt #
sizeOf :: a -> Int #
alignment :: a -> Int #
peekElemOff :: Ptr a -> Int -> IO a #
pokeElemOff :: Ptr a -> Int -> a -> IO () #
peekByteOff :: Ptr b -> Int -> IO a #
pokeByteOff :: Ptr b -> Int -> a -> IO () #
peek :: Ptr a -> IO a #
poke :: Ptr a -> a -> IO () #