Data.Algebra.Array

data Update value

An update algebra for incremental modification.

Constructors

• Empty
• Pop
• Shift
• DeleteAt Int
• Move Int Int
• InsertAt Int value
• Push value
• Swap Int Int
• Unshift value

Instances

• (Eq value) => Eq (Update value)
• Generic (Update value) _
• (Ord value) => Ord (Update value)
• Functor Update
• (Show value) => Show (Update value)

filter :: forall anything value. (value -> Boolean) -> Array value -> Array (Update anything)

Given an array and a predicate, produce the set of DeleteAt operations to filter the array.

sortBy :: forall anything value. (value -> value -> Ordering) -> Array value -> Array (Update anything)

Given an array, and a comparison function, produce the set of incremental operations required to sort the array.

sortWith :: forall anything orderer value. Ord orderer => (value -> orderer) -> Array value -> Array (Update anything)

Given an array, and an Ord-type-yielding function, produce the array of incremental operations required to sort the array using that function.

sort :: forall anything value. Ord value => Array value -> Array (Update anything)

Given an array of orderable elements, produce the array of incremental operations to sort them.

interpret :: forall value. Array value -> Array (Update value) -> Maybe (Array value)

Perform a set of incremental updates on an array, maybe returning a result.