AnyΒΆ

any.spad line 40

Any implements a type that packages up objects and their types in objects of Any. Roughly speaking that means that if s : S then when converted to Any, the new object will include both the original object and its type. This is a way of converting arbitrary objects into a single type without losing any of the original information. Any object can be converted to one of Any.

=: (%, %) -> Boolean
from BasicType
~=: (%, %) -> Boolean
from BasicType
any: (SExpression, None) -> %
any(type, object) is a technical function for creating an object of Any. Argument type is a spadgloss{LISP} form for the type of object.
coerce: % -> OutputForm
from CoercibleTo OutputForm
dom: % -> SExpression
dom(a) returns a spadgloss{LISP} form of the type of the original object that was converted to Any.
domainOf: % -> OutputForm
domainOf(a) returns a printable form of the type of the original object that was converted to Any.
hash: % -> SingleInteger
from SetCategory
hashUpdate!: (HashState, %) -> HashState
from SetCategory
latex: % -> String
from SetCategory
obj: % -> None
obj(a) essentially returns the original object that was converted to Any except that the type is forced to be None.
objectOf: % -> OutputForm
objectOf(a) returns a printable form of the original object that was converted to Any.
showTypeInOutput: Boolean -> String
showTypeInOutput(bool) affects the way objects of Any are displayed. If bool is true then the type of the original object that was converted to Any will be printed. If bool is false, it will not be printed.

BasicType

CoercibleTo OutputForm

SetCategory