claims.bend relies on unsafe/foreign

raw source on the hub · import 0xc383c1b95391d033028a0003fad190e5/claims.bend as Claims

3 imports

import Base
import ./types.bend as Types
import ./cachet.bend as Cachet

Definitions

def Access.sub source · line 5 · raw

@+c:0xc383c1b95391d033028a0003fad190e5/types.Claims -> String

def Access.iss source · line 10 · raw

@+c:0xc383c1b95391d033028a0003fad190e5/types.Claims -> String

def Access.aud source · line 15 · raw

@+c:0xc383c1b95391d033028a0003fad190e5/types.Claims -> String

def Access.exp source · line 20 · raw

@+c:0xc383c1b95391d033028a0003fad190e5/types.Claims -> U32

def Access.iat source · line 25 · raw

@+c:0xc383c1b95391d033028a0003fad190e5/types.Claims -> U32

def Json.field_str source · line 30 · raw

@+key:String -> @+value:String -> String

def Json.field_u32 source · line 35 · raw

@+key:String -> @value:U32 -> String

def Json.encode source · line 38 · raw

@+c:0xc383c1b95391d033028a0003fad190e5/types.Claims -> String

def Parse.from_fields source · line 51 · raw

@sub:String -> @iss:String -> @aud:String -> @exp:U32 -> @iat:U32 -> 0xc383c1b95391d033028a0003fad190e5/types.Claims

def Parse.pipe source · line 60 · raw

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

def Parse.json source · line 75 · raw

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

def Validate.auth_code source · line 81 · raw

U32

def Validate.is_expired source · line 84 · raw

@+c:0xc383c1b95391d033028a0003fad190e5/types.Claims -> @now:U32 -> Bool

def Validate.when_expired source · line 87 · raw

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

def Validate.when_issuer source · line 94 · raw

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

def Validate.when_audience source · line 101 · raw

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

def Validate.check_issuer source · line 108 · raw

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

def Validate.check_audience source · line 111 · raw

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

def Validate.check_expiry source · line 114 · raw

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

def Validate.after_unit source · line 117 · raw

@step:Result<&1, &1, Pair(U32, String), Unit> -> @next:Result<&1, &1, Pair(U32, String), 0xc383c1b95391d033028a0003fad190e5/types.Claims> -> Result<&1, &1, Pair(U32, String), 0xc383c1b95391d033028a0003fad190e5/types.Claims>

def Validate.audience_step source · line 127 · raw

@+c:0xc383c1b95391d033028a0003fad190e5/types.Claims -> @+expected_aud:String -> @now:U32 -> @issuer:Result<&1, &1, Pair(U32, String), Unit> -> Result<&1, &1, Pair(U32, String), 0xc383c1b95391d033028a0003fad190e5/types.Claims>

def Validate.run source · line 139 · raw

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

Effects (foreign code)

effect Parse.raw source · line 71 · raw

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

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