~/bend-docscommunity

jwt.bend relies on unsafe/foreign

raw source on the hub · import 0xc383c1b95391d033028a0003fad190e5/jwt.bend as Jwt

4 imports
import Base
import ./types.bend as Types
import ./cachet.bend as Cachet
import ./claims.bend as Claims

Definitions

def JWT.auth_code source · line 6 · raw

U32

def JWT.bad_request source · line 9 · raw

U32

def JWT.header_json source · line 12 · raw

String

def JWT.dot source · line 15 · raw

String

def JWT.dot_char source · line 18 · raw

Char

def JWT.parts_from_packed source · line 25 · raw

@+packed:String -> IO(Result<&1, &1, Pair(U32, String), 0xc383c1b95391d033028a0003fad190e5/types.TokenParts>)

def JWT.sig_eq source · line 32 · raw

@got:String -> @expected:String -> Bool

def JWT.join_signing source · line 35 · raw

@head_b64:String -> @pay_b64:String -> String

def JWT.join_token source · line 38 · raw

@signing:String -> @sig:String -> String

def JWT.when_sig source · line 41 · raw

@flag:Bool -> Result<&1, &1, Pair(U32, String), Unit>

def JWT.verify_sig source · line 48 · raw

@sig:String -> @signing:String -> @+secret:String -> IO(Result<&1, &1, Pair(U32, String), Unit>)

def JWT.invalid_format source · line 54 · raw

Result<&1, &1, Pair(U32, String), String>

def JWT.head_of source · line 57 · raw

@+parts:0xc383c1b95391d033028a0003fad190e5/types.TokenParts -> String

def JWT.payload_of source · line 62 · raw

@+parts:0xc383c1b95391d033028a0003fad190e5/types.TokenParts -> String

def JWT.sig_of source · line 67 · raw

@+parts:0xc383c1b95391d033028a0003fad190e5/types.TokenParts -> String

def JWT.verify_signed source · line 72 · raw

@+parts:0xc383c1b95391d033028a0003fad190e5/types.TokenParts -> @+secret:String -> IO(Result<&1, &1, Pair(U32, String), String>)

def Decode.claims source · line 84 · raw

@+token:String -> @+secret:String -> IO(Result<&1, &1, Pair(U32, String), 0xc383c1b95391d033028a0003fad190e5/types.Claims>)

def Sign.token source · line 95 · raw

@+c:0xc383c1b95391d033028a0003fad190e5/types.Claims -> @+secret:String -> IO(Result<&1, &1, Pair(U32, String), String>)

Effects (foreign code)

effect JWT.token_parts source · line 21 · raw

@+token:String -> IO(Result<&1, &1, Pair(U32, String), String>)

foreign: effs/token_parts.c, effs/token_parts.js

effect Verify.payload source · line 80 · raw

@+token:String -> @+secret:String -> IO(Result<&1, &1, Pair(U32, String), String>)

foreign: effs/verify_token.c, effs/verify_token.js

effect Sign.token_raw source · line 91 · raw

@+payload:String -> @+secret:String -> IO(Result<&1, &1, Pair(U32, String), String>)

foreign: effs/sign_token.c, effs/sign_token.js