String

string.spad line 409 [edit on github]

This is the domain of character strings.

# : % -> NonNegativeInteger

from Aggregate

< : (%, %) -> Boolean

from PartialOrder

<= : (%, %) -> Boolean

from PartialOrder

= : (%, %) -> Boolean

from BasicType

> : (%, %) -> Boolean

from PartialOrder

>= : (%, %) -> Boolean

from PartialOrder

OMwrite : % -> String

from OpenMath

OMwrite : (%, Boolean) -> String

from OpenMath

OMwrite : (OpenMathDevice, %) -> Void

from OpenMath

OMwrite : (OpenMathDevice, %, Boolean) -> Void

from OpenMath

any? : (Mapping(Boolean, Character), %) -> Boolean

from HomogeneousAggregate(Character)

coerce : Character -> %

from StringAggregate

coerce : % -> OutputForm

from CoercibleTo(OutputForm)

concat : (%, %) -> %

from LinearAggregate(Character)

concat : (%, Character) -> %

from LinearAggregate(Character)

concat : (Character, %) -> %

from LinearAggregate(Character)

concat : List(%) -> %

from LinearAggregate(Character)

construct : List(Character) -> %

from Collection(Character)

convert : % -> InputForm

from ConvertibleTo(InputForm)

copy : % -> %

from Aggregate

copyInto! : (%, %, Integer) -> %

from LinearAggregate(Character)

count : (Character, %) -> NonNegativeInteger

from HomogeneousAggregate(Character)

count : (Mapping(Boolean, Character), %) -> NonNegativeInteger

from HomogeneousAggregate(Character)

delete : (%, Integer) -> %

from LinearAggregate(Character)

delete : (%, UniversalSegment(Integer)) -> %

from LinearAggregate(Character)

elt : (%, %) -> %

from StringAggregate

elt : (%, UniversalSegment(Integer)) -> %

from Eltable(UniversalSegment(Integer), %)

elt : (%, Integer) -> Character

from Eltable(Integer, Character)

elt : (%, Integer, Character) -> Character

from EltableAggregate(Integer, Character)

empty : () -> %

from Aggregate

empty? : % -> Boolean

from Aggregate

entries : % -> List(Character)

from IndexedAggregate(Integer, Character)

entry? : (Character, %) -> Boolean

from IndexedAggregate(Integer, Character)

eq? : (%, %) -> Boolean

from Aggregate

eval : (%, Character, Character) -> % if Character has Evalable(Character)

from InnerEvalable(Character, Character)

eval : (%, Equation(Character)) -> % if Character has Evalable(Character)

from Evalable(Character)

eval : (%, List(Character), List(Character)) -> % if Character has Evalable(Character)

from InnerEvalable(Character, Character)

eval : (%, List(Equation(Character))) -> % if Character has Evalable(Character)

from Evalable(Character)

every? : (Mapping(Boolean, Character), %) -> Boolean

from HomogeneousAggregate(Character)

fill! : (%, Character) -> %

from IndexedAggregate(Integer, Character)

find : (Mapping(Boolean, Character), %) -> Union(Character, "failed")

from Collection(Character)

first : (%, NonNegativeInteger) -> %

from LinearAggregate(Character)

first : % -> Character

from IndexedAggregate(Integer, Character)

hash : % -> SingleInteger

from Hashable

hashUpdate! : (HashState, %) -> HashState

from Hashable

index? : (Integer, %) -> Boolean

from IndexedAggregate(Integer, Character)

indices : % -> List(Integer)

from IndexedAggregate(Integer, Character)

insert : (%, %, Integer) -> %

from LinearAggregate(Character)

insert : (Character, %, Integer) -> %

from LinearAggregate(Character)

latex : % -> String

from SetCategory

leftTrim : (%, Character) -> %

from LinearAggregate(Character)

leftTrim : (%, CharacterClass) -> %

from StringAggregate

less? : (%, NonNegativeInteger) -> Boolean

from Aggregate

lowerCase : % -> %

from StringAggregate

lowerCase! : % -> %

from StringAggregate

map : (Mapping(Character, Character), %) -> %

from HomogeneousAggregate(Character)

map : (Mapping(Character, Character, Character), %, %) -> %

from LinearAggregate(Character)

map! : (Mapping(Character, Character), %) -> %

from HomogeneousAggregate(Character)

match? : (%, %, Character) -> Boolean

from StringAggregate

max : (%, %) -> %

from OrderedSet

max : % -> Character

from HomogeneousAggregate(Character)

max : (Mapping(Boolean, Character, Character), %) -> Character

from HomogeneousAggregate(Character)

maxIndex : % -> Integer

from IndexedAggregate(Integer, Character)

member? : (Character, %) -> Boolean

from HomogeneousAggregate(Character)

members : % -> List(Character)

from HomogeneousAggregate(Character)

merge : (%, %) -> %

from LinearAggregate(Character)

merge : (Mapping(Boolean, Character, Character), %, %) -> %

from LinearAggregate(Character)

min : (%, %) -> %

from OrderedSet

min : % -> Character

from HomogeneousAggregate(Character)

minIndex : % -> Integer

from IndexedAggregate(Integer, Character)

more? : (%, NonNegativeInteger) -> Boolean

from Aggregate

new : (NonNegativeInteger, Character) -> %

from LinearAggregate(Character)

parts : % -> List(Character)

from HomogeneousAggregate(Character)

position : (%, %, Integer) -> Integer

from StringAggregate

position : (Character, %) -> Integer

from LinearAggregate(Character)

position : (Character, %, Integer) -> Integer

from LinearAggregate(Character)

position : (CharacterClass, %, Integer) -> Integer

from StringAggregate

position : (Mapping(Boolean, Character), %) -> Integer

from LinearAggregate(Character)

prefix? : (%, %) -> Boolean

from StringAggregate

qelt : (%, Integer) -> Character

from EltableAggregate(Integer, Character)

qsetelt! : (%, Integer, Character) -> Character

from EltableAggregate(Integer, Character)

reduce : (Mapping(Character, Character, Character), %) -> Character

from Collection(Character)

reduce : (Mapping(Character, Character, Character), %, Character) -> Character

from Collection(Character)

reduce : (Mapping(Character, Character, Character), %, Character, Character) -> Character

from Collection(Character)

remove : (Character, %) -> %

from Collection(Character)

remove : (Mapping(Boolean, Character), %) -> %

from Collection(Character)

removeDuplicates : % -> %

from Collection(Character)

replace : (%, UniversalSegment(Integer), %) -> %

from StringAggregate

reverse : % -> %

from LinearAggregate(Character)

reverse! : % -> %

from LinearAggregate(Character)

rightTrim : (%, Character) -> %

from LinearAggregate(Character)

rightTrim : (%, CharacterClass) -> %

from StringAggregate

sample : () -> %

from Aggregate

select : (Mapping(Boolean, Character), %) -> %

from Collection(Character)

setelt! : (%, Integer, Character) -> Character

from EltableAggregate(Integer, Character)

setelt! : (%, UniversalSegment(Integer), Character) -> Character

from LinearAggregate(Character)

size? : (%, NonNegativeInteger) -> Boolean

from Aggregate

smaller? : (%, %) -> Boolean

from Comparable

sort : % -> %

from LinearAggregate(Character)

sort : (Mapping(Boolean, Character, Character), %) -> %

from LinearAggregate(Character)

sort! : % -> %

from LinearAggregate(Character)

sort! : (Mapping(Boolean, Character, Character), %) -> %

from LinearAggregate(Character)

sorted? : % -> Boolean

from LinearAggregate(Character)

sorted? : (Mapping(Boolean, Character, Character), %) -> Boolean

from LinearAggregate(Character)

split : (%, Character) -> List(%)

from StringAggregate

split : (%, CharacterClass) -> List(%)

from StringAggregate

string : Integer -> %

from StringCategory

substring? : (%, %, Integer) -> Boolean

from StringAggregate

suffix? : (%, %) -> Boolean

from StringAggregate

swap! : (%, Integer, Integer) -> Void

from IndexedAggregate(Integer, Character)

trim : (%, Character) -> %

from LinearAggregate(Character)

trim : (%, CharacterClass) -> %

from StringAggregate

ucodeToString : Integer -> %

ucodeToString(n) converts Unicode code point to one-character string. If UTF-8 is in use the string may contain multiple octets.

uentries : % -> List(SingleInteger)

uentries(s) converts s to a list of Unicode code points encoding characters in s. It work even if lower layer does not support Unicode, in such case string is treated as sequence of octets using UTF-8 encoding. Consegently length of returened list may be smaller than length of the string in octets.

upperCase : % -> %

from StringAggregate

upperCase! : % -> %

from StringAggregate

~= : (%, %) -> Boolean

from BasicType

Comparable

ConvertibleTo(InputForm)

Aggregate

StringAggregate

OpenMath

EltableAggregate(Integer, Character)

OrderedSet

OneDimensionalArrayAggregate(Character)

BasicType

Evalable(Character)

Eltable(Integer, Character)

LinearAggregate(Character)

SetCategory

Collection(Character)

InnerEvalable(Character, Character)

IndexedAggregate(Integer, Character)

PartialOrder

CoercibleTo(OutputForm)

StringCategory

Eltable(UniversalSegment(Integer), %)

shallowlyMutable

FiniteLinearAggregate(Character)

finiteAggregate

Hashable

HomogeneousAggregate(Character)