~/jendhub

def server.read.whole

emerging-ezhttp@0.22.0.0 · src/server.bend:90

import emerging-ezhttp@0.22.0.0/src/server.bend as Server
import Base

90# whether as much has arrived as the request needs
91def server.read.whole(m: Maybe<&2, Nat>, +have: Nat) -> Bool:
92  match m:
93    case None{}:
94      False{}
95    case Some{n}:
96      Bool.not(Nat.is_lt(have, n))

Uses (5)

Used by (1)