~/jendhub

def end.b

bend-kit-json@0.7.0.0 · json.bend:601

import bend-kit-json@0.7.0.0/json.bend as Json
import Base

601def end.b(r: Array<U32> & U32, v: Val, +i: U32) -> Array<U32> & Sb:
602  (a, +c) = r
603  match c:
604    case 32:
605      (a, BEnd{v, (i + 1 : U32)})
606    case 9:
607      (a, BEnd{v, (i + 1 : U32)})
608    case 10:
609      (a, BEnd{v, (i + 1 : U32)})
610    case 13:
611      (a, BEnd{v, (i + 1 : U32)})
612    case 256:
613      (a, BOk{v})
614    case _:
615      (a, BFail{})

Uses (10)

Used by (1)