The bcrypt work factor.
The work factor determines the computational cost of hashing a password.
Each increment approximately doubles the amount of work required to compute and verify a bcrypt hash.
Valid bcrypt work factors are in the range 4 to 31 inclusive.
Values outside this range are handled according to the underlying libbcrypt implementation.
Totality: total
Visibility: public export
Constructor: MkWorkFactor : Bits8 -> WorkFactor
Projection: .value : WorkFactor -> Bits8
Hints:
Eq WorkFactorOrd WorkFactorShow WorkFactor