Format.Format.civil.y: def of bend-time-lib@0.4.0.1 Import: import bend-time-lib@0.4.0.1/format.bend as Format Lines 360-367 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=360&end_line=367 import Base import bend-scanner@0.1.0.0/parse.bend as P def Format.civil.y( r: Result<&2, &2, P.Parse.Error, P.Parse.Dec> ) -> Result<&2, &2, Format.Error, Format.DateP>: match r: case Fail{e}: Fail{Format.from_parse(e)} case Done{P.Dec{y, cur}}: Format.civil.dash1(y, P.Parse.expect_char(cur, '-')) Uses (9): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result https://jend.leeeet.dev/definition.txt?path=bend-scanner@0.1.0.0/parse.bend&name=Parse.Dec 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-scanner@0.1.0.0/parse.bend&name=Parse.expect_char https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/format.bend&name=Format.DateP https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/format.bend&name=Format.Error https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/format.bend&name=Format.civil.dash1 https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/format.bend&name=Format.from_parse