TypeTools - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Programming : Data Types : Type Checking : TypeTools : TypeTools/Exists

TypeTools

  

Exists

  

check whether a type exists in the TypeTools database

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

Exists(typename)

Parameters

typename

-

symbol; name of the type

Description

• 

The Exists command returns true if a type is associated with the name typename via the TypeTools package, and false otherwise.

• 

Note that the Exists command does not check whether a name is the name of a valid type, since built-in types and types created by assigning to the name type/typename are not recognized.

• 

To determine whether a name is the name of a valid type, use type( typename, 'type' ).

Examples

TypeTools[AddType]'tff','identicaltrue,identicalfalse,identicalFAIL'

TypeTools[Exists]'tff'

true

(1)

TypeTools[Exists]'no_such_type__'

false

(2)

TypeTools[Exists]'integer'

false

(3)

type'integer','type'

true

(4)

See Also

type

type[structured]

TypeTools

TypeTools[AddType]

TypeTools[GetTypes]

 


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam