module Compact where
import qualified Ref

type Compact = Compact#
type Block# = (# Ref.Byte, U64 #)

new :: U64 -> IO Compact
new = compactNew#
resize :: Compact -> U64 -> IO_
resize = compactResize#
elem' :: a -> Compact -> IO B
elem' a c = compactContains# c a

elemOfAny' :: a -> IO B
elemOfAny' = compactContainsAny#

-- | The address and size (in bytes) of the first block of a @Compact@
head :: Compact -> IO Block#
head c s0 = case compactGetFirstBlock# c s0 of
  (# s1, a, n #) -> (# s1, (# a, n #) #)

next :: Compact -> Ref.Byte -> IO Block#
next c a0 s0 = case compactGetNextBlock# c a0 s0 of
  (# s1, a1, n #) -> (# s1, (# a1, n #) #)

allocate :: Block# -> IO Ref.Byte
allocate (# a, n #) = compactAllocateBlock# n a

fixup :: Ref.Byte -> Ref.Byte -> IO (# Compact, Ref.Byte #)
fixup b0 root s0 = case compactFixupPointers# b0 root s0 of
  (# s1, c, b1 #) -> (# s1, (# c, b1 #) #)

insert, insertShared :: a -> Compact -> IO a
insert a c = compactAdd# c a
insertShared a c = compactAddWithSharing# c a

size :: Compact -> IO U64
size = compactSize#