Code

Plutarch Numeric hierarchy#160

Code

Draft

sergesku wants to merge 13 commits intoPlutonomicon:stagingPlutonomicon/plutarch-plutus:stagingfrom sergesku:sergesku/Numericsergesku/plutarch:sergesku/NumericCopy head branch name to clipboard

+484-58

Commits

Commits on Jan 20, 2022

• Add Numeric and Natural module

  sergesku

  committed
  d676dd9

Commits on Jan 21, 2022

• Merge branch 'staging' into 'sergesku/Numeric'

  sergesku

  committed
  3f29c5a

• Refact Numeric and Natural

  sergesku

  committed
  1f797e7

• Remove Num, PIntegral, PFractional classes

  sergesku

  committed
  9454d09

• Add Integral functions

  sergesku

  committed
  faa289b

• Fix Rational functions

  sergesku

  committed
  658b60d

• Fix tests

  sergesku

  committed
  95ea57b

Commits on Apr 11, 2022

• Merge branch 'staging' into sergesku/Numeric

  TotallyNotChase

  committed
  a1e173b

Commits on Apr 13, 2022

• Cleanup and address some review comments

  TotallyNotChase

  committed
  beeb9d6

• Move ListUtils into Plutarch.Extra.*

  TotallyNotChase

  committed
  d3fe282

• Add peuclideanDiv/Rem to PEuclideanClosed

  TotallyNotChase

  committed
  ff1b3a5

• Enforce PNatural invariant in PlutusType

  TotallyNotChase

  committed
  c444c4e

• Fix formatting

  TotallyNotChase

  committed
  7969137