Shortcut instances for applying continuous linear maps and linear isometries #
Applying a continuous (semi)linear map or a (semi)linear isometry to an argument asks for its
coercion to a function, and rewriting with map_add, map_sub or map_zero asks for its
homomorphism classes. Both are found through the generic function-like hierarchy, which first
tries the other kinds of maps and, for a map between concrete function spaces, re-derives
structures on the two spaces along the way. The search is slowest when the spaces are not yet
known, as for a bundled operator whose implicit arguments are determined only by its argument.
The instances below answer these queries from the shape of the map type alone. Each is the instance that resolution already finds, registered with high priority.