Skip to content

2015 003k MONO_VECTOR_SLICE

John Reppy edited this page Jul 9, 2023 · 1 revision
signature MONO_VECTOR_SLICE

We propose two new functions for the MONO_VECTOR signature to track the changes to the VectorSlice structure.

This page is part of proposal 2015-003.


Synopsis

val toList   : slice -> elem list
val toVector : slice -> vector

Description

  • toList vec

returns the list of the elements of the vector `vec`. Will raise the `Size` exception if the resulting vector would exceed `maxLen` elements.

Discussion

The toVector function is the same as the existing vector function, but it follows the toType/fromType naming convention.

Rationale

These additions track the changes to the Vector structure.

Clone this wiki locally