Password.hash_password: def of bend-collections@1.0.0.0
Import: import bend-collections@1.0.0.0/src/crypto/password.bend as Password
Lines 43-48 of bend-collections@1.0.0.0/src/crypto/password.bend: https://jend.leeeet.dev/read.txt?path=bend-collections@1.0.0.0/src/crypto/password.bend&start_line=43&end_line=48

import Base
import bend-collections@1.0.0.0/src/crypto/argon2/argon2.bend as A2

# The PHC string of Argon2id(pw, salt) with the parameters, or None when they
# are out of the RFC 9106 ranges (or m > 2^23 KiB, this implementation's limit).
def hash_password(+pw: List<&2, U32>, +salt: List<&2, U32>, params: Params) -> Maybe<&2, String>:
  match params:
    case Params{+m, +t, +p, +tag, s}:
      encode(m, t, p, salt, A2.argon2id(pw, salt, Nil{}, Nil{}, t, m, p, tag))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/argon2/argon2.bend&name=argon2id
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/password.bend&name=Params
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/password.bend&name=encode