erg_compiler 0.6.23

Centimetre: the Erg compiler
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

.algorithms_guaranteed: {Str; _}
.algorithms_available: {Str; _}

.HASH!: ClassType
.HASH!.
    name: Str
    digest_size: Nat
    block_size: Nat
    digest: (self: Ref(.HASH!)) -> Bytes
    hexdigest: (self: Ref(.HASH!)) -> Str
    update!: (self: RefMut(.HASH!), b: Bytes) => NoneType

.new: (name: Str, b := Bytes) -> .HASH!
.md5: (b: Bytes) -> .HASH!
.sha1: (b: Bytes) -> .HASH!
.sha224: (b: Bytes) -> .HASH!
.sha256: (b: Bytes) -> .HASH!
.sha512: (b: Bytes) -> .HASH!