Examples of UnorderedTypeMatchFilter

• org.openquark.cal.services.UnorderedTypeMatchFilter
  A filter that matches against a subset of the gem's input types, and optionally against a range of output types.

  Where a gem's type is t1 -> t2 -> ... -> tn

  • the input types are t1, t2, ..., t(n-1)
  • the output type is tn

  A gem passes through the filter if

  1. the gem has input types that match the filter's input types, in any order. The gem may have other input types which are not matched.
  2. the gem's output type matches one of the filter's output types.

  For example,

  If this is instantiated with inputs types: {a, a}
  and output types: {Num b=> b, [c]}

  Gems that would pass through this filter would be any gem with a pair of identical inputs, and an output that was either a Num or a list.

  Caveat: One must be careful when constructing this filter that one maintains the desired referential semantics.

  For example:

  • If one desires to filter on gem type "Num a=> a -> a", this is accomplished by passing in the same reference to the type "Num a=> a" as both the input and the output type.
  • If separate instances of the type "Num a=> a" were passed in as the arguments, the resulting filter would filter on the type "(Num a, Num b) => a -> b".
  • The type "Int -> Double" would not pass through the filter in the first case, but it would in the second.

  @author Edward Lam

Examples of org.openquark.cal.services.UnorderedTypeMatchFilter