@@ -3,26 +3,52 @@ module Data.IORef
33export
44data IORef a = MkIORef a
55
6+public export
7+interface HasReference (ffi : FFI) where
8+ newIORef' : a -> IO' ffi (IORef a)
9+ readIORef' : IORef a -> IO' ffi a
10+ writeIORef' : IORef a -> a -> IO' ffi ()
11+
612export
7−newIORef : a -> IO (IORef a)
8−newIORef val
13+modifyIORef': HasReference ffi => IORef a -> (a -> a) -> IO' ffi ()
14+modifyIORef' ref fn =
15+ do
16+ val <- readIORef' ref
17+ writeIORef' ref (fn val)
18+
19+export
20+implementation HasReference FFI_C where
21+ newIORef' val
922 = do MkRaw ref <- foreign FFI_C "idris_newRef" (Raw a -> IO (Raw a)) (MkRaw val)
1023 pure (MkIORef ref)
24+ readIORef' (MkIORef ref)
25+ = do MkRaw val <- foreign FFI_C "idris_readRef" (Raw a -> IO (Raw a)) (MkRaw ref)
26+ pure val
27+ writeIORef' (MkIORef ref) val
28+ = foreign FFI_C "idris_writeRef" (Raw a -> Raw a -> IO ())
29+ (MkRaw ref) (MkRaw val)
30+
31+export
32+implementation HasReference FFI_JS where
33+ newIORef' val =
34+ (MkIORef . believe_me) <$> foreign FFI_JS "{val: %0}" (Ptr -> JS_IO Ptr) (believe_me val)
35+ readIORef' (MkIORef ref) =
36+ believe_me <$> foreign FFI_JS "%0.val" (Ptr -> JS_IO Ptr) (believe_me ref)
37+ writeIORef' (MkIORef ref) val =
38+ foreign FFI_JS "%0.val = %1" (Ptr -> Ptr -> JS_IO ()) (believe_me ref) (believe_me val)
39+
40+export
41+newIORef : a -> IO (IORef a)
42+newIORef = newIORef'
1143
1244export
1345readIORef : IORef a -> IO a
14−readIORef (MkIORef ref)
15− = do MkRaw val <- foreign FFI_C "idris_readRef" (Raw a -> IO (Raw a)) (MkRaw ref)
16− pure val
46+readIORef = readIORef'
1747
1848export
1949writeIORef : IORef a -> a -> IO ()
20−writeIORef (MkIORef old) val
21− = foreign FFI_C "idris_writeRef" (Raw a -> Raw a -> IO ())
22− (MkRaw old) (MkRaw val)
50+writeIORef = writeIORef'
2351
2452export
2553modifyIORef : IORef a -> (a -> a) -> IO ()
26−modifyIORef ref fn
27− = do val <- readIORef ref
28− writeIORef ref (fn val)
54+modifyIORef = modifyIORef'