~/jendhub

def walk

cswap-bend-cli@0.1.0.0 · daemon/walk.bend:276

import cswap-bend-cli@0.1.0.0/daemon/walk.bend as Walk
import Base
import cswap-bend-cli@0.1.0.0/act.bend as Act
import cswap-bend-cli@0.1.0.0/daemon/tick.bend as Tk

276def walk(+w: W) -> Act.of(Tk.Out):
277  Act.bind(Move, Tk.Out, again4(w, again4(w, again4(w, again4(w, attempt(w, no_trail()))))), mv => Act.pure(Tk.Out, settle(w, mv)))

Uses (10)

Used by (1)