Data.Array.Unique

data UniqueArray :: Type -> Type

An array that has at most one live reference to it.

Instances

• (Clone a) => Clone (UniqueArray a)
• (Drop a) => Drop (UniqueArray a)

empty :: forall a. Unit -* (UniqueArray a)

O(1) memory. O(1) time. The empty array.

singleton :: forall a. a -* (UniqueArray a)

O(1) memory, O(1) time. A singleton array.

fromShared :: forall a. Shared a => (Array a) -* (UniqueArray a)

O(n) memory, O(n) time. Create a unique array from a shared array.

toShared :: forall a. Shared a => (UniqueArray a) -* (Array a)

O(1) memory, O(1) time. Create a shared array from a unique array.

snoc :: forall a. (Tuple (UniqueArray a) a) -* (UniqueArray a)

O(1) memory, O(1) time. Append an element to an array.

isEmpty :: forall a. (Borrow (UniqueArray a)) -* Boolean

O(1) memory, O(1) time. Return whether the array is empty.

length :: forall a. (Borrow (UniqueArray a)) -* Int

O(1) memory, O(1) time. Return the length of an array.

reverse :: forall a. (UniqueArray a) -* (UniqueArray a)

O(1) memory, O(n) time. Reverse an array.