projects
/
haskell-directory.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
715c78d
)
[project @ 2003-11-06 17:34:00 by simonmar]
author
simonmar
<unknown>
Thu, 6 Nov 2003 17:34:00 +0000
(17:34 +0000)
committer
simonmar
<unknown>
Thu, 6 Nov 2003 17:34:00 +0000
(17:34 +0000)
Doc wibbles
Foreign/Storable.hs
patch
|
blob
|
history
diff --git
a/Foreign/Storable.hs
b/Foreign/Storable.hs
index
78e2d4f
..
4c56b7a
100644
(file)
--- a/
Foreign/Storable.hs
+++ b/
Foreign/Storable.hs
@@
-113,7
+113,7
@@
class Storable a where
-- @0@). The following equality holds,
--
-- > peekElemOff addr idx = IOExts.fixIO $ \result ->
-- @0@). The following equality holds,
--
-- > peekElemOff addr idx = IOExts.fixIO $ \result ->
- -- > peek (addr \`plusPtr\` (idx * sizeOf result))
+ -- > peek (addr `plusPtr` (idx * sizeOf result))
--
-- Note that this is only a specification, not
-- necessarily the concrete implementation of the
--
-- Note that this is only a specification, not
-- necessarily the concrete implementation of the
@@
-124,19
+124,19
@@
class Storable a where
-- values of the same kind. The following equality holds:
--
-- > pokeElemOff addr idx x =
-- values of the same kind. The following equality holds:
--
-- > pokeElemOff addr idx x =
- -- > poke (addr \`plusPtr\` (idx * sizeOf x)) x
+ -- > poke (addr `plusPtr` (idx * sizeOf x)) x
peekByteOff :: Ptr b -> Int -> IO a
-- ^ Read a value from a memory location given by a base
-- address and offset. The following equality holds:
--
peekByteOff :: Ptr b -> Int -> IO a
-- ^ Read a value from a memory location given by a base
-- address and offset. The following equality holds:
--
- -- > peekByteOff addr off = peek (addr \`plusPtr\` off)
+ -- > peekByteOff addr off = peek (addr `plusPtr` off)
pokeByteOff :: Ptr b -> Int -> a -> IO ()
-- ^ Write a value to a memory location given by a base
-- address and offset. The following equality holds:
--
pokeByteOff :: Ptr b -> Int -> a -> IO ()
-- ^ Write a value to a memory location given by a base
-- address and offset. The following equality holds:
--
- -- > pokeByteOff addr off x = poke (addr \`plusPtr\` off) x
+ -- > pokeByteOff addr off x = poke (addr `plusPtr` off) x
peek :: Ptr a -> IO a
-- ^ Read a value from the given memory location.
peek :: Ptr a -> IO a
-- ^ Read a value from the given memory location.