Made do_poke private
commitb6effdb9c08146f7bdadbbbdbe0eac42e8726898
authorJan Bessai <Jan.Bessai@tu-dortmund.de>
dateFri 5 Apr 2013, 02:30 (14 years ago)
parent22d09c9
effects/Effect/Memory.idr+1
@@ -58,6 +58,7 @@ do_peek ptr offset (S n)
5858 bs <- do_peek ptr (S offset) n
5959 Prelude.Monad.return (Prelude.Vect.(::) (prim__intToB8 b) bs)
6060
61+private
6162do_poke : Ptr -> Nat -> Vect Bits8 size -> IO ()
6263do_poke _ _ [] = return ()
6364do_poke ptr offset (b::bs)