~/jendhub

def redirect.is

emerging-ezhttp@0.21.0.0 · src/redirect.bend:27

import emerging-ezhttp@0.21.0.0/src/redirect.bend as Redirect
import Base

27# whether a status asks the client to go elsewhere (RFC 9110 §15.4.2-9)
28def redirect.is(+status: U32) -> Bool:
29  Bool.or(U32.is_eq(status, 301), Bool.or(U32.is_eq(status, 302),
30    Bool.or(U32.is_eq(status, 303), Bool.or(U32.is_eq(status, 307),
31      U32.is_eq(status, 308)))))

Uses (4)

Used by (1)