Data.Incremental.Sequence

Type

data Seq a :: * -> *

General-purpose finite sequences.

Instances

Alternative Seq

Monad Seq

Functor Seq

MonadPlus Seq

Applicative Seq

Foldable Seq

Traversable Seq

Eq a => Eq (Seq a)

Data a => Data (Seq a)

Ord a => Ord (Seq a)

Read a => Read (Seq a)

Show a => Show (Seq a)

Monoid (Seq a)

NFData a => NFData (Seq a)

Changeable a => Changeable (Seq a)

Typeable (* -> *) Seq

type DefaultChange (Seq a) = MultiChange (AtomicChange a)

Changes

insert :: Int -> Seq a -> DefaultChange (Seq a)

delete :: Int -> Int -> DefaultChange (Seq a)

shift :: Int -> Int -> Int -> DefaultChange (Seq a)

changeAt :: Int -> DefaultChange a -> DefaultChange (Seq a)

Atomic changes

data AtomicChange a

Constructors

Insert !Int (Seq a)

Delete !Int !Int

Shift !Int !Int !Int

ChangeAt !Int (DefaultChange a)

Instances

Changeable a => Change (AtomicChange a)

Typeable (* -> *) AtomicChange

type Value (AtomicChange a) = Seq a

normalizeAtomicChange :: Int -> AtomicChange a -> AtomicChange a

Transformations

singleton :: Changeable a => a ->> Seq a

fromPair :: Changeable a => (a, a) ->> Seq a

cat :: Changeable a => (Seq a, Seq a) ->> Seq a

null :: Changeable a => Seq a ->> Bool

length :: Changeable a => Seq a ->> Int

map :: (Changeable a, Changeable b) => (a ->> b) -> Seq a ->> Seq b

map' :: (Changeable a, DefaultChange a ~ PrimitiveChange a, Changeable b, DefaultChange b ~ PrimitiveChange b) => (a -> b) -> Seq a ->> Seq b

concat :: Changeable a => Seq (Seq a) ->> Seq a

concatMap :: (Changeable a, Changeable b) => (a ->> Seq b) -> Seq a ->> Seq b

gate :: Changeable a => (a ->> Bool) -> a ->> Seq a

gate' :: (Changeable a, DefaultChange a ~ PrimitiveChange a) => (a -> Bool) -> a ->> Seq a

filter :: Changeable a => (a ->> Bool) -> Seq a ->> Seq a

filter' :: (Changeable a, DefaultChange a ~ PrimitiveChange a) => (a -> Bool) -> Seq a ->> Seq a

reverse :: Changeable a => Seq a ->> Seq a

sort :: (Ord a, Changeable a) => Seq a ->> Seq a

sortBy :: Changeable a => (a -> a -> Ordering) -> Seq a ->> Seq a