type/name - Maple Programming Help

Home : Support : Online Help : Programming : Data Types : Type Checking : Types : type/name

type/name

check for an object of type name

 Calling Sequence type(x, name) type(x, name(t))

Parameters

 x - expression t - type

Description

 • The call type(x, 'name') checks if x is of type name. It returns true if x is of type name. Otherwise, it returns false.
 • An object is of type name if it is a symbol, or if it is of type indexed and its root is of type name (that is, it is a recursive type).
 • If the parameter t is included, it checks that x is assigned something of that type.

Supertypes

 •

Examples

 > $\mathrm{type}\left(1,'\mathrm{name}'\right)$
 ${\mathrm{false}}$ (1)
 > $\mathrm{type}\left(\frac{1}{2},'\mathrm{name}'\right)$
 ${\mathrm{false}}$ (2)
 > $\mathrm{type}\left(0.5,'\mathrm{name}'\right)$
 ${\mathrm{false}}$ (3)
 > $\mathrm{type}\left("String",'\mathrm{name}'\right)$
 ${\mathrm{false}}$ (4)
 > $\mathrm{type}\left(\mathrm{Name},'\mathrm{name}'\right)$
 ${\mathrm{true}}$ (5)
 > $\mathrm{type}\left(a\left[b\right],'\mathrm{name}'\right)$
 ${\mathrm{true}}$ (6)
 > $\mathrm{type}\left(\frac{a}{b},'\mathrm{name}'\right)$
 ${\mathrm{false}}$ (7)
 > $\mathrm{type}\left(a,'\mathrm{name}\left(\mathrm{integer}\right)'\right)$
 ${\mathrm{false}}$ (8)
 > $a≔3$
 ${a}{≔}{3}$ (9)
 > $\mathrm{type}\left('a','\mathrm{name}\left(\mathrm{integer}\right)'\right)$
 ${\mathrm{true}}$ (10)