def Text.has_comma.go

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

import Base

2795# Whether the text contains a comma: `found` records whether one was seen
2796# before.
2797def Text.has_comma.go(text: String, found: Bool) -> Bool:
2798  match text found:
2799    case _ True{}:
2800      True{}
2801    case SNil{} False{}:
2802      False{}
2803    case SCon{char, rest} False{}:
2804      Text.has_comma.go(rest, Char.is_eq(char, ','))