Positive

Positive :: # (opaque)

A positive U64, used for Redis expirations and strictly positive counts. Numeric literals are validated at compile time; runtime values use from_u64.

is_eq : _

parser_for : _

encoder_for : _

from_u64 : U64 -> Try(Positive, [Zero])

from_numeral : Numeral -> Try(Positive, [InvalidNumeral(Str), ..])

to_u64 : Positive -> U64