[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]
Subject: Re: [xacml] Type-is-in should be a match function
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.