def is_err

cswap-bend-cli@0.1.0.0 · pollrow.bend:18

import cswap-bend-cli@0.1.0.0/pollrow.bend as Pollrow
import Base

18def is_err(m: Maybe<&2, String>, +s: String) -> Bool:
19  match m:
20    case Some{x}:
21      String.eq(x, s)
22    case None{}:
23      False{}

Uses (4)

Used by (1)