Code

Standard library traits#86

Code

Merged

lukaszcz merged 23 commits intomainanoma/juvix-stdlib:mainfrom stdlib-traitsanoma/juvix-stdlib:stdlib-traitsCopy head branch name to clipboardOct 20, 2023

+243-109

Commits

Commits on Oct 4, 2023

• operators for Ord and Eq

  lukaszcz

  committed
  4bf71f4

Commits on Oct 5, 2023

• Natural and Integral traits

  lukaszcz

  committed
  1211f11

• fix Trait.Ord

  lukaszcz

  committed
  36ca85e

Commits on Oct 6, 2023

• fix Trait.Ord

  lukaszcz

  committed
  9acfda8

• specialization

  lukaszcz

  committed
  db7dee6

• Test

  lukaszcz

  committed
  6bf6b59

• inline

  lukaszcz

  committed
  3abeaac

• inline

  lukaszcz

  committed
  0a092b3

• inline always

  lukaszcz

  committed
  8d6e0d7

Commits on Oct 9, 2023

• equality on ordering

  lukaszcz

  committed
  9a091c5

Commits on Oct 10, 2023

• update test

  lukaszcz

  committed
  ccc5405

• generic gcd

  lukaszcz

  committed
  a4b0de1

• fix formatting

  lukaszcz

  committed
  aeb71c1

• fix formatting

  lukaszcz

  committed
  6bdd10c

• fix Int.Range

  lukaszcz

  committed
  cef476f

• generic range

  lukaszcz

  committed
  6df6f76

• fix formatting

  lukaszcz

  committed
  9b0d4b4

• fix inlining

  lukaszcz

  committed
  804ada3

• fix formatting

  lukaszcz

  committed
  3458740

• fix formatting

  lukaszcz

  committed
  486bf47

• inline: case

  lukaszcz

  committed
  7c28492

Commits on Oct 12, 2023

• use syntax operator for record (trait) fields

  lukaszcz

  committed
  8493ff4

• inline: always

  lukaszcz

  committed
  6a76d4f