equal
deleted
inserted
replaced
21 import Data.IORef |
21 import Data.IORef |
22 import Control.Monad |
22 import Control.Monad |
23 |
23 |
24 |
24 |
25 newtype ElemIndex = ElemIndex Int |
25 newtype ElemIndex = ElemIndex Int |
26 deriving (Eq) |
26 deriving (Eq, Show, Read) |
27 newtype MStore e = MStore (IORef (IntSet.IntSet, IntSet.IntSet, IOA.IOArray Int e)) |
27 newtype MStore e = MStore (IORef (IntSet.IntSet, IntSet.IntSet, IOA.IOArray Int e)) |
28 newtype IStore e = IStore (IntSet.IntSet, IA.Array Int e) |
28 newtype IStore e = IStore (IntSet.IntSet, IA.Array Int e) |
29 |
29 |
30 instance Show ElemIndex where |
|
31 show (ElemIndex i) = 'i' : show i |
|
32 |
30 |
33 firstIndex :: ElemIndex |
31 firstIndex :: ElemIndex |
34 firstIndex = ElemIndex 0 |
32 firstIndex = ElemIndex 0 |
35 |
33 |
36 -- MStore code |
34 -- MStore code |