summaryrefslogtreecommitdiff
path: root/src/Data
diff options
context:
space:
mode:
authorJames Crayne <jim.crayne@gmail.com>2018-05-28 19:21:31 +0000
committerJames Crayne <jim.crayne@gmail.com>2018-05-28 19:21:31 +0000
commit714f05030737b1df78a67ba694ab33fd605d55ed (patch)
tree5852fdf87d74a6c44dc6c53b8be4b571085a4b19 /src/Data
parent451a6eeec18b80f06378acba82e2b2dc56275188 (diff)
add missing top-level type signatures
Diffstat (limited to 'src/Data')
-rw-r--r--src/Data/Word64RangeMap.hs6
1 files changed, 6 insertions, 0 deletions
diff --git a/src/Data/Word64RangeMap.hs b/src/Data/Word64RangeMap.hs
index c754c226..36428233 100644
--- a/src/Data/Word64RangeMap.hs
+++ b/src/Data/Word64RangeMap.hs
@@ -49,7 +49,13 @@ deleteArrayAt (RefArray ref) pos = do
49 newMA <- MA.newListArray (0,n-1) (esBefore ++ drop 1 esAt) 49 newMA <- MA.newListArray (0,n-1) (esBefore ++ drop 1 esAt)
50 writeRef ref newMA 50 writeRef ref newMA
51 51
52
53-- forall (ma :: * -> * -> *) i e (r :: * -> *) (m :: * -> *).
54readRefArray :: Reference r m => RefArray r ma i e -> m (ma i e)
52readRefArray (RefArray x) = readRef x 55readRefArray (RefArray x) = readRef x
56
57-- forall (ma :: * -> * -> *) i e (r :: * -> *) (m :: * -> *).
58writeRefArray :: Reference r m => RefArray r ma i e -> ma i e -> m ()
53writeRefArray (RefArray x) y = writeRef x y 59writeRefArray (RefArray x) y = writeRef x y
54 60
55{- 61{-