effectfully
effectfully
An experimental and very incomplete implementation of the `constrTermFromConstrData` builtin converting `Data.Constr` to a value that can be `case`d on.
We have name mangling [tests](https://github.com/IntersectMBO/plutus/blob/08fe5f3f75f5046add34aa20e1b4bc6f0337c6c9/plutus-core/plutus-core/test/Names/Spec.hs#L45), we should add similar ones except for mangling arbitrary parts of terms, so that we can declaratively specify what kind of transformations turn a well-typed...
This issue is for discussing approaches to improving performance of pattern matching for built-in types. The current approach is inefficient. Details can be found in [this](https://github.com/IntersectMBO/plutus/blob/81ac3ed283e2928faa51185eb6c29696f9d3af39/plutus-core/plutus-core/src/PlutusCore/Default/Builtins.hs#L902) Note, the gist is...
This is a competitor of #5486, let's see how it performs. This adds the `listToConstr` builtin whose Plutus type is ``` all a. list a -> sop [] [a, (list...
This adds static tests ensuring the existence of `Lift` and `Typeable` instances for built-in types. Not ready for review.
This PR is an EXPERIMENT, it's not intended for merging, so don't. It's a proof-of-concept, there's `undefined` in the code and whatnot. The main change is replacing ```haskell data BuiltinRuntime...
This proposes equality checking and serialization builtins of SOPs. [Rendered](https://github.com/input-output-hk/plutus/blob/3b0e02e1a6c4e84cd97f4c92081e0bd4aca38565/plutus-core/docs/equalsCanonical.md).
`plutus-core-test` [takes](https://ci.iog.io/build/4358823) 12 seconds to run `untyped-plutus-core-test` [takes](https://ci.iog.io/build/4358580) 2 minutes and 36 seconds to run. Most of that seems to be spent on the freshly added bitwise primitives. We have...
## Preface This issue is a continuation of #5777 (I'm going to call it "the previous issue") and offers a different perspective. Reading the previous issue is a prerequisite for...
This fixes a bug in `isNormalType` and adds a test. Without the bug fixed the test fails with ``` PlutusCore.Generators.QuickCheck TypesTests normalizedTypeIsNormal: FAIL *** Failed! 'normalizeType' returned a non-normal type...