StringCategory

string.spad line 447 [edit on github]

A category for string-like objects

# : % -> 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 -> %

string(i) returns the decimal representation of i as a string.

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

upperCase : % -> %

from StringAggregate

upperCase! : % -> %

from StringAggregate

~= : (%, %) -> Boolean

from BasicType

Comparable

ConvertibleTo(InputForm)

StringAggregate

Aggregate

OpenMath

EltableAggregate(Integer, Character)

PartialOrder

OrderedSet

OneDimensionalArrayAggregate(Character)

Evalable(Character)

Eltable(Integer, Character)

LinearAggregate(Character)

SetCategory

Collection(Character)

InnerEvalable(Character, Character)

IndexedAggregate(Integer, Character)

CoercibleTo(OutputForm)

Eltable(UniversalSegment(Integer), %)

shallowlyMutable

HomogeneousAggregate(Character)

FiniteLinearAggregate(Character)

finiteAggregate

Hashable

BasicType