Data.Incremental.Array

newtype IArray a

Constructors

• IArray (Array a)

Instances

• (Eq a) => Eq (IArray a)
• (Show a) => Show (IArray a)
• Newtype (IArray a) _
• (Patch a da) => Patch (IArray a) (Array (ArrayChange a da))

data ArrayChange a da

Constructors

• InsertAt Int a
• DeleteAt Int
• ModifyAt Int da

Instances

• (Eq a, Eq da) => Eq (ArrayChange a da)
• (Show a, Show da) => Show (ArrayChange a da)
• (Patch a da) => Patch (IArray a) (Array (ArrayChange a da))

insertAt :: forall da a. Patch a da => Int -> a -> Change (IArray a)

deleteAt :: forall da a. Patch a da => Int -> Change (IArray a)

modifyAt :: forall da a. Patch a da => Int -> Change a -> Change (IArray a)

length :: forall da a. Patch a da => Jet (IArray a) -> Jet (Atomic Int)

Compute the length of the array incrementally.

map :: forall db da b a. Patch a da => Patch b db => (Jet a -> Jet b) -> Jet (IArray a) -> Jet (IArray b)

Modify each array element by applying the specified function.

mapWithIndex :: forall db b da a. Patch a da => Patch b db => (Jet (Atomic Int) -> Jet a -> Jet b) -> Jet (IArray a) -> Jet (IArray b)

Modify each array element by applying the specified function, taking the index of each element into account.

Note: Insertions or removals in the middle of an array will result in a cascade of modifications to the tail of the result.

singleton :: forall da a. Patch a da => Jet a -> Jet (IArray a)

Construct an array from a single element.

static :: forall da a. Patch a da => Array (Jet a) -> Jet (IArray a)

Construct an array whose elements can change but whose length is fixed, from an array of jets.

withIndex :: forall da a. Patch a da => Jet (IArray a) -> Jet (IArray (Tuple (Atomic Int) a))

Annotate an array with the indices of its elements.

Note: Insertions or removals in the middle of an array will result in a cascade of modifications to the tail of the result.