Error.error_fields: def of bendonnect-rpc@0.1.0.0
Import: import bendonnect-rpc@0.1.0.0/src/error.bend as Error
Lines 291-293 of bendonnect-rpc@0.1.0.0/src/error.bend: https://jend.leeeet.dev/read.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&start_line=291&end_line=293

import Base

def error_fields(f: Fs) -> Maybe<&1, Error>:
  Fs{a, b, c} = f
  error_build(code_of(a), str_of(b), details_of(c))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=Error
  https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=Fs
  https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=code_of
  https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=details_of
  https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=error_build
  https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=str_of