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

~=: (%, %) -> Boolean

from BasicType

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

from HomogeneousAggregate Character

coerce: % -> OutputForm

from CoercibleTo OutputForm

coerce: Character -> %

from StringAggregate

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 -> Boolean, %) -> NonNegativeInteger

from HomogeneousAggregate Character

count: (Character, %) -> NonNegativeInteger

from HomogeneousAggregate Character

delete: (%, Integer) -> %

from LinearAggregate Character

delete: (%, UniversalSegment Integer) -> %

from LinearAggregate Character

elt: (%, %) -> %

from StringAggregate

elt: (%, Integer) -> Character

from Eltable(Integer, Character)

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

from EltableAggregate(Integer, Character)

elt: (%, UniversalSegment Integer) -> %

from Eltable(UniversalSegment Integer, %)

empty?: % -> Boolean

from Aggregate

empty: () -> %

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?: (Character -> Boolean, %) -> Boolean

from HomogeneousAggregate Character

fill!: (%, Character) -> %

from IndexedAggregate(Integer, Character)

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

from Collection Character

first: % -> Character

from IndexedAggregate(Integer, Character)

first: (%, NonNegativeInteger) -> %

from LinearAggregate 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!: (Character -> Character, %) -> %

from HomogeneousAggregate Character

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

from LinearAggregate Character

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

from HomogeneousAggregate Character

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

from StringAggregate

max: % -> Character

from HomogeneousAggregate Character

max: (%, %) -> %

from OrderedSet

max: ((Character, Character) -> Boolean, %) -> 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: ((Character, Character) -> Boolean, %, %) -> %

from LinearAggregate Character

min: % -> Character

from HomogeneousAggregate Character

min: (%, %) -> %

from OrderedSet

minIndex: % -> Integer

from IndexedAggregate(Integer, Character)

more?: (%, NonNegativeInteger) -> Boolean

from Aggregate

new: (NonNegativeInteger, Character) -> %

from LinearAggregate Character

OMwrite: % -> String

from OpenMath

OMwrite: (%, Boolean) -> String

from OpenMath

OMwrite: (OpenMathDevice, %) -> Void

from OpenMath

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

from OpenMath

parts: % -> List Character

from HomogeneousAggregate Character

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

from StringAggregate

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

from LinearAggregate Character

position: (Character, %) -> Integer

from LinearAggregate Character

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

from LinearAggregate Character

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

from StringAggregate

prefix?: (%, %) -> Boolean

from StringAggregate

qelt: (%, Integer) -> Character

from EltableAggregate(Integer, Character)

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

from EltableAggregate(Integer, Character)

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

from Collection Character

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

from Collection Character

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

from Collection Character

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

from Collection Character

remove: (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: (Character -> Boolean, %) -> %

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!: ((Character, Character) -> Boolean, %) -> %

from LinearAggregate Character

sort: % -> %

from LinearAggregate Character

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

from LinearAggregate Character

sorted?: % -> Boolean

from LinearAggregate Character

sorted?: ((Character, Character) -> Boolean, %) -> 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

Aggregate

BasicType

CoercibleTo OutputForm

Collection Character

Comparable

ConvertibleTo InputForm

Eltable(Integer, Character)

Eltable(UniversalSegment Integer, %)

EltableAggregate(Integer, Character)

Evalable Character if Character has Evalable Character

finiteAggregate

FiniteLinearAggregate Character

Hashable

HomogeneousAggregate Character

IndexedAggregate(Integer, Character)

InnerEvalable(Character, Character) if Character has Evalable Character

LinearAggregate Character

OneDimensionalArrayAggregate Character

OpenMath

OrderedSet

PartialOrder

SetCategory

shallowlyMutable

StringAggregate

StringCategory