Docs for casing on constants #7481
Conversation
basetunnel
temporarily deployed
to
github-pages
GitHub Actions
Inactive
|
basetunnel
temporarily deployed
to
github-pages
GitHub Actions
Inactive
|
The doc seems useful! I propose to add Plinth examples to accompany UPLC examples, as this user guide is for Plinth and it makes sense to showcase its types/expressions too. |
zliu41
left a comment
zliu41
left a comment
There was a problem hiding this comment.
Our convention for docs is to put each sentence on one line. No need to update this one but please keep it in mind in the future.
|
|
||
| ::: | ||
|
|
||
| In UPLC, it is possible to branch on expressions of certain built-in types, like |
There was a problem hiding this comment.
We should mention other ways of deconstructing builtin types (e.g., for bool one can use ifThenElse), and why using the new builtin casing feature is better.
There was a problem hiding this comment.
I've added some :::info about this to most of the types, please check if my understanding is correct here.
| lam x (case x (lam a (lam b [(builtin addInteger) a b]))) | ||
| ``` | ||
|
|
||
| ### Integer |
There was a problem hiding this comment.
Mention that the datatypes=BuiltinCasing optoin is irrelevant to Integer. To take advantage of casing on integer, in Plinth one must use PlutusTx.Builtins.caseInteger.
There was a problem hiding this comment.
Looking at the implementation, I think the BuiltinCasing option is necessary. Otherwise it compiles into !!.
basetunnel
had a problem deploying
to
github-pages
GitHub Actions
Failure
No description provided.