diff options
author | James Crayne <jim.crayne@gmail.com> | 2018-05-28 19:21:31 +0000 |
---|---|---|
committer | James Crayne <jim.crayne@gmail.com> | 2018-05-28 19:21:31 +0000 |
commit | 714f05030737b1df78a67ba694ab33fd605d55ed (patch) | |
tree | 5852fdf87d74a6c44dc6c53b8be4b571085a4b19 /src/Data | |
parent | 451a6eeec18b80f06378acba82e2b2dc56275188 (diff) |
add missing top-level type signatures
Diffstat (limited to 'src/Data')
-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 | {- |