Safe Haskell | None |
---|

Unsafe operations on NatArray. NOT for end-user applications.

# Documentation

data NatArray s a

An array of bit-fields with a monotonic OR operation. This can be used to model a set of Ints by setting the vector entries to zero or one, but it can also model other finite lattices for each index. newtype NatArray s a = NatArray (LVar s (M.IOVector a) (Int,a))