This does a potentially recursive search through the descendants of a, and returns all the Elements that fit the predicate.
This does a potentially recursive search through the descendants of a, and returns all the Elements that fit the predicate.
Conceptually, this function corresponds to jQuery's $(element).find(selector) function. In particular, note that root Element a is *not* included in the result set.
TBD: can/should the Elements in this signature be generalized? Or specialized? Can/should they be HTMLElement instead? Can/should they be a dependent type of A?
Similar to findAll(), but will include the given element in the possible results.
Similar to findAll(), but will include the given element in the possible results. This is what findAll() usually recurses into.
This searches through a, and returns the first B found, if any.
This searches through a, and returns the first B found, if any.
In most cases, you will want findAll instead of this.
For the moment, this has a single inefficient implementation. We will probably want to do something cleverer and short-circuiting in the medium term.
The Findable typeclass represents the ability to "find" within a given entity.