Skip to content

Pair#10

Open
tttardigrado wants to merge 7 commits intorepeale:mainfrom
tttardigrado:pair
Open

Pair#10
tttardigrado wants to merge 7 commits intorepeale:mainfrom
tttardigrado:pair

Conversation

@tttardigrado
Copy link
Copy Markdown
Contributor

Add an implementation of a Pair[A, B] type equivalent to haskel's (a, b)

  • New: Constructor for the Pair type
  • Fst: Destructor returning the first element
  • Snd: Destructor returning the second element
  • Get: Destructor converting a Pair into 2 separate values
  • MapFst, MapSnd and MapBoth: Map implementation for the first, second and both values respectively
  • CheckFst, CheckSnd and CheckBoth: Check if the first, second and both values respectively, satisfy a predicate
  • Merge and MergeC: Get the result of a function that consumes both values as arguments
  • Zip: Transform 2 lists into a list of pairs
  • Eq: Check two Pairs for equality

@codecov
Copy link
Copy Markdown

codecov bot commented Aug 15, 2022

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 100.00%. Comparing base (1684a67) to head (f548a63).
⚠️ Report is 12 commits behind head on main.

Additional details and impacted files
@@            Coverage Diff            @@
##              main       #10   +/-   ##
=========================================
  Coverage   100.00%   100.00%           
=========================================
  Files           11        12    +1     
  Lines          119       146   +27     
=========================================
+ Hits           119       146   +27     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant