~/jendhub

def origin.listed

ezmcp@0.1.0.0 · src/web.bend:70

import ezmcp@0.1.0.0/src/web.bend as Web
import Base

70# whether the server lists an Origin
71def origin.listed(origins: List<&2, String>, +origin: String) -> Bool:
72  match origins:
73    case []:
74      False{}
75    case listed <> rest:
76      origin.or(String.eq(listed, origin), _u => origin.listed(rest, origin))

Uses (5)

Used by (1)