Format.Format.from_parse: def of bend-time-lib@0.4.0.1
Import: import bend-time-lib@0.4.0.1/format.bend as Format
Lines 27-36 of bend-time-lib@0.4.0.1/format.bend: https://jend.leeeet.dev/read.txt?path=bend-time-lib@0.4.0.1/format.bend&start_line=27&end_line=36

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

def Format.from_parse(e: P.Parse.Error) -> Format.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/format.bend&name=Format.Error