~/bend-docscommunity

sha1.bend checks

raw source on the hub · import 0xfcfaebefd5553d7c2403dcd5c4130b80/sha1.bend as Sha1

2 imports
import Base
import ./internal/core.bend as C

Types

type SHA1State source · line 4 · raw

Data

type SHA1Mode source · line 7 · raw

Data

Definitions

def SHA1.modes source · line 13 · raw

List<&2, SHA1Mode>

def SHA1.ks source · line 16 · raw

List<&2, U32>

def SHA1.f source · line 19 · raw

@mode:SHA1Mode -> @+b:U32 -> @+c:U32 -> @+d:U32 -> U32

def SHA1.schedule.next source · line 30 · raw

@+ring:List<&2, U32> -> U32

def SHA1.schedule.go source · line 36 · raw

@+initial:List<&2, U32> -> @n:Nat -> @+ring:List<&2, U32> -> @acc:List<&2, U32> -> List<&2, U32>

def SHA1.schedule source · line 45 · raw

@+block:List<&2, U32> -> List<&2, U32>

def SHA1.step source · line 48 · raw

@st:SHA1State -> @w:U32 -> @k:U32 -> @mode:SHA1Mode -> SHA1State

def SHA1.rounds source · line 54 · raw

@ws:List<&2, U32> -> @ks:List<&2, U32> -> @modes:List<&2, SHA1Mode> -> @st:SHA1State -> SHA1State

def SHA1.add source · line 63 · raw

@+x:SHA1State -> @y:SHA1State -> SHA1State

def SHA1.compress source · line 68 · raw

@+st:SHA1State -> @+bytes:List<&2, U32> -> SHA1State

def SHA1.pad.go source · line 72 · raw

@+rest:List<&2, U32> -> @+rem:U32 -> @bits:0xfcfaebefd5553d7c2403dcd5c4130b80/internal/core.W64 -> @short:Bool -> List<&2, U32>

def SHA1.pad source · line 81 · raw

@+rest:List<&2, U32> -> @+length:Nat -> @short:Bool -> List<&2, U32>

def SHA1.final.blocks source · line 84 · raw

@+st:SHA1State -> @+padded:List<&2, U32> -> @one:Bool -> SHA1State

def SHA1.final source · line 92 · raw

@+rest:List<&2, U32> -> @+length:Nat -> @st:SHA1State -> SHA1State

def SHA1.blocks source · line 97 · raw

@n:Nat -> @+xs:List<&2, U32> -> @+total:Nat -> @st:SHA1State -> SHA1State

def SHA1.iv source · line 105 · raw

SHA1State

def SHA1.digest source · line 108 · raw

@st:SHA1State -> List<&2, U32>

def SHA1.bytes source · line 113 · raw

@+xs:List<&2, U32> -> List<&2, U32>

def SHA1.hex_bytes source · line 117 · raw

@xs:List<&2, U32> -> String

def SHA1.text source · line 120 · raw

@s:String -> String