com.opendatagroup.hadrian.signature
signatures supported by this function; the order of this list is the order in which Hadrian will attempt to resolve the signatures (the first one that matches is used)
Determine if this list of signatures accpets the given arguments for a given PFA version number.
Determine if this list of signatures accpets the given arguments for a given PFA version number.
arguments to match against each of the signature patterns
PFA version number in which to interpret the patterns
Some(matching signature, resolved argument types, resolved return type) if one of the signatures accepts the arguments; None
otherwise
signatures supported by this function; the order of this list is the order in which Hadrian will attempt to resolve the signatures (the first one that matches is used)
PFA function signature for ad-hoc polymorphism (list of different signatures supported by the function).
signatures supported by this function; the order of this list is the order in which Hadrian will attempt to resolve the signatures (the first one that matches is used)