language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-09-28 20:14:45 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

feat: add hmac module type definition

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-11-25 02:57:22 +09:00
parent 21025096a3
commit 2a9ef33c9c
2 changed files with 60 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

49
crates/erg_compiler/lib/pystd/hashlib.d.er
View file

@ -1,18 +1,63 @@
.algorithms_guaranteed: {Str; _}
.algorithms_available: {Str; _}
.HASHXOF!: ClassType
.HASHXOF!.
block_size: Nat
digest_size: Nat
name: Str
digest: (self: Ref(.HASHXOF!)) -> Bytes
hexdigest: (self: Ref(.HASHXOF!)) -> Str
update!: (self: RefMut(.HASHXOF!), b: Bytes) => NoneType
copy: (self: Ref(.HASHXOF!)) -> .HASHXOF!
.HASH!: ClassType
.HASH!.
name: Str
digest_size: Nat
block_size: Nat
digest_size: Nat
name: Str
digest: (self: Ref(.HASH!)) -> Bytes
hexdigest: (self: Ref(.HASH!)) -> Str
update!: (self: RefMut(.HASH!), b: Bytes) => NoneType
.Blake2b! = 'blake2b': ClassType
.Blake2b!.
block_size: Nat
digest_size: Nat
name: Str
__call__: (
data := Bytes,
digest_size := Nat,
key := Bytes,
salt := Bytes,
person := Bytes,
fanout := Nat,
depth := Nat,
leaf_size := Nat,
node_offset := Nat,
node_depth := Nat,
inner_size := Nat,
last_node := Bool,
usedforsecurity := Bool,
) -> .Blake2b!
digest: (self: Ref(.Blake2b!)) -> Bytes
hexdigest: (self: Ref(.Blake2b!)) -> Str
update!: (self: RefMut(.Blake2b!), b: Bytes) => NoneType
copy: (self: Ref(.Blake2b!)) -> .Blake2b!
.new: (name: Str, b := Bytes) -> .HASH!
.md5: (b: Bytes) -> .HASH!
.sha1: (b: Bytes) -> .HASH!
.sha224: (b: Bytes) -> .HASH!
.sha256: (b: Bytes) -> .HASH!
.sha384: (b: Bytes) -> .HASH!
.sha512: (b: Bytes) -> .HASH!
.sha3_224: (b: Bytes) -> .HASH!
.sha3_256: (b: Bytes) -> .HASH!
.sha3_384: (b: Bytes) -> .HASH!
.sha3_512: (b: Bytes) -> .HASH!
.shake_128!: (data: Bytes, usedforsecurity := Bool) => .HASHXOF!
.shake_256!: (data: Bytes, usedforsecurity := Bool) => .HASHXOF!
.file_digest: (path: FileLike, name: Str or GenericCallable) -> Bytes

13
crates/erg_compiler/lib/pystd/hmac.d.er Normal file
View file

@ -0,0 +1,13 @@
.HMAC!: ClassType
.HMAC!.
digest_size: Nat
block_size: Nat
name: Str
update!: (self: RefMut(.HMAC!), msg: Bytes) => NoneType
digest: (self: Ref(.HMAC!)) -> Bytes
hexdigest: (self: Ref(.HMAC!)) -> Str
copy: (self: Ref(.HMAC!)) -> .HMAC!
.compare_digest: (a: Str or Bytes, b: Str or Bytes) -> Bool
.new: (key: Bytes, msg := Bytes, digestmod := Str or GenericCallable or GenericModule) -> .HMAC!
.digest: (key: Bytes, msg := Bytes, digest := Str or GenericCallable or GenericModule) -> Bytes