IndexedString mnΒΆ

string.spad line 242

This domain implements low-level strings

=: (%, %) -> Boolean
from BasicType
~=: (%, %) -> Boolean
from BasicType
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
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: () -> %
from Aggregate
empty?: % -> Boolean
from Aggregate
entries: % -> List Character
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
find: (Character -> Boolean, %) -> Union(Character, failed)
from Collection Character
first: % -> Character
from IndexedAggregate(Integer, Character)
hash: % -> SingleInteger
from SetCategory
hashUpdate!: (HashState, %) -> HashState
from SetCategory
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: (%, CharacterClass) -> %
from StringAggregate
less?: (%, NonNegativeInteger) -> Boolean
from Aggregate
lowerCase!: % -> %
from StringAggregate
lowerCase: % -> %
from StringAggregate
map: ((Character, Character) -> Character, %, %) -> %
from LinearAggregate Character
map: (Character -> Character, %) -> %
from HomogeneousAggregate Character
match?: (%, %, Character) -> Boolean
from StringAggregate
maxIndex: % -> Integer
from IndexedAggregate(Integer, Character)
minIndex: % -> Integer
from IndexedAggregate(Integer, Character)
more?: (%, NonNegativeInteger) -> Boolean
from Aggregate
new: (NonNegativeInteger, Character) -> %
from LinearAggregate Character
position: (%, %, Integer) -> Integer
from StringAggregate
position: (CharacterClass, %, Integer) -> Integer
from StringAggregate
prefix?: (%, %) -> Boolean
from StringAggregate
qelt: (%, Integer) -> Character
from EltableAggregate(Integer, Character)
replace: (%, UniversalSegment Integer, %) -> %
from StringAggregate
rightTrim: (%, CharacterClass) -> %
from StringAggregate
sample: %
from Aggregate
size?: (%, NonNegativeInteger) -> Boolean
from Aggregate
split: (%, Character) -> List %
from StringAggregate
split: (%, CharacterClass) -> List %
from StringAggregate
substring?: (%, %, Integer) -> Boolean
from StringAggregate
suffix?: (%, %) -> Boolean
from StringAggregate
trim: (%, CharacterClass) -> %
from StringAggregate
upperCase!: % -> %
from StringAggregate
upperCase: % -> %
from StringAggregate

Aggregate

BasicType

CoercibleTo OutputForm

Collection Character

ConvertibleTo InputForm

Eltable(Integer, Character)

Eltable(UniversalSegment Integer, %)

EltableAggregate(Integer, Character)

Evalable Character if Character has Evalable Character

finiteAggregate

FiniteLinearAggregate Character

HomogeneousAggregate Character

IndexedAggregate(Integer, Character)

InnerEvalable(Character, Character) if Character has Evalable Character

LinearAggregate Character

OneDimensionalArrayAggregate Character

SetCategory

shallowlyMutable

StringAggregate