def role.is

bend-kit-authz@0.1.0.0 · authz.bend:58

import bend-kit-authz@0.1.0.0/authz.bend as Authz

import Base

58def role.is(name: String, r: Maybe<&2, List<&2, String>>) -> Tri:
59  match r:
60    case None{}:
61      Unknown{}
62    case Some{xs}:
63      tri(has(name, xs))

Uses (6)

Used by (1)

bend-kit-authz@0.1.0.0/authz:matches