Overview  Index  Help 
Standard ML Basis Library

CharVector


structure CharVector : MONO_VECTOR =
struct
  structure String = StringImp
  type elem = char
  type vector = string
  val --
  val ++
  val usub
  val uupd
  val maxLen : int
  val fromList : elem list -> vector
  val tabulate : int * (int -> elem) -> vector
  val length : vector -> int
  val sub : vector * int -> elem
  val concat : vector list -> vector
  val update : vector * int * elem -> vector
  val appi : (int * elem -> unit) -> vector -> unit
  val app : (elem -> unit) -> vector -> unit
  val mapi : (int * elem -> elem) -> vector -> vector
  val map : (elem -> elem) -> vector -> vector
  val foldli : (int * elem * 'a -> 'a) -> 'a -> vector -> 'a
  val foldri : (int * elem * 'a -> 'a) -> 'a -> vector -> 'a
  val foldl : (elem * 'a -> 'a) -> 'a -> vector -> 'a
  val foldr : (elem * 'a -> 'a) -> 'a -> vector -> 'a
  val findi : (int * elem -> bool) -> vector -> (int * elemoption
  val find : (elem -> bool) -> vector -> elem option
  val exists : (elem -> bool) -> vector -> bool
  val all : (elem -> bool) -> vector -> bool
  val collate : (elem * elem -> order) -> vector * vector -> order
end

 
Type detail

elem

type elem = char


vector

type vector = string

     
Value detail

--

val --


++

val ++


usub

val usub


uupd

val uupd


maxLen

val maxLen : int


fromList

val fromList : elem list -> vector


tabulate

val tabulate : int * (int -> elem) -> vector


length

val length : vector -> int


sub

val sub : vector * int -> elem


concat

val concat : vector list -> vector


update

val update : vector * int * elem -> vector


appi

val appi : (int * elem -> unit) -> vector -> unit


app

val app : (elem -> unit) -> vector -> unit


mapi

val mapi : (int * elem -> elem) -> vector -> vector


map

val map : (elem -> elem) -> vector -> vector


foldli

val foldli : (int * elem * 'a -> 'a) -> 'a -> vector -> 'a


foldri

val foldri : (int * elem * 'a -> 'a) -> 'a -> vector -> 'a


foldl

val foldl : (elem * 'a -> 'a) -> 'a -> vector -> 'a


foldr

val foldr : (elem * 'a -> 'a) -> 'a -> vector -> 'a


findi

val findi : (int * elem -> bool) -> vector -> (int * elemoption


find

val find : (elem -> bool) -> vector -> elem option


exists

val exists : (elem -> bool) -> vector -> bool


all

val all : (elem -> bool) -> vector -> bool


collate

val collate : (elem * elem -> order) -> vector * vector -> 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).