Data.Binding.List

Documentation

module Data.Binding.Simple

data BindingList v a

Binding List

Instances

Variable v => Variable (BindingList v)

interface to the binding list's Source

Variable v => Bindable (BindingList v)

toBindingList :: Variable v => [a] -> IO (BindingList v a)

Create a binding list.

fromBindingList :: Variable v => BindingList v a -> IO [a]

Extract the data from a binding list.

length :: Variable v => BindingList v a -> IO Int

The size of a binding list.

position :: Variable v => BindingList v a -> IO Int

Get the current position.

seek :: Variable v => BindingList v a -> Int -> IO Int

Bind to a new position in a binding list. Returns the new position; this is convenient for seekBy and friends.

seekBy :: Variable v => (Int -> Int) -> BindingList v a -> IO Int

Bind to a new position in a binding list.

next :: Variable v => BindingList v a -> IO Int

Bind to the next item in a binding list.

prev :: Variable v => BindingList v a -> IO Int

Bind to the previous item in a binding list.

remove' :: [a] -> Int -> [a]

Remove an element from a list.

remove :: Variable v => BindingList v a -> IO Int

Remove the current element from the list.

insert' :: [a] -> Int -> a -> [a]

Insert an element into a list.

insert :: Variable v => BindingList v a -> a -> IO Int

Insert an element into the list. The new element is inserted after the current element. This allows appending, but precludes prepending.