Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in / Register
  • Iris Iris
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 171
    • Issues 171
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 15
    • Merge requests 15
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Releases
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Iris
  • IrisIris
  • Merge requests
  • !461

Add natural numbers with min RA

  • Review changes

  • Download
  • Email patches
  • Plain diff
Merged Simon Friis Vindum requested to merge simonfv/iris:min-nat-ra into master Jun 13, 2020
  • Overview 47
  • Commits 5
  • Pipelines 0
  • Changes 7

Related to #324 (closed) this MR adds a resource algebra with natural numbers as the carrier and min as the operation.

The MR names the RA min_nat and uses the boxed approach suggested by @robbertkrebbers in #324 (comment 52393). I did make a small change by defining the record field with a :> such that instances of the RA coerce to nats. I'm not sure if there are any downsides to that as well, but it seemed convenient.

If this is how we decide that the min_nat RA should be implemented then the current mnat RA should be changed accordingly: renamed to max_nat, get boxed, and these breaking changes should be documented in the changelog.

Closes #324 (closed).

Edited Jun 17, 2020 by Simon Friis Vindum
Assignee
Assign to
Reviewers
Request review from
Time tracking
Source branch: min-nat-ra