Overview  Index  Help 
Standard ML Basis Library

VectorSlice


structure VectorSlice :> VECTOR_SLICE =
struct
  datatype 'a slice = SL of {base : 'a Vector.vector, start : int, stop : int}
  val --
  val ++
  val usub
  val vlength
  val length : 'a slice -> int
  val sub : 'a slice * int -> 'a
  val full : 'a Vector.vector -> 'a slice
  val slice : 'a Vector.vector * int * int option -> 'a slice
  val subslice : 'a slice * int * int option -> 'a slice
  val base : 'a slice -> 'a Vector.vector * int * int
  val vector : 'a slice -> 'a Vector.vector
  val isEmpty : 'a slice -> bool
  val getItem : 'a slice -> ('a * 'a sliceoption
  val appi : (int * 'a -> unit) -> 'a slice -> unit
  val app : ('a -> unit) -> 'a slice -> unit
  val foldli : (int * 'a * 'b -> 'b) -> 'b -> 'a slice -> 'b
  val foldl : ('a * 'b -> 'b) -> 'b -> 'a slice -> 'b
  val foldri : (int * 'a * 'b -> 'b) -> 'b -> 'a slice -> 'b
  val foldr : ('a * 'b -> 'b) -> 'b -> 'a slice -> 'b
  val concat : 'a slice list -> 'a Vector.vector
  val mapi : (int * 'a -> 'b) -> 'a slice -> 'b Vector.vector
  val map : ('a -> 'b) -> 'a slice -> 'b Vector.vector
  val findi : (int * 'a -> bool) -> 'a slice -> (int * 'a) option
  val find : ('a -> bool) -> 'a slice -> 'a option
  val exists : ('a -> bool) -> 'a slice -> bool
  val all : ('a -> bool) -> 'a slice -> bool
  val collate : ('a * 'a -> order) -> 'a slice * 'a slice -> order
end

   
Datatype detail

slice

datatype 'a slice = SL of {base : 'a Vector.vector, start : int, stop : int}

 
DataConstructor detail

SL

constructor SL : {base : 'a Vector.vector, start : int, stop : int} -> 'a slice

 
Value detail

--

val --


++

val ++


usub

val usub


vlength

val vlength


length

val length : 'a slice -> int


sub

val sub : 'a slice * int -> 'a


full

val full : 'a Vector.vector -> 'a slice


slice

val slice : 'a Vector.vector * int * int option -> 'a slice


subslice

val subslice : 'a slice * int * int option -> 'a slice


base

val base : 'a slice -> 'a Vector.vector * int * int


vector

val vector : 'a slice -> 'a Vector.vector


isEmpty

val isEmpty : 'a slice -> bool


getItem

val getItem : 'a slice -> ('a * 'a sliceoption


appi

val appi : (int * 'a -> unit) -> 'a slice -> unit


app

val app : ('a -> unit) -> 'a slice -> unit


foldli

val foldli : (int * 'a * 'b -> 'b) -> 'b -> 'a slice -> 'b


foldl

val foldl : ('a * 'b -> 'b) -> 'b -> 'a slice -> 'b


foldri

val foldri : (int * 'a * 'b -> 'b) -> 'b -> 'a slice -> 'b


foldr

val foldr : ('a * 'b -> 'b) -> 'b -> 'a slice -> 'b


concat

val concat : 'a slice list -> 'a Vector.vector


mapi

val mapi : (int * 'a -> 'b) -> 'a slice -> 'b Vector.vector


map

val map : ('a -> 'b) -> 'a slice -> 'b Vector.vector


findi

val findi : (int * 'a -> bool) -> 'a slice -> (int * 'a) option


find

val find : ('a -> bool) -> 'a slice -> 'a option


exists

val exists : ('a -> bool) -> 'a slice -> bool


all

val all : ('a -> bool) -> 'a slice -> bool


collate

val collate : ('a * 'a -> order) -> 'a slice * 'a slice -> order

 


Overview  Index  Help 
Standard ML Basis Library

This document may be distributed freely over the internet as long as the copyright notice and license terms below are prominently displayed within every machine-readable copy.

Copyright © 2003 AT&T and Lucent Technologies. All rights reserved.

Permission is granted for internet users to make one paper copy for their own personal use. Further hardcopy reproduction is strictly prohibited. Permission to distribute the HTML document electronically on any medium other than the internet must be requested from the copyright holders by contacting the editors. Printed versions of the SML Basis Manual are available from Cambridge University Press. To order, please visit www.cup.org (North America) or www.cup.cam.ac.uk (outside North America).