diff options
Diffstat (limited to 'src/Data/Word64RangeMap.hs')
-rw-r--r-- | src/Data/Word64RangeMap.hs | 6 |
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 :: * -> *). | ||
54 | readRefArray :: Reference r m => RefArray r ma i e -> m (ma i e) | ||
52 | readRefArray (RefArray x) = readRef x | 55 | readRefArray (RefArray x) = readRef x |
56 | |||
57 | -- forall (ma :: * -> * -> *) i e (r :: * -> *) (m :: * -> *). | ||
58 | writeRefArray :: Reference r m => RefArray r ma i e -> ma i e -> m () | ||
53 | writeRefArray (RefArray x) y = writeRef x y | 59 | writeRefArray (RefArray x) y = writeRef x y |
54 | 60 | ||
55 | {- | 61 | {- |