Re: [xacml] Type-is-in should be a match function

[Polar Humenn <polar@syr.edu>]

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.