FilterExpr.ToMany
A quantified filter over a to-many relation.
Source and package
- Qualified name
-
io.github .libtmux .query .Filter Expr. To Many - Package
- io.github.libtmux.query
- Declared in
FilterExpr- Distribution
- io.github.libtmux:libtmux
- Source
- libtmux/src/main/java/io/github/libtmux/query/FilterExpr.java
- class io.github.libtmux.query.FilterExpr.ToMany ( relation: Fields
.To <T, R>, quantifier: Quantifier, predicate: FilterMany Ref Expr <R> ) -
Description#
ALLover an empty relation is true. That is the standard vacuous reading and it is the one tmux users expect: a session with no windows does not fail "all windows are zoomed".- Type parameters
- Parameters
-
-
relation(Fields.To <T, R>) #Many Ref -
predicate(FilterExpr <R>) #
-