Pull.text: def of emerging-ezjson@1.3.0.0
Import: import emerging-ezjson@1.3.0.0/src/pull.bend as Pull
Lines 1649-1664 of emerging-ezjson@1.3.0.0/src/pull.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezjson@1.3.0.0/src/pull.bend&start_line=1649&end_line=1664

import Base
import emerging-ezjson@1.3.0.0/src/value.bend as V

# the text of a string, a key, or a number. A span is copied here. None when
# the event is not one of those
def text(ev: Ev) -> Maybe<&2, String>:
  match ev:
    case EStr{body}:
      Some{body}
    case EKey{body}:
      Some{body}
    case EStrS{src, +nn}:
      Some{V.span.str(src, nn, U32.is_zero(nn))}
    case EKeyS{src, +nn}:
      Some{V.span.str(src, nn, U32.is_zero(nn))}
    case ENum{src, +nn}:
      Some{V.span.str(src, nn, U32.is_zero(nn))}
    case other:
      None{}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_zero
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/pull.bend&name=Ev
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/value.bend&name=span.str