Skip to content

Plutarch support #123

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 40 commits into from
Nov 8, 2023
Merged

Plutarch support #123

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
40 commits
Select commit Hold shift + click to select a range
9242f2c
First iteration on type definition printing for Plutarch
bladyjoker Oct 24, 2023
478a4fe
Implements opaque printing and adds more docs
bladyjoker Oct 24, 2023
1aec8a0
Add the Plutarch Prelude and Plutus configurations (DRAFT)
bladyjoker Oct 24, 2023
25a883e
Implements the `lbg gen-plutarch` command
bladyjoker Oct 24, 2023
691d1ba
Scaffolds lbr-plutarch
bladyjoker Oct 24, 2023
736f627
Drafts LamVal builtins
bladyjoker Oct 24, 2023
3542d6c
LamVal implementation first draft complete
bladyjoker Oct 26, 2023
83cd2f7
Rewiring Haskell codegen to accomodate for Plutarch
bladyjoker Oct 27, 2023
318ee02
Nix wiring for Plutarch backend, lbr-plutarch tweaks, config, ty defs…
bladyjoker Oct 27, 2023
d50fba7
Arrgh, figuring out how lbg cli is wired through nix -.-
bladyjoker Oct 27, 2023
0026ee5
Removes non-existing lbr-plutarch:tests
bladyjoker Oct 27, 2023
fafe544
The same for purs -.-
bladyjoker Oct 27, 2023
a4bdf24
Adds the lbt-plutarch testsuite
bladyjoker Oct 27, 2023
9fe2018
Fixes the empty languageExtensions case
bladyjoker Oct 27, 2023
9eab203
Adds missing codegen module
bladyjoker Oct 27, 2023
a0a37ea
Implements the test for Plutarch's LamVal interpretations and fixes
bladyjoker Oct 29, 2023
c6db934
Fix data-stanza
bladyjoker Oct 30, 2023
e787062
Some more tests and fixes
bladyjoker Oct 30, 2023
f80a2ef
PlutusType derivation seems to work wooot woooot, so much hacking
bladyjoker Oct 30, 2023
71fca33
WIP
bladyjoker Oct 31, 2023
5362ecc
Seems like PTryFrom works, now there's missing PTryFrom instances for…
bladyjoker Oct 31, 2023
9eae684
It compileeeeeeees!!!
bladyjoker Nov 1, 2023
c0ab81f
Roundtrip tests for PlutusV1 done and green
bladyjoker Nov 1, 2023
aff6569
Added missing V2 instances and updates tests to cover
bladyjoker Nov 2, 2023
868793d
Fixes codegen tests
bladyjoker Nov 2, 2023
de5e8c9
Refactor references into a single module and clean up .cabal files
bladyjoker Nov 2, 2023
475c75b
Merge remote-tracking branch 'origin/main' into bladyjoker/plutarch
bladyjoker Nov 2, 2023
a0e938f
Updates TyDef module documentation
bladyjoker Nov 2, 2023
a18f31d
Adds auto derivation for PShow and Generic
bladyjoker Nov 2, 2023
675265d
Prelude opaques get PlutusData, let's see
bladyjoker Nov 2, 2023
7ec8992
Implements the PList
bladyjoker Nov 3, 2023
19cb362
PList cosmetics
bladyjoker Nov 3, 2023
b7c7dae
Various fixes and additions to the testsuite (Prelude types in Plutus…
bladyjoker Nov 6, 2023
d7ee71b
Fixes CI
bladyjoker Nov 7, 2023
50b74dd
Implemented .#dev-plutarch
bladyjoker Nov 7, 2023
680b192
Plutarch example done and update the PList to align with others
bladyjoker Nov 8, 2023
60fbdac
Documentation done
bladyjoker Nov 8, 2023
0549068
Applied Jared's suggestions and fixed pre-commit errors
bladyjoker Nov 8, 2023
3b47761
Additional fixes to the docs
bladyjoker Nov 8, 2023
e827d23
Adds the Plutarch chapter to the book
bladyjoker Nov 8, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 3 additions & 0 deletions .gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -16,3 +16,6 @@ result
**/dist
**/output
.DS_Store
**/.work
**/.extras
**/autogen
3 changes: 2 additions & 1 deletion _typos.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
[default.extend-words]
substituters = "substituters"
hask = "hask"
hask= "hask"
lits="lits"
Nd = "Nd"

[type.pdf]
Expand Down
1 change: 1 addition & 0 deletions docs/SUMMARY.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,7 @@
- [Getting started](getting-started.md)
- [LambdaBuffers to Haskell](haskell.md)
- [LambdaBuffers to Purescript](purescript.md)
- [LambdaBuffers for Plutarch](purescript.md)
- [Design](design.md)
- [API](api.md)
- [LambdaBuffers Frontend (.lbf) syntax](syntax.md)
Expand Down
Loading