~/jendhub

def answer.in

bolt@1.27.0.0 · src/lint/world.bend:61

import bolt@1.27.0.0/src/lint/world.bend as World
import Base
import bolt@1.27.0.0/src/lazy/lazy.bend as Lazy

61# the first answer given to a question
62def answer.in(rs: List<&2, Reply>, +ask: Ask) -> Maybe<&2, Answer>:
63  match rs:
64    case Nil{}:
65      None{}
66    case Con{Reply{q, a}, rest}:
67      Lazy.stop(Maybe<&2, Answer>, ask.eq(q, ask), Some{a}, _u => answer.in(rest, ask))

Uses (7)

Used by (1)