~/jendhub

def Text.drop_ows

bend-trace-context@0.2.0.0 · trace_context.bend:2779

import bend-trace-context@0.2.0.0/trace_context.bend as TraceContext
import Base

2779# The text without the optional whitespace, spaces and horizontal tabs, at its
2780# start.
2781def Text.drop_ows(text: String) -> String:
2782  match text:
2783    case SNil{}:
2784      SNil{}
2785    case SCon{+head, tail}:
2786      Text.drop_ows.go(tail, head, StateChar.is_ows(head))

Uses (3)

Used by (1)