Any

any.spad line 40 [edit on github]

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.

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