Migrate.need.status: def of bend-kit-migrate@0.3.0.0 Import: import bend-kit-migrate@0.3.0.0/migrate.bend as Migrate Lines 518-525 of bend-kit-migrate@0.3.0.0/migrate.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-migrate@0.3.0.0/migrate.bend&start_line=518&end_line=525 import Base def need.status(m: Maybe<&1, Scalar>) -> Result<&1, &1, Error, Status>: match m: case None{}: Fail{Missing{KStatus{}}} case Some{SStr{b}}: name.status(Tag.of(b)) case Some{s}: Fail{BadField{KStatus{}}} Uses (8): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result https://jend.leeeet.dev/definition.txt?path=bend-kit-migrate@0.3.0.0/migrate.bend&name=Error https://jend.leeeet.dev/definition.txt?path=bend-kit-migrate@0.3.0.0/migrate.bend&name=Key https://jend.leeeet.dev/definition.txt?path=bend-kit-migrate@0.3.0.0/migrate.bend&name=Scalar https://jend.leeeet.dev/definition.txt?path=bend-kit-migrate@0.3.0.0/migrate.bend&name=Status https://jend.leeeet.dev/definition.txt?path=bend-kit-migrate@0.3.0.0/migrate.bend&name=Tag.of https://jend.leeeet.dev/definition.txt?path=bend-kit-migrate@0.3.0.0/migrate.bend&name=name.status