Oauth2.Err: type of bend-kit-oauth2@0.11.0.1 Import: import bend-kit-oauth2@0.11.0.1/oauth2.bend as Oauth2 Lines 23-33 of bend-kit-oauth2@0.11.0.1/oauth2.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-oauth2@0.11.0.1/oauth2.bend&start_line=23&end_line=33 import Base import bend-kit-hairpin@0.13.0.1/hairpin.bend as Hairpin # ErrNet: the request did not complete. ErrOAuth: an RFC 6749 §5.2 error with its status, or a §4.1.2.1 # error in a callback, status 0. ErrReply: not a Bearer token response, with its status and text. ErrState: the # callback's state is not ours (§10.12). ErrCrypto: the random source or SHA-256 failed. ErrExpired: the # token lapsed and has no refresh token. type Err is Data: ErrNet{e: Hairpin.Err} ErrOAuth{status: U32, code: String, why: String} ErrReply{status: U32, body: String} ErrState{} ErrCrypto{code: U32, why: String} ErrExpired{} Uses (3): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=bend-kit-hairpin@0.13.0.1/hairpin.bend&name=Err