Simulation.Aivika.Trans.DoubleLinkedList

Tested with: GHC 8.0.1

An imperative double-linked list.

Documentation

data DoubleLinkedList m a

The DoubleLinkedList type represents an imperative double-linked list.

listNull :: MonadRef m => DoubleLinkedList m a -> Event m Bool

Test whether the list is empty.

listCount :: MonadRef m => DoubleLinkedList m a -> Event m Int

Return the number of elements in the list.

newList :: MonadRef m => Simulation m (DoubleLinkedList m a)

Create a new list.

listInsertFirst :: MonadRef m => DoubleLinkedList m a -> a -> Event m ()

Insert a new element in the beginning.

listAddLast :: MonadRef m => DoubleLinkedList m a -> a -> Event m ()

Add a new element to the end.

listRemoveFirst :: MonadRef m => DoubleLinkedList m a -> Event m ()

Remove the first element.

listRemoveLast :: MonadRef m => DoubleLinkedList m a -> Event m ()

Remove the last element.

listFirst :: MonadRef m => DoubleLinkedList m a -> Event m a

Return the first element.

listLast :: MonadRef m => DoubleLinkedList m a -> Event m a

Return the last element.