~/jendhub

def unique

bend-kit-camber@0.15.0.1 · input.bend:272

import bend-kit-camber@0.15.0.1/input.bend as Input
import Base
import bend-kit-json@0.7.0.0/json.bend as Json

272def unique(fuel: Nat, step: Maybe<&1, Walk>) -> Maybe<&1, Json.Val>:
273  match fuel:
274    case 0n: None{}
275    case 1n+rest:
276      match step:
277        case None{}: None{}
278        case Some{Returned{value, Nil{}}}: Some{value}
279        case Some{state}: unique(rest, unique.step(state))

Uses (6)

Used by (1)