~/jendhub

def cookie.slashes.ch

emerging-ezhttp@0.21.0.0 · src/cookie.bend:320

import emerging-ezhttp@0.21.0.0/src/cookie.bend as Cookie
import Base

320# count `/` in a path
321def cookie.slashes.ch(slash: Bool, rest: Unit -> Nat) -> Nat:
322  match slash:
323    case False{}:
324      rest(Unit{})
325    case True{}:
326      Nat.add(1n, rest(Unit{}))

Uses (4)

Used by (1)