hs-ucan upgrade #580
Closed
hs-ucan upgrade #580
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
* Add ipfs in hie.yaml * Move fission-core tests into fission-core * Move Fission.Test.Web.Server.Auth to Fission.Test.Web.Auth * Move some modules around * Move SemVer and Potency over * Move key stuff * Move Internal & Orphanage stuff * Format files * Remove remaining dependencies * Remove hie.yaml * Move over hs-ucan stuff * Remove most Fission.Prelude imports from hs-ucan * Abstract out facts & resource types in JWT * Format files * Make hs-ucan and fission-core compile * Make fission-core compile & run * Rename a test function * Move AlreadyExists back to fission-core * Format files & don't duplicate UTF8 helpers * Also re-export symmetric in Fission/Key * Use type alias instead of newtype * Move things from Web.JWT or Ucan.Internal to Web.Ucan * Rename JWT stuff into Ucan * Make Resolver use only a single type param * Format files * Revert "Format files" This reverts commit b6504d9. * Format files * Get everything compiling except for fission-web-server * Make everything COMPILE AGAIN 🙌 * Use the same uppercase UCAN everywhere * Upgrade cachix/install-nix-action@v16 * Move Potency type to fission-core (& make it Maybe) * Add a test for Potency * Make everything compile (& format) * Rename `ResourceSemantics` to `DelegationSemantics` * Once and forall fix this broken test * Initialise test suite in hs-ucan * Write partial order property tests for canDelegate * Copy over some tests and write some new * Fix signature * Don't use Flow * Fix imports * Switch LICENSE to Apache 2 * Use >>= instead of <&> * Remove unneccesary AllowAmbigousTypes * We need more $$$ * Even more $$$
|
I'm sorry. I think there's a github bug with the history not updating. I have to open another PR. |
|
Opened #586 in favor of this. Github would not remove the "Extract hs-ucan from fission-core" commit from the history, even though the base branch already has it. Making the diff unreadable. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
These are breaking hs-ucan v0.7 changes right now.
The tests are messy, but it happily reads ts-ucan v0.7 UCANs and computes their capability scope.
This is a draft, because I'm in the process of upgrading to UCAN v0.8.1. I figured this is interesting nonetheless.
The base of this branch is
ucan-upgrade, notmain, because I'm solely working inhs-ucan/for now, and leave the rest of the monorepo in a non-compiling state.