Hi Tim,
On Wed, 14 Jul 2004, Tim Moses wrote:
> Colleagues - Section 7.5 lists the xacml functions that qualify as a match
> function. I believe type-is-in has the necessary qualifications and should
> be included in the list. Any thoughts? All the best. Tim.
Not so.
A Match function has type: (a -> b -> Boolean).
i.e. takes two arguments of primitive data types and returns a boolean.
The *-is-in functions have type: a -> [b] -> Boolean.
i.e. takes one argument of a primitive type of a bag of some type, and
returns a Boolean.
