Iso8601.Iso8601.from_parse: def of bend-time-lib@0.4.0.1
Import: import bend-time-lib@0.4.0.1/iso8601.bend as Iso8601
Lines 34-43 of bend-time-lib@0.4.0.1/iso8601.bend: https://jend.leeeet.dev/read.txt?path=bend-time-lib@0.4.0.1/iso8601.bend&start_line=34&end_line=43

import Base
import bend-scanner@0.1.0.0/parse.bend as P

def Iso8601.from_parse(e: P.Parse.Error) -> Iso8601.Error:
  match e:
    case P.Unexpected{offset, char}:
      Unexpected{offset, char}
    case P.Eof{offset}:
      Eof{offset}
    case P.Overflow{offset}:
      Overflow{offset}
    case P.Extra{offset, char}:
      Extra{offset, char}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=bend-scanner@0.1.0.0/parse.bend&name=Parse.Error
  https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/iso8601.bend&name=Iso8601.Error