def is_pair

bend-lint-api@0.2.0.0 · linter/lint.bend:392

import bend-lint-api@0.2.0.0/linter/lint.bend as Lint
import Base

392# Whether an application's function is Pair: it builds a pair type (`A & B`), whose parts are types.
393def is_pair(kids: List<&2, Node>) -> Bool:
394  match kids:
395    case Con{Node{Reference{t}, n, s, k, f}, rest}:
396      String.eq(t, "Pair")
397    case _:
398      False{}

Uses (5)

Used by (2)