buffer.bend checks
raw source on the hub · import 0x3bdc0c9f5265bb49f7fc76b61f529f24/buffer.bend as Buffer
3 imports
import Base import ./state.bend as S import ./packed.bend as P
Definitions
def digest source · line 6 · raw
@s:0x3bdc0c9f5265bb49f7fc76b61f529f24/state.State -> Array<U32>
Exactly eight big-endian U32 words (32 bytes), with no list allocation.
def result source · line 11 · raw
@r:Maybe<&2, 0x3bdc0c9f5265bb49f7fc76b61f529f24/state.State> -> Maybe<&1, Array<U32>>
def sha256 source · line 16 · raw
@input:Array<U32> -> @length:Nat -> Maybe<&1, Array<U32>>