swarm-0.7.0.0: example/multi-key-handler.sw

// Proof of concept illustrating the possibility of key
// handlers that process multi-key sequences.

def cons : a * b -> (a -> b) -> (a -> b) = \p. \k. \a.
  match p \x. \y. if (a == x) {y} {k a}
end

def nil : a -> Cmd Unit = \a. pure () end

// The delay around the first argument is necessary to prevent
// infinite recursion
def handlerB : {Key -> Cmd Unit} -> Key -> Cmd Unit = \hA. \k.
  cons (key "b", move) nil k;
  installKeyHandler "" (force hA)
end

// Typing 'a' then 'b' in sequence will cause the robot to move.
def handlerA : Key -> Cmd Unit =
  cons (key "a", installKeyHandler "" (handlerB {handlerA})) nil
end