Cookie.cookie.ipv4.go: def of emerging-ezhttp@0.21.0.0
Import: import emerging-ezhttp@0.21.0.0/src/cookie.bend as Cookie
Lines 409-418 of emerging-ezhttp@0.21.0.0/src/cookie.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.21.0.0/src/cookie.bend&start_line=409&end_line=418

import Base

# true when the host is only digits and dots and contains a dot
def cookie.ipv4.go(host: String, seen: Bool) -> Bool:
  match host:
    case SNil{}:
      seen
    case SCon{h, +t}:
      +u = Char.to_u32(h)
      cookie.ipv4.step(U32.is_eq(u, 46),
        Bool.and(U32.is_ge(u, 48), U32.is_le(u, 57)),
        _u => cookie.ipv4.go(t, True{}), _d => cookie.ipv4.go(t, seen))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char.to_u32
  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_eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_ge
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_le
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/cookie.bend&name=cookie.ipv4.step