Type::Product -- type for
testing sequences
IntroductionType::Product is the type of sequences of objects of
different types.
Call(s)testtype(obj,
Type::Product(typedef...))
Parametersobj |
- | any MuPAD object |
typedef |
- | a sequence of types; a type can be an object of the
library Type or one of
the possible return values of domtype and type |
Returnssee testtype
Related
Functions
Detailstesttype(obj,
Type::Product(typedef)) checks, whether obj
is a sequence of objects, which have the types given by
typedef and returns TRUE, if it holds, otherwise FALSE.obj must have the same number of arguments as the
sequence typedef. The elements of obj are
checked one after another: the first element of obj is
checked against the type given by the first element of
typedef and so on. All elements and types must match.Type::Product(typedef...).Type or
one of the possible return values of domtype and type.
Example
1The argument is a sequence of a positive integer followed by an identifier:
>> testtype((5, x), Type::Product(Type::PosInt, Type::Unknown))
TRUE
Is the argument is a sequence of five positive integers?
(For help on $ see _seqgen.)
>> testtype((5, 3, 5, -1, 0), Type::Product(Type::PosInt $ 5))
FALSE