CharacterClass

string.spad line 109 [edit on github]

This domain allows classes of characters to be defined and manipulated efficiently.

# : % -> NonNegativeInteger

from Aggregate

< : (%, %) -> Boolean

from PartialOrder

<= : (%, %) -> Boolean

from PartialOrder

= : (%, %) -> Boolean

from BasicType

> : (%, %) -> Boolean

from PartialOrder

>= : (%, %) -> Boolean

from PartialOrder

alphabetic : () -> %

alphabetic() returns the class of all characters for which alphabetic? is true.

alphanumeric : () -> %

alphanumeric() returns the class of all characters for which alphanumeric? is true.

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

from HomogeneousAggregate(Character)

cardinality : % -> NonNegativeInteger

from FiniteSetAggregate(Character)

charClass : List(Character) -> %

charClass(l) creates a character class which contains exactly the characters given in the list l.

charClass : String -> %

charClass(s) creates a character class which contains exactly the characters given in the string s.

coerce : % -> OutputForm

from CoercibleTo(OutputForm)

complement : % -> %

from FiniteSetAggregate(Character)

construct : List(Character) -> %

from Collection(Character)

convert : % -> InputForm

from ConvertibleTo(InputForm)

convert : % -> List(Character)

from ConvertibleTo(List(Character))

convert : % -> String

from ConvertibleTo(String)

copy : % -> %

from Aggregate

count : (Character, %) -> NonNegativeInteger

from HomogeneousAggregate(Character)

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

from HomogeneousAggregate(Character)

dictionary : () -> %

from DictionaryOperations(Character)

dictionary : List(Character) -> %

from DictionaryOperations(Character)

difference : (%, %) -> %

from SetAggregate(Character)

difference : (%, Character) -> %

from SetAggregate(Character)

digit : () -> %

digit() returns the class of all characters for which digit? is true.

empty : () -> %

from Aggregate

empty? : % -> Boolean

from Aggregate

enumerate : () -> List(%)

from Finite

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)

extract! : % -> Character

from BagAggregate(Character)

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

from Collection(Character)

hash : % -> SingleInteger

from Hashable

hashUpdate! : (HashState, %) -> HashState

from Hashable

hexDigit : () -> %

hexDigit() returns the class of all characters for which hexDigit? is true.

index : PositiveInteger -> %

from Finite

insert! : (Character, %) -> %

from BagAggregate(Character)

inspect : % -> Character

from BagAggregate(Character)

intersect : (%, %) -> %

from SetAggregate(Character)

latex : % -> String

from SetCategory

less? : (%, NonNegativeInteger) -> Boolean

from Aggregate

lookup : % -> PositiveInteger

from Finite

lowerCase : () -> %

lowerCase() returns the class of all characters for which lowerCase? is true.

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

from HomogeneousAggregate(Character)

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

from HomogeneousAggregate(Character)

max : % -> Character

from HomogeneousAggregate(Character)

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

from HomogeneousAggregate(Character)

member? : (Character, %) -> Boolean

from HomogeneousAggregate(Character)

members : % -> List(Character)

from HomogeneousAggregate(Character)

min : % -> Character

from HomogeneousAggregate(Character)

more? : (%, NonNegativeInteger) -> Boolean

from Aggregate

parts : % -> List(Character)

from HomogeneousAggregate(Character)

random : () -> %

from Finite

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)

remove! : (Character, %) -> %

from DictionaryOperations(Character)

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

from DictionaryOperations(Character)

removeDuplicates : % -> %

from Collection(Character)

sample : () -> %

from Aggregate

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

from Collection(Character)

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

from DictionaryOperations(Character)

set : () -> %

from SetAggregate(Character)

set : List(Character) -> %

from SetAggregate(Character)

size : () -> NonNegativeInteger

from Finite

size? : (%, NonNegativeInteger) -> Boolean

from Aggregate

smaller? : (%, %) -> Boolean

from Comparable

subset? : (%, %) -> Boolean

from SetAggregate(Character)

symmetricDifference : (%, %) -> %

from SetAggregate(Character)

union : (%, %) -> %

from SetAggregate(Character)

union : (%, Character) -> %

from SetAggregate(Character)

union : (Character, %) -> %

from SetAggregate(Character)

universe : () -> %

from FiniteSetAggregate(Character)

upperCase : () -> %

upperCase() returns the class of all characters for which upperCase? is true.

~= : (%, %) -> Boolean

from BasicType

Comparable

ConvertibleTo(InputForm)

BagAggregate(Character)

Aggregate

Dictionary(Character)

FiniteSetAggregate(Character)

Evalable(Character)

SetCategory

Collection(Character)

InnerEvalable(Character, Character)

PartialOrder

CoercibleTo(OutputForm)

ConvertibleTo(List(Character))

SetAggregate(Character)

ConvertibleTo(String)

finiteAggregate

shallowlyMutable

Hashable

Finite

HomogeneousAggregate(Character)

BasicType

DictionaryOperations(Character)