serokell / universum

:milky_way: Prelude written in @Serokell
MIT License
176 stars 26 forks source link

[#245] Change length signature in Container #248

Open DK318 opened 2 years ago

DK318 commented 2 years ago

Description

Problem: length function in Container has Int return type, but it is more semantic to return Natural instead.

Solution: changed signature and length realizations (default and in instances).

Related issues(s)

Resolves #245

✓ Checklist for your Pull Request

Ideally a PR has all of the checkmarks set.

If something in this list is irrelevant to your PR, you should still set this checkmark indicating that you are sure it is dealt with (be that by irrelevance).

Related changes (conditional)

Stylistic guide (mandatory)

DK318 commented 2 years ago

Please, can someone review this (@Martoon-00 @gromakovsky)