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.

listRemove :: (Eq a, Functor m, MonadRef m) => DoubleLinkedList m a -> a -> Event m Bool

Remove the specified element from the list and return a flag indicating whether the element was found and removed.

listRemoveBy :: MonadRef m => DoubleLinkedList m a -> (a -> Bool) -> Event m (Maybe a)

Remove an element satisfying the specified predicate and return the element if found.

listContains :: (Eq a, Functor m, MonadRef m) => DoubleLinkedList m a -> a -> Event m Bool

Detect whether the specified element is contained in the list.

listContainsBy :: MonadRef m => DoubleLinkedList m a -> (a -> Bool) -> Event m (Maybe a)

Detect whether an element satisfying the specified predicate is contained in the list.

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.

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

Clear the contents of the list.

freezeList :: MonadRef m => DoubleLinkedList m a -> Event m [a]

Freeze the list and return its contents.