Myrddin: Slice Manipulation

Summary: Slice Manipulation

pkg std =
        generic sleq    : (a : @a[:], b : @a[:] -> bool)
        generic slcp        : (dst : @a[:], src : @a[:] -> void)
        generic slput   : (sl : @a[:], idx : size, elt : @a -> @a[:])
        generic slpush  : (sl : @a[:], elt : @a -> @a[:])
        generic slpop   : (sl : @a[:] -> (@a, @a[:]))
        generic sldup       : (sl : @a[:] -> @a[:])
        generic slfill  : (sl : @a[:], v : @a   -> @a[:])
        generic sljoin  : (dst : @a[:]#, src : @a[:]    -> @a[:])
;;

Functions

generic sleq    : (a : @a[:], b : @a[:] -> bool)

Compares if two slices are equal, elementwise. Uses the '==' operator for each value. Returns true if they are equal, false otherwise.

generic slcp    : (dst : @a[:], src : @a[:] -> void)

Copies all the elements from src to dst. The copy made is shallow, and done using the = operator. The two slices must be equal size. If they are not equal, this will cause the program to abort.

generic slput   : (sl : @a[:], idx : size, elt : @a -> @a[:])

Inserts a value elt into the slice sl at index idx, moving all values from sl[idx:len] to sl[idx+1:len+1]. This assumes that the slice is either empty, or is allocated on the heap using slalloc.

This may move the slice, invalidating the original input argument.

generic slpush  : (sl : @a[:], elt : @a -> @a[:])

Inserts a value elt into the slice sl at index the end of the slice.

This may move the slice, invalidating the original input argument.

generic slpop   : (sl : @a[:] -> (@a, @a[:]))

Removes an element from the end of the slice, returning the element and the new, truncated slice.

This may move the slice, invalidating the original input argument.

generic sldup   : (sl : @a[:] -> @a[:])

Duplicates a slice. This function is equivalent to calling slalloc() followed by slcp().

generic slfill  : (sl : @a[:], v : @a   -> @a[:])

Fills a slice with a value.

generic sljoin  : (dst : @a[:]#, src : @a[:]    -> @a[:])

Concatenates src onto the end of dst#. Equivalent to iterating through every element of src and slpush()ing it onto dst.