Parse.h.fmap.empty: def of yaml-for-bend@0.1.1.0
Import: import yaml-for-bend@0.1.1.0/parse.bend as Parse
Lines 566-570 of yaml-for-bend@0.1.1.0/parse.bend: https://jend.leeeet.dev/read.txt?path=yaml-for-bend@0.1.1.0/parse.bend&start_line=566&end_line=570

import Base
import yaml-for-bend@0.1.1.0/token.bend as T

# After a key with no KeyTok: a ":" on a later line is still its value (a
# flow mapping's key may run over lines), else the value is empty.
def h.fmap.empty(+m: T.Mark, +t: T.Token, +ps: Ps) -> PStep:
  when(PStep, tok.is(t, VALUE()), u => PGo{take(goto(ps, SFMapAfterValue{m, tok.end(t)}))},
    u => PGo{empty(goto(ps, SFMapKey{m, False{}}), tok.start(t))})

Uses (14):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=yaml-for-bend@0.1.1.0/parse.bend&name=PStep
  https://jend.leeeet.dev/definition.txt?path=yaml-for-bend@0.1.1.0/parse.bend&name=Ps
  https://jend.leeeet.dev/definition.txt?path=yaml-for-bend@0.1.1.0/parse.bend&name=St
  https://jend.leeeet.dev/definition.txt?path=yaml-for-bend@0.1.1.0/parse.bend&name=VALUE
  https://jend.leeeet.dev/definition.txt?path=yaml-for-bend@0.1.1.0/parse.bend&name=empty
  https://jend.leeeet.dev/definition.txt?path=yaml-for-bend@0.1.1.0/parse.bend&name=goto
  https://jend.leeeet.dev/definition.txt?path=yaml-for-bend@0.1.1.0/parse.bend&name=take
  https://jend.leeeet.dev/definition.txt?path=yaml-for-bend@0.1.1.0/parse.bend&name=tok.end
  https://jend.leeeet.dev/definition.txt?path=yaml-for-bend@0.1.1.0/parse.bend&name=tok.is
  https://jend.leeeet.dev/definition.txt?path=yaml-for-bend@0.1.1.0/parse.bend&name=tok.start
  https://jend.leeeet.dev/definition.txt?path=yaml-for-bend@0.1.1.0/parse.bend&name=when
  https://jend.leeeet.dev/definition.txt?path=yaml-for-bend@0.1.1.0/token.bend&name=Mark
  https://jend.leeeet.dev/definition.txt?path=yaml-for-bend@0.1.1.0/token.bend&name=Token