├── .envrc ├── .ghci ├── .gitignore ├── .markdownlint.yaml ├── CHANGELOG.md ├── CONTRIBUTING.md ├── LICENSE ├── README.md ├── api ├── .envrc ├── build.nix ├── codegen.proto ├── compiler.proto ├── examples │ └── tys.textproto └── lang.proto ├── docs ├── .envrc ├── .gitignore ├── SUMMARY.md ├── aiken-integration.md ├── book.toml ├── build.nix ├── catalyst-reports.md ├── catalyst09-reports │ ├── README.md │ ├── milestone-1.md │ ├── milestone-2.md │ ├── milestone-3.md │ └── milestone-4.md ├── catalyst10-reports │ ├── README.md │ ├── milestone-1.md │ ├── milestone-2.md │ ├── milestone-3.md │ ├── milestone-4.md │ └── milestone-5.md ├── catalyst13-reports │ ├── README.md │ ├── ci-logs │ │ ├── 4n52lchdrnkmc73l10mgvv9j04ykkq9v-lbt-plutus-plutarch-test-tests-0.1.0.0-check.drv.log │ │ ├── crnl10qhhrzw8hixzgjs7w6z5ckwy28j-lbt-plutus-plutustx-test-tests-0.1.0.0-check.drv.log │ │ ├── lvrm5lf8rzlg06sahbd9j4sdh7axa99j-lbt-plutus-nextest-0.1.0.drv.log │ │ ├── szpr3fx8yk3bpl76yrc7gxndx24w97i3-lbt-plutus-haskell-test-tests-0.1.0.0-check.drv.log │ │ └── xi4npf8jnag34a7kmblg8ilgmidvsqa9-lbt-plutus-typescript.drv.log │ └── milestone-1.md ├── codegen.md ├── command-line-interface.md ├── comparison-matrix.md ├── compiler.md ├── design.md ├── examples │ ├── Document.lbf │ └── lb-pkgs.json ├── feedback │ ├── interview-notes.md │ └── questionnaire-results.pdf ├── getting-started.md ├── haskell.md ├── images │ ├── lambda-buffers-banner.png │ └── lambda-buffers-logo.png ├── introduction.md ├── plutarch.md ├── plutarch │ ├── .envrc │ ├── api │ │ └── Example.lbf │ ├── app │ │ └── Example.hs │ ├── build.nix │ ├── cabal.project │ ├── hie.yaml │ └── plutarch-example.cabal ├── plutustx.md ├── plutustx │ ├── .envrc │ ├── api │ │ └── Example.lbf │ ├── app │ │ └── Main.hs │ ├── build.nix │ └── plutustx-example.cabal ├── purescript.md ├── rust.md ├── syntax.md ├── typescript-plutus │ ├── .gitignore │ ├── api │ │ └── lbf │ │ │ ├── MySchema.lbf │ │ │ └── build.nix │ ├── build.nix │ ├── package-lock.json │ ├── package.json │ ├── src │ │ ├── index.mts │ │ └── tsconfig.json │ └── tsconfig-base.json ├── typescript-prelude │ ├── .gitignore │ ├── api │ │ └── lbf │ │ │ ├── MySchema.lbf │ │ │ └── build.nix │ ├── build.nix │ ├── package-lock.json │ ├── package.json │ ├── src │ │ ├── index.mts │ │ └── tsconfig.json │ └── tsconfig-base.json ├── typescript.md └── using-lambdabuffers.md ├── experimental ├── .envrc ├── KindCheckWithFdUni.hs ├── archive │ ├── src │ │ └── LambdaBuffers │ │ │ ├── Compiler │ │ │ └── TypeClassCheck │ │ │ │ ├── Compat.hs │ │ │ │ ├── Pat.hs │ │ │ │ ├── Pretty.hs │ │ │ │ ├── Rules.hs │ │ │ │ ├── Solve.hs │ │ │ │ ├── Utils.hs │ │ │ │ └── Validate.hs │ │ │ └── Extras │ │ │ └── TH.hs │ └── test │ │ └── Test │ │ └── TypeClassCheck.hs ├── build.nix ├── draz-lambuffs-source-dsl.hs ├── karte-lib.dhall ├── main.dhall ├── prolog │ ├── cardinality_check.pl │ ├── class_check.pl │ ├── common_defs.pl │ ├── kind_check.pl │ ├── lb-compiler │ │ ├── aux.pl │ │ ├── compiler-input.pb │ │ ├── compiler_pb.pl │ │ ├── kind_check.pl │ │ └── proto_aux.pl │ ├── lb_checker.pl │ ├── lb_parser.pl │ └── ty_lam.pl ├── sean-lambuffs.dhall └── sean-schemas.dhall ├── extras ├── .envrc ├── build.nix ├── dev-shells │ ├── build.nix │ ├── plutus-haskell │ │ ├── .envrc │ │ ├── build.nix │ │ ├── cabal.project │ │ ├── plutus-haskell.cabal │ │ └── src │ │ │ └── LambdaBuffers │ │ │ └── Plutus │ │ │ └── Play.hs │ └── prelude-haskell │ │ ├── .envrc │ │ ├── build.nix │ │ ├── cabal.project │ │ ├── prelude-haskell.cabal │ │ └── src │ │ └── LambdaBuffers │ │ └── Prelude │ │ └── Play.hs ├── editor │ └── emacs │ │ └── lambda-buffers-mode.el ├── haskell-data.nix ├── lambda-buffers-utils │ ├── .envrc │ ├── build.nix │ ├── cabal.project │ ├── hie.yaml │ ├── lambda-buffers-utils.cabal │ ├── src │ │ └── LambdaBuffers │ │ │ └── Utils │ │ │ └── Logger.hs │ └── test │ │ └── Test.hs └── lbf-nix │ ├── build.nix │ ├── lbf-build.nix │ ├── lbf-haskell.nix │ ├── lbf-list-modules-typescript │ ├── lbf-list-modules.nix │ ├── lbf-plutarch-base.nix │ ├── lbf-plutarch.nix │ ├── lbf-plutus-hs.nix │ ├── lbf-plutus-purescript.nix │ ├── lbf-plutus-rust.nix │ ├── lbf-plutus-typescript.nix │ ├── lbf-plutustx-base.nix │ ├── lbf-plutustx.nix │ ├── lbf-prelude-hs.nix │ ├── lbf-prelude-purescript.nix │ ├── lbf-prelude-rust.nix │ ├── lbf-prelude-typescript.nix │ ├── lbf-purescript.nix │ ├── lbf-rust.nix │ ├── lbf-typescript.nix │ └── utils.nix ├── flake.lock ├── flake.nix ├── fourmolu.yaml ├── hercules-ci.nix ├── lambda-buffers-codegen ├── .envrc ├── app │ ├── LambdaBuffers │ │ └── Codegen │ │ │ └── Cli │ │ │ ├── Gen.hs │ │ │ ├── GenHaskell.hs │ │ │ ├── GenPlutarch.hs │ │ │ ├── GenPlutusTx.hs │ │ │ ├── GenPurescript.hs │ │ │ ├── GenRust.hs │ │ │ └── GenTypescript.hs │ └── Main.hs ├── build.nix ├── cabal.project ├── data │ ├── haskell-plutus-plutustx.json │ ├── haskell-prelude-base.json │ ├── lamval-cases │ │ └── plutarch │ │ │ ├── AppE-1.hs │ │ │ ├── AppE-2.hs │ │ │ ├── CaseE-1.hs │ │ │ ├── CaseIntE-1.hs │ │ │ ├── CaseListE-1.hs │ │ │ ├── CaseTextE-1.hs │ │ │ ├── CtorE-1.hs │ │ │ ├── IntE-1.hs │ │ │ ├── IntE-2.hs │ │ │ ├── LamE-1.hs │ │ │ ├── LamE-2.hs │ │ │ ├── LetE-1.hs │ │ │ ├── LetE-2.hs │ │ │ ├── ListE-1.hs │ │ │ ├── ListE-2.hs │ │ │ ├── ProductE-1.hs │ │ │ ├── ProductE-2.hs │ │ │ ├── RefE-1.hs │ │ │ ├── TextE-1.hs │ │ │ └── VarE-1.hs │ ├── plutarch-plutus.json │ ├── plutarch-prelude.json │ ├── plutustx-plutus.json │ ├── plutustx-prelude.json │ ├── purescript-plutus-ctl.json │ ├── purescript-prelude-base.json │ ├── rust-plutus-pla.json │ ├── rust-prelude-base.json │ ├── typescript-plutus.json │ └── typescript-prelude-base.json ├── hie.yaml ├── lambda-buffers-codegen.cabal ├── src │ └── LambdaBuffers │ │ ├── Codegen.hs │ │ └── Codegen │ │ ├── Check.hs │ │ ├── Config.hs │ │ ├── Haskell.hs │ │ ├── Haskell │ │ ├── Backend.hs │ │ ├── Backend │ │ │ ├── Native.hs │ │ │ ├── Native │ │ │ │ ├── Derive.hs │ │ │ │ └── LamVal.hs │ │ │ ├── Plutarch.hs │ │ │ ├── Plutarch │ │ │ │ ├── Derive.hs │ │ │ │ ├── LamVal.hs │ │ │ │ ├── Refs.hs │ │ │ │ └── TyDef.hs │ │ │ ├── PlutusTx.hs │ │ │ └── PlutusTx │ │ │ │ ├── Derive.hs │ │ │ │ └── LamVal.hs │ │ ├── Config.hs │ │ ├── Print.hs │ │ └── Print │ │ │ ├── InstanceDef.hs │ │ │ ├── LamVal.hs │ │ │ ├── Syntax.hs │ │ │ └── TyDef.hs │ │ ├── LamVal.hs │ │ ├── LamVal │ │ ├── Derive.hs │ │ ├── Eq.hs │ │ ├── Json.hs │ │ ├── MonadPrint.hs │ │ └── PlutusData.hs │ │ ├── Plutarch.hs │ │ ├── PlutusTx.hs │ │ ├── Print.hs │ │ ├── Purescript.hs │ │ ├── Purescript │ │ ├── Backend.hs │ │ ├── Config.hs │ │ ├── Print.hs │ │ ├── Print │ │ │ ├── Derive.hs │ │ │ ├── InstanceDef.hs │ │ │ ├── LamVal.hs │ │ │ ├── Names.hs │ │ │ ├── Ty.hs │ │ │ └── TyDef.hs │ │ └── Syntax.hs │ │ ├── Rust.hs │ │ ├── Rust │ │ ├── Backend.hs │ │ ├── Config.hs │ │ ├── Print.hs │ │ └── Print │ │ │ ├── Derive.hs │ │ │ ├── InstanceDef.hs │ │ │ ├── LamVal.hs │ │ │ ├── Refs.hs │ │ │ ├── Syntax.hs │ │ │ └── TyDef.hs │ │ ├── Typescript.hs │ │ └── Typescript │ │ ├── Backend.hs │ │ ├── Config.hs │ │ ├── Print.hs │ │ ├── Print │ │ ├── Derive.hs │ │ ├── InstanceDef.hs │ │ ├── LamVal.hs │ │ ├── Names.hs │ │ ├── Ty.hs │ │ └── TyDef.hs │ │ └── Syntax.hs └── test │ ├── Test.hs │ └── Test │ └── LambdaBuffers │ ├── Codegen.hs │ └── Codegen │ ├── Haskell.hs │ ├── Plutarch.hs │ ├── Purescript.hs │ └── Rust.hs ├── lambda-buffers-compiler ├── .envrc ├── app │ ├── LambdaBuffers │ │ └── Compiler │ │ │ └── Cli │ │ │ └── Compile.hs │ └── Main.hs ├── build.nix ├── cabal.project ├── data │ ├── minilog-goldens │ │ ├── cycle.pl │ │ ├── eq_typeclass.pl │ │ ├── family.pl │ │ ├── greeks.pl │ │ ├── very_long_arguments.pl │ │ └── very_long_body.pl │ └── typeclasscheck-goldens │ │ ├── cycled_goals_1 │ │ ├── foo.pl │ │ └── prelude.pl │ │ ├── cycled_goals_2 │ │ ├── foo.pl │ │ └── prelude.pl │ │ ├── derive_opaque_1 │ │ └── compiler_error.textproto │ │ ├── derive_opaque_2 │ │ └── compiler_error.textproto │ │ ├── missing_rule_1 │ │ └── compiler_error.textproto │ │ ├── missing_rule_2 │ │ └── compiler_error.textproto │ │ ├── missing_rule_3 │ │ └── compiler_error.textproto │ │ ├── overlapping_rules_1 │ │ └── compiler_error.textproto │ │ ├── overlapping_rules_2 │ │ └── compiler_error.textproto │ │ ├── test1 │ │ ├── foo.pl │ │ └── prelude.pl │ │ ├── test2 │ │ ├── foo.pl │ │ └── prelude.pl │ │ ├── test3 │ │ ├── foo.pl │ │ └── prelude.pl │ │ ├── test4 │ │ ├── foo.pl │ │ └── prelude.pl │ │ ├── test5 │ │ ├── bar.pl │ │ ├── baz.pl │ │ ├── foo.pl │ │ └── prelude.pl │ │ └── test6 │ │ ├── bar.pl │ │ ├── baz.pl │ │ ├── foo.pl │ │ └── prelude.pl ├── hie.yaml ├── lambda-buffers-compiler.cabal ├── src │ └── LambdaBuffers │ │ ├── Compiler.hs │ │ ├── Compiler │ │ ├── KindCheck.hs │ │ ├── KindCheck │ │ │ ├── Derivation.hs │ │ │ ├── Inference.hs │ │ │ ├── Kind.hs │ │ │ └── Type.hs │ │ ├── LamTy.hs │ │ ├── LamTy │ │ │ ├── Eval.hs │ │ │ ├── Pretty.hs │ │ │ └── Types.hs │ │ ├── MiniLog.hs │ │ ├── MiniLog │ │ │ ├── Pretty.hs │ │ │ └── UniFdSolver.hs │ │ ├── NamingCheck.hs │ │ ├── TypeClassCheck.hs │ │ └── TypeClassCheck │ │ │ ├── Errors.hs │ │ │ ├── MiniLog.hs │ │ │ ├── RuleSet.hs │ │ │ └── SuperclassCycleCheck.hs │ │ ├── ProtoCompat.hs │ │ └── ProtoCompat │ │ ├── Indexing.hs │ │ ├── InfoLess.hs │ │ ├── IsCompat.hs │ │ ├── IsCompat │ │ ├── Codegen.hs │ │ ├── Compiler.hs │ │ ├── FromProto.hs │ │ ├── Lang.hs │ │ └── Utils.hs │ │ ├── Types.hs │ │ ├── Types │ │ ├── Codegen.hs │ │ ├── Compiler.hs │ │ ├── Lang.hs │ │ └── Qualified.hs │ │ └── Utils.hs └── test │ ├── Test.hs │ └── Test │ ├── DeriveCheck.hs │ ├── KindCheck.hs │ ├── KindCheck │ └── Errors.hs │ ├── LambdaBuffers │ ├── Compiler.hs │ ├── Compiler │ │ ├── ClassClosure.hs │ │ ├── Coverage.hs │ │ ├── LamTy.hs │ │ ├── MiniLog.hs │ │ ├── Mutation.hs │ │ ├── Phantoms.hs │ │ ├── TypeClassCheck.hs │ │ ├── Utils.hs │ │ ├── Utils │ │ │ └── Golden.hs │ │ └── WellFormed.hs │ └── ProtoCompat │ │ └── Utils.hs │ └── Utils │ ├── CompilerInput.hs │ ├── Constructors.hs │ ├── Module.hs │ └── TyDef.hs ├── lambda-buffers-frontend ├── .envrc ├── app │ ├── LambdaBuffers │ │ └── Frontend │ │ │ └── Cli │ │ │ ├── Build.hs │ │ │ ├── Env.hs │ │ │ ├── Format.hs │ │ │ └── Utils.hs │ └── Main.hs ├── build.nix ├── cabal.project ├── data │ ├── duplicate_tydef │ │ └── A.lbf │ ├── formatting │ │ ├── A.lbf │ │ ├── BadFormat.lbf │ │ └── good │ │ │ ├── A.lbf │ │ │ └── BadFormat.lbf │ ├── goldens │ │ └── good │ │ │ ├── Coop.lbf │ │ │ ├── LambdaBuffers.lbf │ │ │ ├── Plutus.lbf │ │ │ ├── Plutus │ │ │ ├── V1.lbf │ │ │ └── V2.lbf │ │ │ ├── Prelude.lbf │ │ │ ├── PreludeT.lbf │ │ │ └── Rules.lbf │ ├── good │ │ ├── A.lbf │ │ ├── A │ │ │ └── B.lbf │ │ ├── B.lbf │ │ ├── C.lbf │ │ └── Test.lbf │ ├── good_instance │ │ └── GoodInstance.lbf │ ├── good_module_documentation │ │ └── ModuleDocumentation.lbf │ ├── import_cycle_found │ │ ├── A.lbf │ │ ├── B.lbf │ │ └── C.lbf │ ├── imported_not_found │ │ ├── A.lbf │ │ └── B.lbf │ ├── invalid_module_filepath │ │ └── A.lbf │ ├── module_not_found │ │ └── A.lbf │ ├── module_parse_error │ │ └── A.lbf │ ├── multiple_modules_found │ │ ├── A.lbf │ │ ├── B.lbf │ │ └── another_import_path │ │ │ └── B.lbf │ ├── run.sh │ ├── symbol_already_imported │ │ ├── A.lbf │ │ ├── B.lbf │ │ └── C.lbf │ ├── tydef_name_conflict │ │ ├── A.lbf │ │ └── B.lbf │ └── tyref_not_found │ │ ├── A.lbf │ │ ├── B.lbf │ │ └── C.lbf ├── hie.yaml ├── lambda-buffers-frontend.cabal ├── src │ └── LambdaBuffers │ │ ├── Frontend.hs │ │ └── Frontend │ │ ├── CheckReferences.hs │ │ ├── Errors.hs │ │ ├── Errors │ │ ├── Codegen.hs │ │ ├── Compiler.hs │ │ ├── Frontend.hs │ │ └── Utils.hs │ │ ├── Monad.hs │ │ ├── PPrint.hs │ │ ├── Parsec.hs │ │ ├── Scope.hs │ │ ├── Syntax.hs │ │ ├── ToProto.hs │ │ └── Utils.hs └── test │ ├── Test.hs │ └── Test │ └── LambdaBuffers │ ├── Frontend.hs │ └── Frontend │ └── Parsec.hs ├── libs ├── build.nix ├── lbf-lambdabuffers │ └── LambdaBuffers.lbf ├── lbf-plutus │ └── Plutus │ │ ├── V1.lbf │ │ ├── V2.lbf │ │ └── V3.lbf └── lbf-prelude │ └── Prelude.lbf ├── pre-commit.nix ├── runtimes ├── haskell │ ├── lbr-plutarch │ │ ├── .envrc │ │ ├── build.nix │ │ ├── cabal.project │ │ ├── hie.yaml │ │ ├── lbr-plutarch.cabal │ │ ├── src │ │ │ └── LambdaBuffers │ │ │ │ └── Runtime │ │ │ │ ├── Plutarch.hs │ │ │ │ └── Plutarch │ │ │ │ └── LamVal.hs │ │ └── test │ │ │ ├── Test.hs │ │ │ └── Test │ │ │ └── LambdaBuffers │ │ │ └── Runtime │ │ │ └── Plutarch.hs │ ├── lbr-plutus │ │ ├── .envrc │ │ ├── build.nix │ │ ├── cabal.project │ │ ├── hie.yaml │ │ ├── lbr-plutus.cabal │ │ ├── src │ │ │ ├── LambdaBuffers │ │ │ │ └── Runtime │ │ │ │ │ ├── Plutus.hs │ │ │ │ │ └── Plutus │ │ │ │ │ ├── Eq.hs │ │ │ │ │ ├── Json.hs │ │ │ │ │ └── PlutusData.hs │ │ │ └── Test │ │ │ │ └── LambdaBuffers │ │ │ │ └── Plutus │ │ │ │ └── Generators │ │ │ │ └── Correct.hs │ │ └── test │ │ │ ├── Test.hs │ │ │ └── Test │ │ │ └── LambdaBuffers │ │ │ └── Runtime │ │ │ └── Plutus │ │ │ └── Json.hs │ ├── lbr-plutustx │ │ ├── .envrc │ │ ├── build.nix │ │ ├── cabal.project │ │ ├── hie.yaml │ │ ├── lbr-plutustx.cabal │ │ └── src │ │ │ └── LambdaBuffers │ │ │ └── Runtime │ │ │ ├── PlutusTx.hs │ │ │ └── PlutusTx │ │ │ ├── LamVal.hs │ │ │ ├── List.hs │ │ │ └── NotImplemented.hs │ └── lbr-prelude │ │ ├── .envrc │ │ ├── build.nix │ │ ├── cabal.project │ │ ├── hie.yaml │ │ ├── lbr-prelude.cabal │ │ ├── src │ │ └── LambdaBuffers │ │ │ └── Runtime │ │ │ ├── Prelude.hs │ │ │ └── Prelude │ │ │ ├── Generators │ │ │ └── Correct.hs │ │ │ └── Json.hs │ │ └── test │ │ ├── Test.hs │ │ └── Test │ │ └── LambdaBuffers │ │ └── Runtime │ │ └── Prelude │ │ └── Json.hs ├── purescript │ ├── lbr-plutus │ │ ├── .envrc │ │ ├── Makefile │ │ ├── app │ │ │ ├── index.html │ │ │ └── index.js │ │ ├── build.nix │ │ ├── esbuild │ │ │ └── bundle.js │ │ ├── package-lock.json │ │ ├── package.json │ │ ├── packages.dhall │ │ ├── spago-packages.nix │ │ ├── spago.dhall │ │ ├── src │ │ │ ├── LambdaBuffers │ │ │ │ └── Runtime │ │ │ │ │ └── Plutus.purs │ │ │ └── Test │ │ │ │ └── LambdaBuffers │ │ │ │ └── Plutus │ │ │ │ └── Generators │ │ │ │ └── Correct.purs │ │ ├── test │ │ │ └── Test │ │ │ │ ├── LambdaBuffers │ │ │ │ └── Runtime │ │ │ │ │ └── Plutus.purs │ │ │ │ └── Main.purs │ │ └── webpack.config.cjs │ └── lbr-prelude │ │ ├── .envrc │ │ ├── Makefile │ │ ├── app │ │ └── index.js │ │ ├── build.nix │ │ ├── esbuild │ │ └── bundle.js │ │ ├── package-lock.json │ │ ├── package.json │ │ ├── packages.dhall │ │ ├── spago-packages.nix │ │ ├── spago.dhall │ │ ├── src │ │ └── LambdaBuffers │ │ │ └── Runtime │ │ │ ├── Prelude.purs │ │ │ └── Prelude │ │ │ ├── Bytes.purs │ │ │ ├── Generators │ │ │ └── Correct.purs │ │ │ └── Json.purs │ │ ├── test │ │ └── Test │ │ │ ├── LambdaBuffers │ │ │ └── Runtime │ │ │ │ └── Prelude.purs │ │ │ └── Main.purs │ │ └── webpack.config.cjs ├── rust │ ├── lbr-prelude-derive │ │ ├── .envrc │ │ ├── .gitignore │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ ├── build.nix │ │ ├── src │ │ │ └── lib.rs │ │ └── tests │ │ │ ├── enum.rs │ │ │ ├── main.rs │ │ │ ├── newtype.rs │ │ │ ├── struct.rs │ │ │ └── tuple.rs │ └── lbr-prelude │ │ ├── .envrc │ │ ├── .gitignore │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ ├── build.nix │ │ ├── rustfmt.toml │ │ ├── src │ │ ├── error.rs │ │ ├── generators │ │ │ ├── correct.rs │ │ │ └── mod.rs │ │ ├── json.rs │ │ ├── json │ │ │ └── lamval.rs │ │ ├── lamval.rs │ │ ├── lib.rs │ │ └── types.rs │ │ └── tests │ │ └── main.rs └── typescript │ ├── lbr-plutus │ ├── .envrc │ ├── .gitignore │ ├── build.nix │ ├── package-lock.json │ ├── package.json │ └── src │ │ ├── LambdaBuffers │ │ ├── PlutusData.ts │ │ ├── Runtime.ts │ │ ├── V1.ts │ │ ├── V1 │ │ │ ├── Instances.ts │ │ │ └── Symbols.ts │ │ ├── V2.ts │ │ ├── V2 │ │ │ ├── Instances.ts │ │ │ └── Symbols.ts │ │ ├── V3.ts │ │ ├── V3 │ │ │ ├── Instances.ts │ │ │ └── Symbols.ts │ │ └── tsconfig.json │ │ ├── Tests │ │ └── tsconfig.json │ │ ├── tsconfig-base.json │ │ └── tsconfig.json │ └── lbr-prelude │ ├── .gitignore │ ├── build.nix │ ├── package-lock.json │ ├── package.json │ └── src │ ├── LambdaBuffers │ ├── Eq.ts │ ├── Json.ts │ ├── Prelude.ts │ ├── Runtime.ts │ ├── Symbols.ts │ └── tsconfig.json │ ├── Tests │ └── tsconfig.json │ ├── tsconfig-base.json │ └── tsconfig.json ├── settings.nix └── testsuites ├── lbt-plutus ├── README.md ├── api │ ├── Days.lbf │ ├── Foo.lbf │ ├── Foo │ │ └── Bar.lbf │ └── build.nix ├── golden │ ├── Days.Day.0.pd.json │ ├── Days.Day.1.pd.json │ ├── Days.Day.2.pd.json │ ├── Days.Day.3.pd.json │ ├── Days.Day.4.pd.json │ ├── Days.Day.5.pd.json │ ├── Days.Day.6.pd.json │ ├── Days.FreeDay.0.pd.json │ ├── Days.FreeDay.1.pd.json │ ├── Days.WorkDay.0.pd.json │ ├── Days.WorkDay.1.pd.json │ ├── Days.WorkDay.2.pd.json │ ├── Days.WorkDay.3.pd.json │ ├── Days.WorkDay.4.pd.json │ ├── Foo.A.0.pd.json │ ├── Foo.A.1.pd.json │ ├── Foo.A.2.pd.json │ ├── Foo.A.3.pd.json │ ├── Foo.A.4.pd.json │ ├── Foo.A.5.pd.json │ ├── Foo.A.6.pd.json │ ├── Foo.A.7.pd.json │ ├── Foo.A.8.pd.json │ ├── Foo.A.9.pd.json │ ├── Foo.B.0.pd.json │ ├── Foo.B.1.pd.json │ ├── Foo.B.2.pd.json │ ├── Foo.B.3.pd.json │ ├── Foo.B.4.pd.json │ ├── Foo.B.5.pd.json │ ├── Foo.B.6.pd.json │ ├── Foo.B.7.pd.json │ ├── Foo.B.8.pd.json │ ├── Foo.B.9.pd.json │ ├── Foo.C.0.pd.json │ ├── Foo.C.1.pd.json │ ├── Foo.C.2.pd.json │ ├── Foo.C.3.pd.json │ ├── Foo.C.4.pd.json │ ├── Foo.C.5.pd.json │ ├── Foo.C.6.pd.json │ ├── Foo.C.7.pd.json │ ├── Foo.C.8.pd.json │ ├── Foo.C.9.pd.json │ ├── Foo.D.0.pd.json │ ├── Foo.D.1.pd.json │ ├── Foo.D.2.pd.json │ ├── Foo.D.3.pd.json │ ├── Foo.D.4.pd.json │ ├── Foo.D.5.pd.json │ ├── Foo.D.6.pd.json │ ├── Foo.D.7.pd.json │ ├── Foo.FInt.0.pd.json │ ├── Foo.FInt.1.pd.json │ ├── Foo.GInt.0.pd.json │ ├── Foo.GInt.1.pd.json │ ├── PlutusV1.Address.0.json │ ├── PlutusV1.Address.0.pd.json │ ├── PlutusV1.Address.1.json │ ├── PlutusV1.Address.1.pd.json │ ├── PlutusV1.Address.2.json │ ├── PlutusV1.Address.2.pd.json │ ├── PlutusV1.Address.3.json │ ├── PlutusV1.Address.3.pd.json │ ├── PlutusV1.Address.4.json │ ├── PlutusV1.Address.4.pd.json │ ├── PlutusV1.Address.5.json │ ├── PlutusV1.Address.5.pd.json │ ├── PlutusV1.Address.6.json │ ├── PlutusV1.Address.6.pd.json │ ├── PlutusV1.Address.7.json │ ├── PlutusV1.Address.7.pd.json │ ├── PlutusV1.AssetClass.0.json │ ├── PlutusV1.AssetClass.0.pd.json │ ├── PlutusV1.AssetClass.1.json │ ├── PlutusV1.AssetClass.1.pd.json │ ├── PlutusV1.AssetClass.2.json │ ├── PlutusV1.AssetClass.2.pd.json │ ├── PlutusV1.AssetClass.3.json │ ├── PlutusV1.AssetClass.3.pd.json │ ├── PlutusV1.Bytes.0.json │ ├── PlutusV1.Bytes.0.pd.json │ ├── PlutusV1.Bytes.1.json │ ├── PlutusV1.Bytes.1.pd.json │ ├── PlutusV1.Bytes.2.json │ ├── PlutusV1.Bytes.2.pd.json │ ├── PlutusV1.Credential.0.json │ ├── PlutusV1.Credential.0.pd.json │ ├── PlutusV1.Credential.1.json │ ├── PlutusV1.Credential.1.pd.json │ ├── PlutusV1.CurrencySymbol.0.json │ ├── PlutusV1.CurrencySymbol.0.pd.json │ ├── PlutusV1.CurrencySymbol.1.json │ ├── PlutusV1.CurrencySymbol.1.pd.json │ ├── PlutusV1.DCert.0.json │ ├── PlutusV1.DCert.0.pd.json │ ├── PlutusV1.DCert.1.json │ ├── PlutusV1.DCert.1.pd.json │ ├── PlutusV1.DCert.2.json │ ├── PlutusV1.DCert.2.pd.json │ ├── PlutusV1.DCert.3.json │ ├── PlutusV1.DCert.3.pd.json │ ├── PlutusV1.DCert.4.json │ ├── PlutusV1.DCert.4.pd.json │ ├── PlutusV1.DCert.5.json │ ├── PlutusV1.DCert.5.pd.json │ ├── PlutusV1.DCert.6.json │ ├── PlutusV1.DCert.6.pd.json │ ├── PlutusV1.DCert.7.json │ ├── PlutusV1.DCert.7.pd.json │ ├── PlutusV1.DCert.8.json │ ├── PlutusV1.DCert.8.pd.json │ ├── PlutusV1.DCert.9.json │ ├── PlutusV1.DCert.9.pd.json │ ├── PlutusV1.Datum.0.json │ ├── PlutusV1.Datum.0.pd.json │ ├── PlutusV1.DatumHash.0.json │ ├── PlutusV1.DatumHash.0.pd.json │ ├── PlutusV1.Extended.0.json │ ├── PlutusV1.Extended.0.pd.json │ ├── PlutusV1.Extended.1.json │ ├── PlutusV1.Extended.1.pd.json │ ├── PlutusV1.Extended.2.json │ ├── PlutusV1.Extended.2.pd.json │ ├── PlutusV1.Interval.0.json │ ├── PlutusV1.Interval.0.pd.json │ ├── PlutusV1.Interval.1.json │ ├── PlutusV1.Interval.1.pd.json │ ├── PlutusV1.Interval.2.json │ ├── PlutusV1.Interval.2.pd.json │ ├── PlutusV1.Interval.3.json │ ├── PlutusV1.Interval.3.pd.json │ ├── PlutusV1.Interval.4.json │ ├── PlutusV1.Interval.4.pd.json │ ├── PlutusV1.Interval.5.json │ ├── PlutusV1.Interval.5.pd.json │ ├── PlutusV1.Interval.6.json │ ├── PlutusV1.Interval.6.pd.json │ ├── PlutusV1.Interval.7.json │ ├── PlutusV1.Interval.7.pd.json │ ├── PlutusV1.Interval.8.json │ ├── PlutusV1.Interval.8.pd.json │ ├── PlutusV1.Interval.9.json │ ├── PlutusV1.Interval.9.pd.json │ ├── PlutusV1.Lovelace.0.json │ ├── PlutusV1.Lovelace.0.pd.json │ ├── PlutusV1.LowerBound.0.json │ ├── PlutusV1.LowerBound.0.pd.json │ ├── PlutusV1.LowerBound.1.json │ ├── PlutusV1.LowerBound.1.pd.json │ ├── PlutusV1.LowerBound.2.json │ ├── PlutusV1.LowerBound.2.pd.json │ ├── PlutusV1.LowerBound.3.json │ ├── PlutusV1.LowerBound.3.pd.json │ ├── PlutusV1.LowerBound.4.json │ ├── PlutusV1.LowerBound.4.pd.json │ ├── PlutusV1.LowerBound.5.json │ ├── PlutusV1.LowerBound.5.pd.json │ ├── PlutusV1.Map.0.json │ ├── PlutusV1.Map.0.pd.json │ ├── PlutusV1.Map.1.json │ ├── PlutusV1.Map.1.pd.json │ ├── PlutusV1.Map.2.json │ ├── PlutusV1.Map.2.pd.json │ ├── PlutusV1.POSIXTime.0.json │ ├── PlutusV1.POSIXTime.0.pd.json │ ├── PlutusV1.POSIXTime.1.json │ ├── PlutusV1.POSIXTime.1.pd.json │ ├── PlutusV1.POSIXTime.2.json │ ├── PlutusV1.POSIXTime.2.pd.json │ ├── PlutusV1.POSIXTimeRange.0.json │ ├── PlutusV1.POSIXTimeRange.0.pd.json │ ├── PlutusV1.POSIXTimeRange.1.json │ ├── PlutusV1.POSIXTimeRange.1.pd.json │ ├── PlutusV1.POSIXTimeRange.2.json │ ├── PlutusV1.POSIXTimeRange.2.pd.json │ ├── PlutusV1.POSIXTimeRange.3.json │ ├── PlutusV1.POSIXTimeRange.3.pd.json │ ├── PlutusV1.POSIXTimeRange.4.json │ ├── PlutusV1.POSIXTimeRange.4.pd.json │ ├── PlutusV1.POSIXTimeRange.5.json │ ├── PlutusV1.POSIXTimeRange.5.pd.json │ ├── PlutusV1.POSIXTimeRange.6.json │ ├── PlutusV1.POSIXTimeRange.6.pd.json │ ├── PlutusV1.POSIXTimeRange.7.json │ ├── PlutusV1.POSIXTimeRange.7.pd.json │ ├── PlutusV1.POSIXTimeRange.8.json │ ├── PlutusV1.POSIXTimeRange.8.pd.json │ ├── PlutusV1.POSIXTimeRange.9.json │ ├── PlutusV1.POSIXTimeRange.9.pd.json │ ├── PlutusV1.PlutusData.0.json │ ├── PlutusV1.PlutusData.0.pd.json │ ├── PlutusV1.PlutusData.1.json │ ├── PlutusV1.PlutusData.1.pd.json │ ├── PlutusV1.PlutusData.10.pd.json │ ├── PlutusV1.PlutusData.11.pd.json │ ├── PlutusV1.PlutusData.12.pd.json │ ├── PlutusV1.PlutusData.2.json │ ├── PlutusV1.PlutusData.2.pd.json │ ├── PlutusV1.PlutusData.3.json │ ├── PlutusV1.PlutusData.3.pd.json │ ├── PlutusV1.PlutusData.4.json │ ├── PlutusV1.PlutusData.4.pd.json │ ├── PlutusV1.PlutusData.5.json │ ├── PlutusV1.PlutusData.5.pd.json │ ├── PlutusV1.PlutusData.6.json │ ├── PlutusV1.PlutusData.6.pd.json │ ├── PlutusV1.PlutusData.7.json │ ├── PlutusV1.PlutusData.7.pd.json │ ├── PlutusV1.PlutusData.8.json │ ├── PlutusV1.PlutusData.8.pd.json │ ├── PlutusV1.PlutusData.9.json │ ├── PlutusV1.PlutusData.9.pd.json │ ├── PlutusV1.PubKeyHash.0.json │ ├── PlutusV1.PubKeyHash.0.pd.json │ ├── PlutusV1.Redeemer.0.json │ ├── PlutusV1.Redeemer.0.pd.json │ ├── PlutusV1.RedeemerHash.0.json │ ├── PlutusV1.RedeemerHash.0.pd.json │ ├── PlutusV1.ScriptContext.0.json │ ├── PlutusV1.ScriptContext.0.pd.json │ ├── PlutusV1.ScriptContext.1.json │ ├── PlutusV1.ScriptContext.1.pd.json │ ├── PlutusV1.ScriptContext.2.json │ ├── PlutusV1.ScriptContext.2.pd.json │ ├── PlutusV1.ScriptContext.3.json │ ├── PlutusV1.ScriptContext.3.pd.json │ ├── PlutusV1.ScriptContext.4.json │ ├── PlutusV1.ScriptContext.4.pd.json │ ├── PlutusV1.ScriptContext.5.json │ ├── PlutusV1.ScriptContext.5.pd.json │ ├── PlutusV1.ScriptContext.6.json │ ├── PlutusV1.ScriptContext.6.pd.json │ ├── PlutusV1.ScriptContext.7.json │ ├── PlutusV1.ScriptContext.7.pd.json │ ├── PlutusV1.ScriptContext.8.json │ ├── PlutusV1.ScriptContext.8.pd.json │ ├── PlutusV1.ScriptContext.9.json │ ├── PlutusV1.ScriptContext.9.pd.json │ ├── PlutusV1.ScriptHash.0.json │ ├── PlutusV1.ScriptHash.0.pd.json │ ├── PlutusV1.ScriptPurpose.0.json │ ├── PlutusV1.ScriptPurpose.0.pd.json │ ├── PlutusV1.ScriptPurpose.1.json │ ├── PlutusV1.ScriptPurpose.1.pd.json │ ├── PlutusV1.ScriptPurpose.2.json │ ├── PlutusV1.ScriptPurpose.2.pd.json │ ├── PlutusV1.ScriptPurpose.3.json │ ├── PlutusV1.ScriptPurpose.3.pd.json │ ├── PlutusV1.ScriptPurpose.4.json │ ├── PlutusV1.ScriptPurpose.4.pd.json │ ├── PlutusV1.ScriptPurpose.5.json │ ├── PlutusV1.ScriptPurpose.5.pd.json │ ├── PlutusV1.ScriptPurpose.6.json │ ├── PlutusV1.ScriptPurpose.6.pd.json │ ├── PlutusV1.ScriptPurpose.7.json │ ├── PlutusV1.ScriptPurpose.7.pd.json │ ├── PlutusV1.ScriptPurpose.8.json │ ├── PlutusV1.ScriptPurpose.8.pd.json │ ├── PlutusV1.ScriptPurpose.9.json │ ├── PlutusV1.ScriptPurpose.9.pd.json │ ├── PlutusV1.StakingCredential.0.json │ ├── PlutusV1.StakingCredential.0.pd.json │ ├── PlutusV1.StakingCredential.1.json │ ├── PlutusV1.StakingCredential.1.pd.json │ ├── PlutusV1.StakingCredential.2.json │ ├── PlutusV1.StakingCredential.2.pd.json │ ├── PlutusV1.TokenName.0.json │ ├── PlutusV1.TokenName.0.pd.json │ ├── PlutusV1.TokenName.1.json │ ├── PlutusV1.TokenName.1.pd.json │ ├── PlutusV1.TokenName.2.json │ ├── PlutusV1.TokenName.2.pd.json │ ├── PlutusV1.TxId.0.json │ ├── PlutusV1.TxId.0.pd.json │ ├── PlutusV1.TxInInfo.0.json │ ├── PlutusV1.TxInInfo.0.pd.json │ ├── PlutusV1.TxInInfo.1.json │ ├── PlutusV1.TxInInfo.1.pd.json │ ├── PlutusV1.TxInInfo.2.json │ ├── PlutusV1.TxInInfo.2.pd.json │ ├── PlutusV1.TxInInfo.3.json │ ├── PlutusV1.TxInInfo.3.pd.json │ ├── PlutusV1.TxInInfo.4.json │ ├── PlutusV1.TxInInfo.4.pd.json │ ├── PlutusV1.TxInInfo.5.json │ ├── PlutusV1.TxInInfo.5.pd.json │ ├── PlutusV1.TxInInfo.6.json │ ├── PlutusV1.TxInInfo.6.pd.json │ ├── PlutusV1.TxInInfo.7.json │ ├── PlutusV1.TxInInfo.7.pd.json │ ├── PlutusV1.TxInInfo.8.json │ ├── PlutusV1.TxInInfo.8.pd.json │ ├── PlutusV1.TxInInfo.9.json │ ├── PlutusV1.TxInInfo.9.pd.json │ ├── PlutusV1.TxInfo.0.json │ ├── PlutusV1.TxInfo.0.pd.json │ ├── PlutusV1.TxInfo.1.json │ ├── PlutusV1.TxInfo.1.pd.json │ ├── PlutusV1.TxInfo.2.json │ ├── PlutusV1.TxInfo.2.pd.json │ ├── PlutusV1.TxInfo.3.json │ ├── PlutusV1.TxInfo.3.pd.json │ ├── PlutusV1.TxInfo.4.json │ ├── PlutusV1.TxInfo.4.pd.json │ ├── PlutusV1.TxInfo.5.json │ ├── PlutusV1.TxInfo.5.pd.json │ ├── PlutusV1.TxInfo.6.json │ ├── PlutusV1.TxInfo.6.pd.json │ ├── PlutusV1.TxInfo.7.json │ ├── PlutusV1.TxInfo.7.pd.json │ ├── PlutusV1.TxInfo.8.json │ ├── PlutusV1.TxInfo.8.pd.json │ ├── PlutusV1.TxInfo.9.json │ ├── PlutusV1.TxInfo.9.pd.json │ ├── PlutusV1.TxOut.0.json │ ├── PlutusV1.TxOut.0.pd.json │ ├── PlutusV1.TxOut.1.json │ ├── PlutusV1.TxOut.1.pd.json │ ├── PlutusV1.TxOut.2.json │ ├── PlutusV1.TxOut.2.pd.json │ ├── PlutusV1.TxOut.3.json │ ├── PlutusV1.TxOut.3.pd.json │ ├── PlutusV1.TxOut.4.json │ ├── PlutusV1.TxOut.4.pd.json │ ├── PlutusV1.TxOut.5.json │ ├── PlutusV1.TxOut.5.pd.json │ ├── PlutusV1.TxOut.6.json │ ├── PlutusV1.TxOut.6.pd.json │ ├── PlutusV1.TxOut.7.json │ ├── PlutusV1.TxOut.7.pd.json │ ├── PlutusV1.TxOut.8.json │ ├── PlutusV1.TxOut.8.pd.json │ ├── PlutusV1.TxOut.9.json │ ├── PlutusV1.TxOut.9.pd.json │ ├── PlutusV1.TxOutRef.0.json │ ├── PlutusV1.TxOutRef.0.pd.json │ ├── PlutusV1.UpperBound.0.json │ ├── PlutusV1.UpperBound.0.pd.json │ ├── PlutusV1.UpperBound.1.json │ ├── PlutusV1.UpperBound.1.pd.json │ ├── PlutusV1.UpperBound.2.json │ ├── PlutusV1.UpperBound.2.pd.json │ ├── PlutusV1.UpperBound.3.json │ ├── PlutusV1.UpperBound.3.pd.json │ ├── PlutusV1.UpperBound.4.json │ ├── PlutusV1.UpperBound.4.pd.json │ ├── PlutusV1.UpperBound.5.json │ ├── PlutusV1.UpperBound.5.pd.json │ ├── PlutusV1.Value.0.json │ ├── PlutusV1.Value.0.pd.json │ ├── PlutusV1.Value.1.json │ ├── PlutusV1.Value.1.pd.json │ ├── PlutusV1.Value.2.json │ ├── PlutusV1.Value.2.pd.json │ ├── PlutusV2.OutputDatum.0.json │ ├── PlutusV2.OutputDatum.0.pd.json │ ├── PlutusV2.OutputDatum.1.json │ ├── PlutusV2.OutputDatum.1.pd.json │ ├── PlutusV2.OutputDatum.2.json │ ├── PlutusV2.OutputDatum.2.pd.json │ ├── PlutusV2.ScriptContext.0.json │ ├── PlutusV2.ScriptContext.0.pd.json │ ├── PlutusV2.ScriptContext.1.json │ ├── PlutusV2.ScriptContext.1.pd.json │ ├── PlutusV2.ScriptContext.2.json │ ├── PlutusV2.ScriptContext.2.pd.json │ ├── PlutusV2.ScriptContext.3.json │ ├── PlutusV2.ScriptContext.3.pd.json │ ├── PlutusV2.ScriptContext.4.json │ ├── PlutusV2.ScriptContext.4.pd.json │ ├── PlutusV2.ScriptContext.5.json │ ├── PlutusV2.ScriptContext.5.pd.json │ ├── PlutusV2.ScriptContext.6.json │ ├── PlutusV2.ScriptContext.6.pd.json │ ├── PlutusV2.ScriptContext.7.json │ ├── PlutusV2.ScriptContext.7.pd.json │ ├── PlutusV2.ScriptContext.8.json │ ├── PlutusV2.ScriptContext.8.pd.json │ ├── PlutusV2.ScriptContext.9.json │ ├── PlutusV2.ScriptContext.9.pd.json │ ├── PlutusV2.TxInInfo.0.json │ ├── PlutusV2.TxInInfo.0.pd.json │ ├── PlutusV2.TxInInfo.1.json │ ├── PlutusV2.TxInInfo.1.pd.json │ ├── PlutusV2.TxInInfo.2.json │ ├── PlutusV2.TxInInfo.2.pd.json │ ├── PlutusV2.TxInInfo.3.json │ ├── PlutusV2.TxInInfo.3.pd.json │ ├── PlutusV2.TxInInfo.4.json │ ├── PlutusV2.TxInInfo.4.pd.json │ ├── PlutusV2.TxInInfo.5.json │ ├── PlutusV2.TxInInfo.5.pd.json │ ├── PlutusV2.TxInInfo.6.json │ ├── PlutusV2.TxInInfo.6.pd.json │ ├── PlutusV2.TxInInfo.7.json │ ├── PlutusV2.TxInInfo.7.pd.json │ ├── PlutusV2.TxInInfo.8.json │ ├── PlutusV2.TxInInfo.8.pd.json │ ├── PlutusV2.TxInInfo.9.json │ ├── PlutusV2.TxInInfo.9.pd.json │ ├── PlutusV2.TxInfo.0.json │ ├── PlutusV2.TxInfo.0.pd.json │ ├── PlutusV2.TxInfo.1.json │ ├── PlutusV2.TxInfo.1.pd.json │ ├── PlutusV2.TxInfo.2.json │ ├── PlutusV2.TxInfo.2.pd.json │ ├── PlutusV2.TxInfo.3.json │ ├── PlutusV2.TxInfo.3.pd.json │ ├── PlutusV2.TxInfo.4.json │ ├── PlutusV2.TxInfo.4.pd.json │ ├── PlutusV2.TxInfo.5.json │ ├── PlutusV2.TxInfo.5.pd.json │ ├── PlutusV2.TxInfo.6.json │ ├── PlutusV2.TxInfo.6.pd.json │ ├── PlutusV2.TxInfo.7.json │ ├── PlutusV2.TxInfo.7.pd.json │ ├── PlutusV2.TxInfo.8.json │ ├── PlutusV2.TxInfo.8.pd.json │ ├── PlutusV2.TxInfo.9.json │ ├── PlutusV2.TxInfo.9.pd.json │ ├── PlutusV2.TxOut.0.json │ ├── PlutusV2.TxOut.0.pd.json │ ├── PlutusV2.TxOut.1.json │ ├── PlutusV2.TxOut.1.pd.json │ ├── PlutusV2.TxOut.2.json │ ├── PlutusV2.TxOut.2.pd.json │ ├── PlutusV2.TxOut.3.json │ ├── PlutusV2.TxOut.3.pd.json │ ├── PlutusV2.TxOut.4.json │ ├── PlutusV2.TxOut.4.pd.json │ ├── PlutusV2.TxOut.5.json │ ├── PlutusV2.TxOut.5.pd.json │ ├── PlutusV2.TxOut.6.json │ ├── PlutusV2.TxOut.6.pd.json │ ├── PlutusV2.TxOut.7.json │ ├── PlutusV2.TxOut.7.pd.json │ ├── PlutusV2.TxOut.8.json │ ├── PlutusV2.TxOut.8.pd.json │ ├── PlutusV2.TxOut.9.json │ ├── PlutusV2.TxOut.9.pd.json │ ├── PlutusV3.ChangedParameters.0.json │ ├── PlutusV3.ChangedParameters.0.pd.json │ ├── PlutusV3.ChangedParameters.1.json │ ├── PlutusV3.ChangedParameters.1.pd.json │ ├── PlutusV3.ChangedParameters.2.json │ ├── PlutusV3.ChangedParameters.2.pd.json │ ├── PlutusV3.ChangedParameters.3.json │ ├── PlutusV3.ChangedParameters.3.pd.json │ ├── PlutusV3.ChangedParameters.4.json │ ├── PlutusV3.ChangedParameters.4.pd.json │ ├── PlutusV3.ChangedParameters.5.json │ ├── PlutusV3.ChangedParameters.5.pd.json │ ├── PlutusV3.ChangedParameters.6.json │ ├── PlutusV3.ChangedParameters.6.pd.json │ ├── PlutusV3.ChangedParameters.7.json │ ├── PlutusV3.ChangedParameters.7.pd.json │ ├── PlutusV3.ChangedParameters.8.json │ ├── PlutusV3.ChangedParameters.8.pd.json │ ├── PlutusV3.ChangedParameters.9.json │ ├── PlutusV3.ChangedParameters.9.pd.json │ ├── PlutusV3.ColdCommitteeCredential.0.json │ ├── PlutusV3.ColdCommitteeCredential.0.pd.json │ ├── PlutusV3.ColdCommitteeCredential.1.json │ ├── PlutusV3.ColdCommitteeCredential.1.pd.json │ ├── PlutusV3.Committee.0.json │ ├── PlutusV3.Committee.0.pd.json │ ├── PlutusV3.Constitution.0.json │ ├── PlutusV3.Constitution.0.pd.json │ ├── PlutusV3.Constitution.1.json │ ├── PlutusV3.Constitution.1.pd.json │ ├── PlutusV3.DRep.0.json │ ├── PlutusV3.DRep.0.pd.json │ ├── PlutusV3.DRep.1.json │ ├── PlutusV3.DRep.1.pd.json │ ├── PlutusV3.DRep.2.json │ ├── PlutusV3.DRep.2.pd.json │ ├── PlutusV3.DRep.3.json │ ├── PlutusV3.DRep.3.pd.json │ ├── PlutusV3.DRepCredential.0.json │ ├── PlutusV3.DRepCredential.0.pd.json │ ├── PlutusV3.DRepCredential.1.json │ ├── PlutusV3.DRepCredential.1.pd.json │ ├── PlutusV3.Delegatee.0.json │ ├── PlutusV3.Delegatee.0.pd.json │ ├── PlutusV3.Delegatee.1.json │ ├── PlutusV3.Delegatee.1.pd.json │ ├── PlutusV3.Delegatee.2.json │ ├── PlutusV3.Delegatee.2.pd.json │ ├── PlutusV3.Delegatee.3.json │ ├── PlutusV3.Delegatee.3.pd.json │ ├── PlutusV3.Delegatee.4.json │ ├── PlutusV3.Delegatee.4.pd.json │ ├── PlutusV3.Delegatee.5.json │ ├── PlutusV3.Delegatee.5.pd.json │ ├── PlutusV3.Delegatee.6.json │ ├── PlutusV3.Delegatee.6.pd.json │ ├── PlutusV3.Delegatee.7.json │ ├── PlutusV3.Delegatee.7.pd.json │ ├── PlutusV3.Delegatee.8.json │ ├── PlutusV3.Delegatee.8.pd.json │ ├── PlutusV3.GovernanceAction.0.json │ ├── PlutusV3.GovernanceAction.0.pd.json │ ├── PlutusV3.GovernanceAction.1.json │ ├── PlutusV3.GovernanceAction.1.pd.json │ ├── PlutusV3.GovernanceAction.2.json │ ├── PlutusV3.GovernanceAction.2.pd.json │ ├── PlutusV3.GovernanceAction.3.json │ ├── PlutusV3.GovernanceAction.3.pd.json │ ├── PlutusV3.GovernanceAction.4.json │ ├── PlutusV3.GovernanceAction.4.pd.json │ ├── PlutusV3.GovernanceAction.5.json │ ├── PlutusV3.GovernanceAction.5.pd.json │ ├── PlutusV3.GovernanceAction.6.json │ ├── PlutusV3.GovernanceAction.6.pd.json │ ├── PlutusV3.GovernanceAction.7.json │ ├── PlutusV3.GovernanceAction.7.pd.json │ ├── PlutusV3.GovernanceAction.8.json │ ├── PlutusV3.GovernanceAction.8.pd.json │ ├── PlutusV3.GovernanceAction.9.json │ ├── PlutusV3.GovernanceAction.9.pd.json │ ├── PlutusV3.GovernanceActionId.0.json │ ├── PlutusV3.GovernanceActionId.0.pd.json │ ├── PlutusV3.HotCommitteeCredential.0.json │ ├── PlutusV3.HotCommitteeCredential.0.pd.json │ ├── PlutusV3.HotCommitteeCredential.1.json │ ├── PlutusV3.HotCommitteeCredential.1.pd.json │ ├── PlutusV3.ProposalProcedure.0.json │ ├── PlutusV3.ProposalProcedure.0.pd.json │ ├── PlutusV3.ProposalProcedure.1.json │ ├── PlutusV3.ProposalProcedure.1.pd.json │ ├── PlutusV3.ProposalProcedure.2.json │ ├── PlutusV3.ProposalProcedure.2.pd.json │ ├── PlutusV3.ProposalProcedure.3.json │ ├── PlutusV3.ProposalProcedure.3.pd.json │ ├── PlutusV3.ProposalProcedure.4.json │ ├── PlutusV3.ProposalProcedure.4.pd.json │ ├── PlutusV3.ProposalProcedure.5.json │ ├── PlutusV3.ProposalProcedure.5.pd.json │ ├── PlutusV3.ProposalProcedure.6.json │ ├── PlutusV3.ProposalProcedure.6.pd.json │ ├── PlutusV3.ProposalProcedure.7.json │ ├── PlutusV3.ProposalProcedure.7.pd.json │ ├── PlutusV3.ProposalProcedure.8.json │ ├── PlutusV3.ProposalProcedure.8.pd.json │ ├── PlutusV3.ProposalProcedure.9.json │ ├── PlutusV3.ProposalProcedure.9.pd.json │ ├── PlutusV3.ProtocolVersion.0.json │ ├── PlutusV3.ProtocolVersion.0.pd.json │ ├── PlutusV3.Rational.0.json │ ├── PlutusV3.Rational.0.pd.json │ ├── PlutusV3.ScriptContext.0.json │ ├── PlutusV3.ScriptContext.0.pd.json │ ├── PlutusV3.ScriptContext.1.json │ ├── PlutusV3.ScriptContext.1.pd.json │ ├── PlutusV3.ScriptContext.2.json │ ├── PlutusV3.ScriptContext.2.pd.json │ ├── PlutusV3.ScriptContext.3.json │ ├── PlutusV3.ScriptContext.3.pd.json │ ├── PlutusV3.ScriptContext.4.json │ ├── PlutusV3.ScriptContext.4.pd.json │ ├── PlutusV3.ScriptContext.5.json │ ├── PlutusV3.ScriptContext.5.pd.json │ ├── PlutusV3.ScriptContext.6.json │ ├── PlutusV3.ScriptContext.6.pd.json │ ├── PlutusV3.ScriptContext.7.json │ ├── PlutusV3.ScriptContext.7.pd.json │ ├── PlutusV3.ScriptContext.8.json │ ├── PlutusV3.ScriptContext.8.pd.json │ ├── PlutusV3.ScriptContext.9.json │ ├── PlutusV3.ScriptContext.9.pd.json │ ├── PlutusV3.ScriptInfo.0.json │ ├── PlutusV3.ScriptInfo.0.pd.json │ ├── PlutusV3.ScriptInfo.1.json │ ├── PlutusV3.ScriptInfo.1.pd.json │ ├── PlutusV3.ScriptInfo.2.json │ ├── PlutusV3.ScriptInfo.2.pd.json │ ├── PlutusV3.ScriptInfo.3.json │ ├── PlutusV3.ScriptInfo.3.pd.json │ ├── PlutusV3.ScriptInfo.4.json │ ├── PlutusV3.ScriptInfo.4.pd.json │ ├── PlutusV3.ScriptInfo.5.json │ ├── PlutusV3.ScriptInfo.5.pd.json │ ├── PlutusV3.ScriptInfo.6.json │ ├── PlutusV3.ScriptInfo.6.pd.json │ ├── PlutusV3.ScriptInfo.7.json │ ├── PlutusV3.ScriptInfo.7.pd.json │ ├── PlutusV3.ScriptInfo.8.json │ ├── PlutusV3.ScriptInfo.8.pd.json │ ├── PlutusV3.ScriptInfo.9.json │ ├── PlutusV3.ScriptInfo.9.pd.json │ ├── PlutusV3.ScriptPurpose.0.json │ ├── PlutusV3.ScriptPurpose.0.pd.json │ ├── PlutusV3.ScriptPurpose.1.json │ ├── PlutusV3.ScriptPurpose.1.pd.json │ ├── PlutusV3.ScriptPurpose.2.json │ ├── PlutusV3.ScriptPurpose.2.pd.json │ ├── PlutusV3.ScriptPurpose.3.json │ ├── PlutusV3.ScriptPurpose.3.pd.json │ ├── PlutusV3.ScriptPurpose.4.json │ ├── PlutusV3.ScriptPurpose.4.pd.json │ ├── PlutusV3.ScriptPurpose.5.json │ ├── PlutusV3.ScriptPurpose.5.pd.json │ ├── PlutusV3.ScriptPurpose.6.json │ ├── PlutusV3.ScriptPurpose.6.pd.json │ ├── PlutusV3.ScriptPurpose.7.json │ ├── PlutusV3.ScriptPurpose.7.pd.json │ ├── PlutusV3.ScriptPurpose.8.json │ ├── PlutusV3.ScriptPurpose.8.pd.json │ ├── PlutusV3.ScriptPurpose.9.json │ ├── PlutusV3.ScriptPurpose.9.pd.json │ ├── PlutusV3.TxCert.0.json │ ├── PlutusV3.TxCert.0.pd.json │ ├── PlutusV3.TxCert.1.json │ ├── PlutusV3.TxCert.1.pd.json │ ├── PlutusV3.TxCert.2.json │ ├── PlutusV3.TxCert.2.pd.json │ ├── PlutusV3.TxCert.3.json │ ├── PlutusV3.TxCert.3.pd.json │ ├── PlutusV3.TxCert.4.json │ ├── PlutusV3.TxCert.4.pd.json │ ├── PlutusV3.TxCert.5.json │ ├── PlutusV3.TxCert.5.pd.json │ ├── PlutusV3.TxCert.6.json │ ├── PlutusV3.TxCert.6.pd.json │ ├── PlutusV3.TxCert.7.json │ ├── PlutusV3.TxCert.7.pd.json │ ├── PlutusV3.TxCert.8.json │ ├── PlutusV3.TxCert.8.pd.json │ ├── PlutusV3.TxCert.9.json │ ├── PlutusV3.TxCert.9.pd.json │ ├── PlutusV3.TxId.0.json │ ├── PlutusV3.TxId.0.pd.json │ ├── PlutusV3.TxInInfo.0.json │ ├── PlutusV3.TxInInfo.0.pd.json │ ├── PlutusV3.TxInInfo.1.json │ ├── PlutusV3.TxInInfo.1.pd.json │ ├── PlutusV3.TxInInfo.2.json │ ├── PlutusV3.TxInInfo.2.pd.json │ ├── PlutusV3.TxInInfo.3.json │ ├── PlutusV3.TxInInfo.3.pd.json │ ├── PlutusV3.TxInInfo.4.json │ ├── PlutusV3.TxInInfo.4.pd.json │ ├── PlutusV3.TxInInfo.5.json │ ├── PlutusV3.TxInInfo.5.pd.json │ ├── PlutusV3.TxInInfo.6.json │ ├── PlutusV3.TxInInfo.6.pd.json │ ├── PlutusV3.TxInInfo.7.json │ ├── PlutusV3.TxInInfo.7.pd.json │ ├── PlutusV3.TxInInfo.8.json │ ├── PlutusV3.TxInInfo.8.pd.json │ ├── PlutusV3.TxInInfo.9.json │ ├── PlutusV3.TxInInfo.9.pd.json │ ├── PlutusV3.TxInfo.0.json │ ├── PlutusV3.TxInfo.0.pd.json │ ├── PlutusV3.TxInfo.1.json │ ├── PlutusV3.TxInfo.1.pd.json │ ├── PlutusV3.TxInfo.2.json │ ├── PlutusV3.TxInfo.2.pd.json │ ├── PlutusV3.TxInfo.3.json │ ├── PlutusV3.TxInfo.3.pd.json │ ├── PlutusV3.TxInfo.4.json │ ├── PlutusV3.TxInfo.4.pd.json │ ├── PlutusV3.TxInfo.5.json │ ├── PlutusV3.TxInfo.5.pd.json │ ├── PlutusV3.TxInfo.6.json │ ├── PlutusV3.TxInfo.6.pd.json │ ├── PlutusV3.TxInfo.7.json │ ├── PlutusV3.TxInfo.7.pd.json │ ├── PlutusV3.TxInfo.8.json │ ├── PlutusV3.TxInfo.8.pd.json │ ├── PlutusV3.TxInfo.9.json │ ├── PlutusV3.TxInfo.9.pd.json │ ├── PlutusV3.TxOutRef.0.json │ ├── PlutusV3.TxOutRef.0.pd.json │ ├── PlutusV3.Vote.0.json │ ├── PlutusV3.Vote.0.pd.json │ ├── PlutusV3.Vote.1.json │ ├── PlutusV3.Vote.1.pd.json │ ├── PlutusV3.Vote.2.json │ ├── PlutusV3.Vote.2.pd.json │ ├── PlutusV3.Voter.0.json │ ├── PlutusV3.Voter.0.pd.json │ ├── PlutusV3.Voter.1.json │ ├── PlutusV3.Voter.1.pd.json │ ├── PlutusV3.Voter.2.json │ ├── PlutusV3.Voter.2.pd.json │ ├── PlutusV3.Voter.3.json │ ├── PlutusV3.Voter.3.pd.json │ ├── PlutusV3.Voter.4.json │ ├── PlutusV3.Voter.4.pd.json │ ├── Prelude.Bool.0.pd.json │ ├── Prelude.Bool.1.pd.json │ ├── Prelude.Either.0.pd.json │ ├── Prelude.Either.1.pd.json │ ├── Prelude.Either.2.pd.json │ ├── Prelude.List.0.pd.json │ ├── Prelude.List.1.pd.json │ ├── Prelude.List.2.pd.json │ ├── Prelude.List.3.pd.json │ ├── Prelude.Maybe.0.pd.json │ ├── Prelude.Maybe.1.pd.json │ ├── Prelude.Maybe.2.pd.json │ └── build.nix ├── lbt-plutus-haskell │ ├── .envrc │ ├── app │ │ ├── Main.hs │ │ └── Test │ │ │ └── LambdaBuffers │ │ │ └── Plutus │ │ │ └── Cli │ │ │ ├── GenerateJson.hs │ │ │ └── GeneratePlutusData.hs │ ├── build.nix │ ├── cabal.project │ ├── hie.yaml │ ├── lbt-plutus-haskell.cabal │ ├── src │ │ └── Test │ │ │ └── LambdaBuffers │ │ │ └── Plutus │ │ │ ├── Golden.hs │ │ │ └── Golden │ │ │ ├── Json.hs │ │ │ ├── PlutusData.hs │ │ │ └── Utils.hs │ └── test │ │ ├── Test.hs │ │ └── Test │ │ └── LambdaBuffers │ │ └── Runtime │ │ └── Plutus │ │ ├── Generators │ │ └── Correct.hs │ │ ├── Json.hs │ │ └── PlutusData.hs ├── lbt-plutus-plutarch │ ├── .envrc │ ├── build.nix │ ├── cabal.project │ ├── hie.yaml │ ├── lbt-plutus-plutarch.cabal │ ├── src │ │ └── Test │ │ │ └── LambdaBuffers │ │ │ └── Plutarch │ │ │ └── Golden.hs │ └── test │ │ ├── Test.hs │ │ └── Test │ │ └── LambdaBuffers │ │ └── Runtime │ │ └── Plutarch │ │ └── PlutusData.hs ├── lbt-plutus-plutustx │ ├── .envrc │ ├── build.nix │ ├── cabal.project │ ├── hie.yaml │ ├── lbt-plutus-plutustx.cabal │ └── test │ │ ├── Test.hs │ │ └── Test │ │ └── LambdaBuffers │ │ └── Runtime │ │ └── PlutusTx │ │ ├── Evaluate.hs │ │ ├── PlutusData.hs │ │ └── PlutusTx.hs ├── lbt-plutus-purescript │ ├── .envrc │ ├── .gitignore │ ├── Makefile │ ├── app │ │ ├── index.html │ │ └── index.js │ ├── build.nix │ ├── esbuild │ │ └── bundle.js │ ├── package-lock.json │ ├── package.json │ ├── packages.dhall │ ├── spago-packages.nix │ ├── spago.dhall │ ├── test │ │ └── Test │ │ │ ├── LambdaBuffers │ │ │ └── Runtime │ │ │ │ └── Plutus │ │ │ │ ├── Generators │ │ │ │ └── Correct.purs │ │ │ │ └── PlutusData.purs │ │ │ └── Main.purs │ └── webpack.config.cjs ├── lbt-plutus-rust │ ├── .envrc │ ├── .gitignore │ ├── Cargo.lock │ ├── Cargo.toml │ ├── build.nix │ ├── src │ │ └── lib.rs │ └── tests │ │ ├── goldens.rs │ │ ├── main.rs │ │ └── utils.rs └── lbt-plutus-typescript │ ├── .envrc │ ├── .gitignore │ ├── build.nix │ ├── package-lock.json │ ├── package.json │ ├── src │ ├── Goldens.ts │ ├── Json-test.ts │ ├── PlutusData-test.ts │ ├── Utils.ts │ └── tsconfig.json │ └── tsconfig-base.json └── lbt-prelude ├── README.md ├── api ├── Days.lbf ├── Foo.lbf ├── Foo │ └── Bar.lbf └── build.nix ├── golden ├── Days.Day.0.json ├── Days.Day.1.json ├── Days.Day.2.json ├── Days.Day.3.json ├── Days.Day.4.json ├── Days.Day.5.json ├── Days.Day.6.json ├── Days.FreeDay.0.json ├── Days.FreeDay.1.json ├── Days.WorkDay.0.json ├── Days.WorkDay.1.json ├── Days.WorkDay.2.json ├── Days.WorkDay.3.json ├── Days.WorkDay.4.json ├── Foo.A.0.json ├── Foo.A.1.json ├── Foo.A.2.json ├── Foo.A.3.json ├── Foo.A.4.json ├── Foo.B.0.json ├── Foo.C.0.json ├── Foo.D.0.json ├── Foo.D.1.json ├── Foo.D.2.json ├── Foo.D.3.json ├── Foo.D.4.json ├── Foo.FInt.0.json ├── Foo.FInt.1.json ├── Foo.GInt.0.json ├── Foo.GInt.1.json ├── Prelude.Bool.0.json ├── Prelude.Bool.1.json ├── Prelude.Bytes.0.json ├── Prelude.Bytes.1.json ├── Prelude.Bytes.2.json ├── Prelude.Char.0.json ├── Prelude.Char.1.json ├── Prelude.Char.2.json ├── Prelude.Either.0.json ├── Prelude.Either.1.json ├── Prelude.Either.2.json ├── Prelude.Integer.0.json ├── Prelude.Integer.1.json ├── Prelude.Integer.10.json ├── Prelude.Integer.2.json ├── Prelude.Integer.3.json ├── Prelude.Integer.4.json ├── Prelude.Integer.5.json ├── Prelude.Integer.6.json ├── Prelude.Integer.7.json ├── Prelude.Integer.8.json ├── Prelude.Integer.9.json ├── Prelude.List.0.json ├── Prelude.List.1.json ├── Prelude.List.2.json ├── Prelude.List.3.json ├── Prelude.Map.0.json ├── Prelude.Map.1.json ├── Prelude.Map.2.json ├── Prelude.Maybe.0.json ├── Prelude.Maybe.1.json ├── Prelude.Maybe.2.json ├── Prelude.Set.0.json ├── Prelude.Set.1.json ├── Prelude.Set.2.json ├── Prelude.Text.0.json ├── Prelude.Text.1.json ├── Prelude.Text.2.json └── build.nix ├── lbt-prelude-haskell ├── .envrc ├── app │ ├── LambdaBuffers │ │ └── Prelude │ │ │ └── Cli │ │ │ └── Generate.hs │ └── Main.hs ├── build.nix ├── cabal.project ├── hie.yaml ├── lbt-prelude-haskell.cabal ├── src │ └── LambdaBuffers │ │ └── Prelude │ │ └── Json │ │ └── Golden.hs └── test │ ├── Test.hs │ └── Test │ └── LambdaBuffers │ └── Runtime │ └── Prelude │ ├── Eq.hs │ ├── Generators │ └── Correct.hs │ └── Json.hs ├── lbt-prelude-purescript ├── .envrc ├── .gitignore ├── Makefile ├── app │ └── index.js ├── build.nix ├── esbuild │ └── bundle.js ├── package-lock.json ├── package.json ├── packages.dhall ├── spago-packages.nix ├── spago.dhall ├── test │ └── Test │ │ ├── LambdaBuffers │ │ └── Prelude │ │ │ ├── Golden.purs │ │ │ └── Golden │ │ │ ├── Json.purs │ │ │ └── Utils.purs │ │ └── Main.purs └── webpack.config.cjs ├── lbt-prelude-rust ├── .envrc ├── .gitignore ├── Cargo.lock ├── Cargo.toml ├── build.nix ├── src │ └── lib.rs └── tests │ ├── goldens.rs │ └── main.rs └── lbt-prelude-typescript ├── .envrc ├── .gitignore ├── build.nix ├── package-lock.json ├── package.json ├── src ├── Goldens.ts ├── Json-test.ts └── tsconfig.json └── tsconfig-base.json /.envrc: -------------------------------------------------------------------------------- 1 | use flake .#default 2 | -------------------------------------------------------------------------------- /.ghci: -------------------------------------------------------------------------------- 1 | :set prompt "\ESC[33m\x02\x01\ESC[00m " 2 | :set prompt-cont "|\ESC[33m\x02\x01\ESC[00m " -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | .direnv 2 | dist-newstyle 3 | result 4 | /.pre-commit-config.yaml 5 | .vscode/ 6 | *~ 7 | *#* 8 | .pre-commit-config.yaml 9 | **/node_modules 10 | /.psc-package/ 11 | **/.psc* 12 | **/.purs* 13 | **/.psa* 14 | **/.spago 15 | **/.spago2nix 16 | **/dist 17 | **/output 18 | .DS_Store 19 | **/.work 20 | **/.extras 21 | **/autogen -------------------------------------------------------------------------------- /.markdownlint.yaml: -------------------------------------------------------------------------------- 1 | default: true 2 | MD013: false 3 | MD024: false 4 | MD033: false 5 | MD041: false 6 | MD022: false 7 | -------------------------------------------------------------------------------- /api/.envrc: -------------------------------------------------------------------------------- 1 | use flake ..#dev-api 2 | -------------------------------------------------------------------------------- /docs/.envrc: -------------------------------------------------------------------------------- 1 | use flake ..#dev-docs 2 | -------------------------------------------------------------------------------- /docs/.gitignore: -------------------------------------------------------------------------------- 1 | /book 2 | /api.md 3 | -------------------------------------------------------------------------------- /docs/book.toml: -------------------------------------------------------------------------------- 1 | [book] 2 | authors = [ 3 | ] 4 | language = "en" 5 | multilingual = false 6 | src = "." 7 | title = "Lambda Buffers documentation" 8 | -------------------------------------------------------------------------------- /docs/catalyst09-reports/README.md: -------------------------------------------------------------------------------- 1 | # Catalyst 9 reports 2 | 3 | - [Milestone 1: Research](milestone-1.md) 4 | - [Milestone 2: End to end proof of concept](milestone-2.md) 5 | - [Milestone 3: Testing and documentation](milestone-3.md) 6 | - [Milestone 4: Project adoption](milestone-3.md) 7 | -------------------------------------------------------------------------------- /docs/catalyst13-reports/README.md: -------------------------------------------------------------------------------- 1 | # Catalyst 13 reports 2 | 3 | - [Milestone 1: LambdaBuffers Conway support](milestone-1.md) 4 | -------------------------------------------------------------------------------- /docs/examples/lb-pkgs.json: -------------------------------------------------------------------------------- 1 | { 2 | "crate": [ 3 | "Document" 4 | ] 5 | } 6 | -------------------------------------------------------------------------------- /docs/feedback/questionnaire-results.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/4e6b00a9e070c6e9691b9afe8d99ea16c1e373ad/docs/feedback/questionnaire-results.pdf -------------------------------------------------------------------------------- /docs/images/lambda-buffers-banner.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/4e6b00a9e070c6e9691b9afe8d99ea16c1e373ad/docs/images/lambda-buffers-banner.png -------------------------------------------------------------------------------- /docs/images/lambda-buffers-logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/4e6b00a9e070c6e9691b9afe8d99ea16c1e373ad/docs/images/lambda-buffers-logo.png -------------------------------------------------------------------------------- /docs/plutarch/.envrc: -------------------------------------------------------------------------------- 1 | use flake ..#dev-plutarch-example 2 | -------------------------------------------------------------------------------- /docs/plutarch/cabal.project: -------------------------------------------------------------------------------- 1 | packages: ./. 2 | 3 | tests: true 4 | -------------------------------------------------------------------------------- /docs/plutarch/hie.yaml: -------------------------------------------------------------------------------- 1 | cradle: 2 | cabal: 3 | -------------------------------------------------------------------------------- /docs/plutustx/.envrc: -------------------------------------------------------------------------------- 1 | use flake .#dev-plutustx-example 2 | -------------------------------------------------------------------------------- /docs/typescript-plutus/.gitignore: -------------------------------------------------------------------------------- 1 | .extra-dependencies/ 2 | data 3 | -------------------------------------------------------------------------------- /docs/typescript-plutus/api/lbf/MySchema.lbf: -------------------------------------------------------------------------------- 1 | module MySchema 2 | 3 | import Plutus.V1 4 | import Prelude (Eq, Json) 5 | 6 | sum Branchy a 7 | = Node PlutusData (Extended (Branchy a)) 8 | | Leaf a 9 | 10 | 11 | derive Json (Branchy a) 12 | derive Eq (Branchy a) 13 | derive PlutusData (Branchy a) 14 | -------------------------------------------------------------------------------- /docs/typescript-plutus/src/tsconfig.json: -------------------------------------------------------------------------------- 1 | { 2 | "extends": "../tsconfig-base", 3 | "include": ["*"], 4 | "references": [ ] 5 | } 6 | -------------------------------------------------------------------------------- /docs/typescript-prelude/.gitignore: -------------------------------------------------------------------------------- 1 | .extra-dependencies/ 2 | data 3 | -------------------------------------------------------------------------------- /docs/typescript-prelude/api/lbf/MySchema.lbf: -------------------------------------------------------------------------------- 1 | module MySchema 2 | 3 | import Prelude 4 | 5 | sum Branchy a 6 | = Node Integer (List (Branchy a)) 7 | | Leaf a 8 | 9 | 10 | derive Eq (Branchy a) 11 | derive Json (Branchy a) 12 | -------------------------------------------------------------------------------- /docs/typescript-prelude/src/tsconfig.json: -------------------------------------------------------------------------------- 1 | { 2 | "extends": "../tsconfig-base", 3 | "include": ["*"], 4 | "references": [ ] 5 | } 6 | -------------------------------------------------------------------------------- /experimental/.envrc: -------------------------------------------------------------------------------- 1 | use flake ..#dev-experimental 2 | -------------------------------------------------------------------------------- /experimental/main.dhall: -------------------------------------------------------------------------------- 1 | let hello = "Hello" let world = "World" in hello ++ " " ++ world 2 | -------------------------------------------------------------------------------- /experimental/prolog/lb-compiler/aux.pl: -------------------------------------------------------------------------------- 1 | :-module(aux, [first/2]). 2 | 3 | first(X, [H|Xs]) :- 4 | X = H -> true; first(X, Xs). 5 | -------------------------------------------------------------------------------- /experimental/prolog/lb-compiler/compiler-input.pb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/4e6b00a9e070c6e9691b9afe8d99ea16c1e373ad/experimental/prolog/lb-compiler/compiler-input.pb -------------------------------------------------------------------------------- /extras/.envrc: -------------------------------------------------------------------------------- 1 | use flake .#dev-nix 2 | -------------------------------------------------------------------------------- /extras/dev-shells/build.nix: -------------------------------------------------------------------------------- 1 | { 2 | imports = [ 3 | ./plutus-haskell/build.nix 4 | ./prelude-haskell/build.nix 5 | ]; 6 | } 7 | -------------------------------------------------------------------------------- /extras/dev-shells/plutus-haskell/.envrc: -------------------------------------------------------------------------------- 1 | use flake .#dev-plutus-haskell 2 | -------------------------------------------------------------------------------- /extras/dev-shells/plutus-haskell/cabal.project: -------------------------------------------------------------------------------- 1 | packages: ./. 2 | 3 | tests: true 4 | -------------------------------------------------------------------------------- /extras/dev-shells/prelude-haskell/.envrc: -------------------------------------------------------------------------------- 1 | use flake .#dev-prelude-haskell 2 | -------------------------------------------------------------------------------- /extras/dev-shells/prelude-haskell/cabal.project: -------------------------------------------------------------------------------- 1 | packages: ./. 2 | 3 | tests: true 4 | -------------------------------------------------------------------------------- /extras/dev-shells/prelude-haskell/src/LambdaBuffers/Prelude/Play.hs: -------------------------------------------------------------------------------- 1 | module LambdaBuffers.Prelude.Play () where 2 | 3 | import "aeson" Data.Aeson () 4 | import "bytestring" Data.ByteString () 5 | import "containers" Data.Map () 6 | import "containers" Data.Set () 7 | import "lbf-prelude" LambdaBuffers.Prelude () 8 | import "lbr-prelude" LambdaBuffers.Runtime.Prelude () 9 | import "text" Data.Text () 10 | -------------------------------------------------------------------------------- /extras/lambda-buffers-utils/.envrc: -------------------------------------------------------------------------------- 1 | use flake ..#dev-lambda-buffers-utils 2 | -------------------------------------------------------------------------------- /extras/lambda-buffers-utils/cabal.project: -------------------------------------------------------------------------------- 1 | packages: ./. 2 | 3 | tests: true 4 | -------------------------------------------------------------------------------- /extras/lambda-buffers-utils/hie.yaml: -------------------------------------------------------------------------------- 1 | cradle: 2 | cabal: 3 | -------------------------------------------------------------------------------- /extras/lambda-buffers-utils/test/Test.hs: -------------------------------------------------------------------------------- 1 | module Main (main) where 2 | 3 | import Test.Tasty (defaultMain, testGroup) 4 | 5 | main :: IO () 6 | main = 7 | defaultMain $ 8 | testGroup 9 | "Utils test" 10 | [] 11 | -------------------------------------------------------------------------------- /extras/lbf-nix/lbf-plutarch-base.nix: -------------------------------------------------------------------------------- 1 | # Build .lbf schemas and generate Haskell's Plutarch library. 2 | pkgs: lbf: lbg-plutarch: lbfPlutarchOpts: 3 | import ./lbf-haskell.nix pkgs lbf lbg-plutarch lbfPlutarchOpts 4 | -------------------------------------------------------------------------------- /extras/lbf-nix/lbf-plutustx-base.nix: -------------------------------------------------------------------------------- 1 | # Build .lbf schemas and generate Haskell's PlutusTX library. 2 | pkgs: lbf: lbg-plutustx: lbfPlutusTxOpts: 3 | import ./lbf-haskell.nix pkgs lbf lbg-plutustx lbfPlutusTxOpts 4 | -------------------------------------------------------------------------------- /fourmolu.yaml: -------------------------------------------------------------------------------- 1 | indentation: 2 2 | comma-style: leading 3 | record-brace-space: true 4 | indent-wheres: true 5 | diff-friendly-import-export: true 6 | respectful: true 7 | haddock-style: multi-line 8 | newlines-between-decls: 1 9 | single-constraint-parens: never 10 | -------------------------------------------------------------------------------- /lambda-buffers-codegen/.envrc: -------------------------------------------------------------------------------- 1 | use flake ..#dev-lambda-buffers-codegen 2 | -------------------------------------------------------------------------------- /lambda-buffers-codegen/cabal.project: -------------------------------------------------------------------------------- 1 | packages: ./. 2 | 3 | tests: true 4 | 5 | -- TODO(bladyjoker): Remove once freer-simple fixes the template-haskell bounds 6 | allow-newer: freer-simple:template-haskell -------------------------------------------------------------------------------- /lambda-buffers-codegen/data/lamval-cases/plutarch/AppE-1.hs: -------------------------------------------------------------------------------- 1 | import "plutarch" qualified Plutarch.Prelude ((#)) 2 | 3 | (Plutarch.Prelude.#) (f) (x) 4 | -------------------------------------------------------------------------------- /lambda-buffers-codegen/data/lamval-cases/plutarch/AppE-2.hs: -------------------------------------------------------------------------------- 1 | import "plutarch" qualified Plutarch.Prelude ((#)) 2 | 3 | (Plutarch.Prelude.#) ((Plutarch.Prelude.#) (f) (x)) ((Plutarch.Prelude.#) (g) (y)) 4 | -------------------------------------------------------------------------------- /lambda-buffers-codegen/data/lamval-cases/plutarch/CaseIntE-1.hs: -------------------------------------------------------------------------------- 1 | import "plutarch" qualified Plutarch.Prelude ((#==), pconstant, pif) 2 | 3 | Plutarch.Prelude.pif ((Plutarch.Prelude.#==) (int) (Plutarch.Prelude.pconstant 1)) (Plutarch.Prelude.pconstant 1) (Plutarch.Prelude.pif ((Plutarch.Prelude.#==) (int) (Plutarch.Prelude.pconstant (-1))) (Plutarch.Prelude.pconstant (-1)) (int)) 4 | -------------------------------------------------------------------------------- /lambda-buffers-codegen/data/lamval-cases/plutarch/CaseTextE-1.hs: -------------------------------------------------------------------------------- 1 | import "plutarch" qualified Plutarch.Prelude ((#==), pconstant, pif) 2 | 3 | Plutarch.Prelude.pif ((Plutarch.Prelude.#==) (txt) (Plutarch.Prelude.pconstant "a")) (Plutarch.Prelude.pconstant "a it is") (Plutarch.Prelude.pif ((Plutarch.Prelude.#==) (txt) (Plutarch.Prelude.pconstant "b")) (Plutarch.Prelude.pconstant "b it is") (txt)) 4 | -------------------------------------------------------------------------------- /lambda-buffers-codegen/data/lamval-cases/plutarch/CtorE-1.hs: -------------------------------------------------------------------------------- 1 | import "lbr-plutarch" qualified LambdaBuffers.Runtime.Plutarch (pcon) 2 | import "plutarch" qualified Plutarch.Prelude (pconstant) 3 | 4 | LambdaBuffers.Runtime.Plutarch.pcon (FooSum'Bar (Plutarch.Prelude.pconstant "works")) 5 | -------------------------------------------------------------------------------- /lambda-buffers-codegen/data/lamval-cases/plutarch/IntE-1.hs: -------------------------------------------------------------------------------- 1 | import "plutarch" qualified Plutarch.Prelude (pconstant) 2 | 3 | Plutarch.Prelude.pconstant 1 4 | -------------------------------------------------------------------------------- /lambda-buffers-codegen/data/lamval-cases/plutarch/IntE-2.hs: -------------------------------------------------------------------------------- 1 | import "plutarch" qualified Plutarch.Prelude (pconstant) 2 | 3 | Plutarch.Prelude.pconstant (-1) 4 | -------------------------------------------------------------------------------- /lambda-buffers-codegen/data/lamval-cases/plutarch/LamE-1.hs: -------------------------------------------------------------------------------- 1 | import "plutarch" qualified Plutarch.Prelude (plam) 2 | 3 | Plutarch.Prelude.plam (\x0 -> x0) 4 | -------------------------------------------------------------------------------- /lambda-buffers-codegen/data/lamval-cases/plutarch/LamE-2.hs: -------------------------------------------------------------------------------- 1 | import "plutarch" qualified Plutarch.Prelude (plam) 2 | 3 | Plutarch.Prelude.plam (\x0 -> Plutarch.Prelude.plam (\x1 -> x1)) 4 | -------------------------------------------------------------------------------- /lambda-buffers-codegen/data/lamval-cases/plutarch/LetE-1.hs: -------------------------------------------------------------------------------- 1 | import "lbr-plutarch" qualified LambdaBuffers.Runtime.Plutarch (pcon) 2 | import "plutarch" qualified Plutarch.Prelude (pmatch) 3 | 4 | Plutarch.Prelude.pmatch unitProduct (\(UnitProduct x0) -> LambdaBuffers.Runtime.Plutarch.pcon (UnitProduct (x0))) 5 | -------------------------------------------------------------------------------- /lambda-buffers-codegen/data/lamval-cases/plutarch/LetE-2.hs: -------------------------------------------------------------------------------- 1 | import "lbr-plutarch" qualified LambdaBuffers.Runtime.Plutarch (pcon) 2 | import "plutarch" qualified Plutarch.Prelude (pmatch) 3 | 4 | Plutarch.Prelude.pmatch fooProduct (\(FooProduct x0 x1 x2) -> LambdaBuffers.Runtime.Plutarch.pcon (FooProduct (x0) (x1) (x2))) 5 | -------------------------------------------------------------------------------- /lambda-buffers-codegen/data/lamval-cases/plutarch/ListE-1.hs: -------------------------------------------------------------------------------- 1 | import "lbr-plutarch" qualified LambdaBuffers.Runtime.Plutarch (pcon) 2 | import "plutarch" qualified Plutarch.Prelude (PNil) 3 | 4 | LambdaBuffers.Runtime.Plutarch.pcon Plutarch.Prelude.PNil 5 | -------------------------------------------------------------------------------- /lambda-buffers-codegen/data/lamval-cases/plutarch/ProductE-1.hs: -------------------------------------------------------------------------------- 1 | import "lbr-plutarch" qualified LambdaBuffers.Runtime.Plutarch (pcon) 2 | 3 | LambdaBuffers.Runtime.Plutarch.pcon (UnitProduct (x)) 4 | -------------------------------------------------------------------------------- /lambda-buffers-codegen/data/lamval-cases/plutarch/ProductE-2.hs: -------------------------------------------------------------------------------- 1 | import "lbr-plutarch" qualified LambdaBuffers.Runtime.Plutarch (pcon) 2 | import "plutarch" qualified Plutarch.Prelude (pconstant) 3 | 4 | LambdaBuffers.Runtime.Plutarch.pcon (FooProduct (x) (Plutarch.Prelude.pconstant 1) (LambdaBuffers.Runtime.Plutarch.pcon (UnitProduct (Plutarch.Prelude.pconstant "works")))) 5 | -------------------------------------------------------------------------------- /lambda-buffers-codegen/data/lamval-cases/plutarch/RefE-1.hs: -------------------------------------------------------------------------------- 1 | import "foo-pkg" qualified Foo (fooRef) 2 | 3 | Foo.fooRef 4 | -------------------------------------------------------------------------------- /lambda-buffers-codegen/data/lamval-cases/plutarch/TextE-1.hs: -------------------------------------------------------------------------------- 1 | import "plutarch" qualified Plutarch.Prelude (pconstant) 2 | 3 | Plutarch.Prelude.pconstant "some text" 4 | -------------------------------------------------------------------------------- /lambda-buffers-codegen/data/lamval-cases/plutarch/VarE-1.hs: -------------------------------------------------------------------------------- 1 | 2 | 3 | x 4 | -------------------------------------------------------------------------------- /lambda-buffers-codegen/hie.yaml: -------------------------------------------------------------------------------- 1 | cradle: 2 | cabal: 3 | -------------------------------------------------------------------------------- /lambda-buffers-codegen/src/LambdaBuffers/Codegen.hs: -------------------------------------------------------------------------------- 1 | module LambdaBuffers.Codegen () where 2 | -------------------------------------------------------------------------------- /lambda-buffers-codegen/test/Test.hs: -------------------------------------------------------------------------------- 1 | module Main (main) where 2 | 3 | import Test.LambdaBuffers.Codegen (tests) 4 | import Test.Tasty (defaultMain, testGroup) 5 | 6 | main :: IO () 7 | main = defaultMain $ testGroup "Codegen tests" [tests] 8 | -------------------------------------------------------------------------------- /lambda-buffers-compiler/.envrc: -------------------------------------------------------------------------------- 1 | use flake ..#dev-lambda-buffers-compiler 2 | -------------------------------------------------------------------------------- /lambda-buffers-compiler/cabal.project: -------------------------------------------------------------------------------- 1 | packages: ./. 2 | 3 | tests: true 4 | 5 | -- TODO(bladyjoker): Remove once freer-simple fixes the template-haskell bounds 6 | allow-newer: freer-simple:template-haskell 7 | -------------------------------------------------------------------------------- /lambda-buffers-compiler/data/minilog-goldens/eq_typeclass.pl: -------------------------------------------------------------------------------- 1 | :- module('eq_typeclass',['eq'/1]). 2 | 3 | 'eq'('int'). 4 | 5 | 6 | 'eq'('bytes'). 7 | 8 | 9 | 'eq'('var'(VX)). 10 | 11 | 12 | 'eq'('maybe'(VA)) :- 13 | 'eq'(VA). 14 | 15 | 16 | 'eq'('either'(VA,VB)) :- 17 | 'eq'(VA),'eq'(VB). 18 | -------------------------------------------------------------------------------- /lambda-buffers-compiler/data/minilog-goldens/greeks.pl: -------------------------------------------------------------------------------- 1 | :- module('greeks',['animal'/1,'human'/1]). 2 | 3 | 'human'('socrates'). 4 | 5 | 6 | 'human'('plato'). 7 | 8 | 9 | 'animal'(VX) :- 10 | 'human'(VX). 11 | -------------------------------------------------------------------------------- /lambda-buffers-compiler/data/typeclasscheck-goldens/overlapping_rules_2/compiler_error.textproto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/4e6b00a9e070c6e9691b9afe8d99ea16c1e373ad/lambda-buffers-compiler/data/typeclasscheck-goldens/overlapping_rules_2/compiler_error.textproto -------------------------------------------------------------------------------- /lambda-buffers-compiler/hie.yaml: -------------------------------------------------------------------------------- 1 | cradle: 2 | cabal: 3 | -------------------------------------------------------------------------------- /lambda-buffers-compiler/src/LambdaBuffers/Compiler/LamTy.hs: -------------------------------------------------------------------------------- 1 | module LambdaBuffers.Compiler.LamTy (LT.Ty (..), LT.fromTy, LT.eval, LT.runEval, LT.runEval', LT.prettyTy, LT.runEvalWithGas) where 2 | 3 | import LambdaBuffers.Compiler.LamTy.Eval qualified as LT 4 | import LambdaBuffers.Compiler.LamTy.Pretty qualified as LT 5 | import LambdaBuffers.Compiler.LamTy.Types qualified as LT 6 | -------------------------------------------------------------------------------- /lambda-buffers-frontend/.envrc: -------------------------------------------------------------------------------- 1 | use flake ..#dev-lambda-buffers-frontend 2 | -------------------------------------------------------------------------------- /lambda-buffers-frontend/cabal.project: -------------------------------------------------------------------------------- 1 | packages: ./. 2 | 3 | tests: true 4 | 5 | -- TODO(bladyjoker): Remove once freer-simple fixes the template-haskell bounds 6 | allow-newer: freer-simple:template-haskell -------------------------------------------------------------------------------- /lambda-buffers-frontend/data/duplicate_tydef/A.lbf: -------------------------------------------------------------------------------- 1 | module A 2 | 3 | sum A = MkA 4 | 5 | sum A = MkA -------------------------------------------------------------------------------- /lambda-buffers-frontend/data/formatting/A.lbf: -------------------------------------------------------------------------------- 1 | module A 2 | 3 | sum X = MkX 4 | 5 | sum Y = MkY 6 | 7 | sum Z = MkZ -------------------------------------------------------------------------------- /lambda-buffers-frontend/data/formatting/good/A.lbf: -------------------------------------------------------------------------------- 1 | module A 2 | 3 | sum X = MkX 4 | 5 | sum Y = MkY 6 | 7 | sum Z = MkZ -------------------------------------------------------------------------------- /lambda-buffers-frontend/data/goldens/good/Plutus.lbf: -------------------------------------------------------------------------------- 1 | module Plutus 2 | 3 | import Prelude (Eq) 4 | 5 | class PlutusData a 6 | 7 | -- TODO(bladyjoker): PlutusTx has an Eq class: class Eq a 8 | 9 | -- PlutusTx.Builtins 10 | 11 | opaque PlutusData 12 | instance PlutusData PlutusData 13 | instance Eq PlutusData 14 | -------------------------------------------------------------------------------- /lambda-buffers-frontend/data/goldens/good/PreludeT.lbf: -------------------------------------------------------------------------------- 1 | module PreludeT 2 | 3 | import Prelude (Eq) 4 | 5 | sum Maybe a = Just a | Nothing 6 | 7 | derive Eq (Maybe a) 8 | 9 | sum Either a b = Left a | Right b 10 | 11 | derive Eq (Either a b) 12 | 13 | sum List a = Nil | Cons a (List a) 14 | 15 | instance Eq (List a) :- Eq a -------------------------------------------------------------------------------- /lambda-buffers-frontend/data/good/A.lbf: -------------------------------------------------------------------------------- 1 | module A 2 | 3 | sum A = MkA -------------------------------------------------------------------------------- /lambda-buffers-frontend/data/good/A/B.lbf: -------------------------------------------------------------------------------- 1 | module A.B 2 | 3 | sum A = MkA -------------------------------------------------------------------------------- /lambda-buffers-frontend/data/good/B.lbf: -------------------------------------------------------------------------------- 1 | module B 2 | 3 | sum A = MkA -------------------------------------------------------------------------------- /lambda-buffers-frontend/data/good/C.lbf: -------------------------------------------------------------------------------- 1 | module C 2 | 3 | sum A = MkA -------------------------------------------------------------------------------- /lambda-buffers-frontend/data/good_instance/GoodInstance.lbf: -------------------------------------------------------------------------------- 1 | module GoodInstance 2 | 3 | instance MyClass A 4 | 5 | class MyClass a 6 | 7 | sum A = A 8 | 9 | -- if we're wondering why this test case is here, previous parser versions 10 | -- confused 'instance' with 'import' and reported an unexpected 'n' in the 11 | -- 'instance' keyword. 12 | -------------------------------------------------------------------------------- /lambda-buffers-frontend/data/good_module_documentation/ModuleDocumentation.lbf: -------------------------------------------------------------------------------- 1 | 2 | -- Some documentation here 3 | 4 | module ModuleDocumentation 5 | 6 | -- More documentation 7 | sum A = A 8 | 9 | 10 | -- Woo hoo, documentation is great 11 | -- (who reads it anyways) 12 | 13 | -- dog pomeranian yorkie maltese 14 | -------------------------------------------------------------------------------- /lambda-buffers-frontend/data/import_cycle_found/A.lbf: -------------------------------------------------------------------------------- 1 | module A 2 | 3 | import B -------------------------------------------------------------------------------- /lambda-buffers-frontend/data/import_cycle_found/B.lbf: -------------------------------------------------------------------------------- 1 | module B 2 | 3 | import C -------------------------------------------------------------------------------- /lambda-buffers-frontend/data/import_cycle_found/C.lbf: -------------------------------------------------------------------------------- 1 | module C 2 | 3 | import A -------------------------------------------------------------------------------- /lambda-buffers-frontend/data/imported_not_found/A.lbf: -------------------------------------------------------------------------------- 1 | module A 2 | 3 | import B (A, B, C) -------------------------------------------------------------------------------- /lambda-buffers-frontend/data/imported_not_found/B.lbf: -------------------------------------------------------------------------------- 1 | module B 2 | 3 | sum A = MkA 4 | sum B = MkB -------------------------------------------------------------------------------- /lambda-buffers-frontend/data/invalid_module_filepath/A.lbf: -------------------------------------------------------------------------------- 1 | module A.B.C 2 | 3 | -------------------------------------------------------------------------------- /lambda-buffers-frontend/data/module_not_found/A.lbf: -------------------------------------------------------------------------------- 1 | module A 2 | 3 | import B -------------------------------------------------------------------------------- /lambda-buffers-frontend/data/module_parse_error/A.lbf: -------------------------------------------------------------------------------- 1 | module A 2 | 3 | thisshouldnotwork -------------------------------------------------------------------------------- /lambda-buffers-frontend/data/multiple_modules_found/A.lbf: -------------------------------------------------------------------------------- 1 | module A 2 | 3 | import B -------------------------------------------------------------------------------- /lambda-buffers-frontend/data/multiple_modules_found/B.lbf: -------------------------------------------------------------------------------- 1 | module B -------------------------------------------------------------------------------- /lambda-buffers-frontend/data/multiple_modules_found/another_import_path/B.lbf: -------------------------------------------------------------------------------- 1 | module B -------------------------------------------------------------------------------- /lambda-buffers-frontend/data/symbol_already_imported/A.lbf: -------------------------------------------------------------------------------- 1 | module A 2 | 3 | import B 4 | import C 5 | -------------------------------------------------------------------------------- /lambda-buffers-frontend/data/symbol_already_imported/B.lbf: -------------------------------------------------------------------------------- 1 | module B 2 | 3 | sum A = MkA -------------------------------------------------------------------------------- /lambda-buffers-frontend/data/symbol_already_imported/C.lbf: -------------------------------------------------------------------------------- 1 | module C 2 | 3 | sum A = MkA -------------------------------------------------------------------------------- /lambda-buffers-frontend/data/tydef_name_conflict/A.lbf: -------------------------------------------------------------------------------- 1 | module A 2 | 3 | import B 4 | 5 | sum A = MkA -------------------------------------------------------------------------------- /lambda-buffers-frontend/data/tydef_name_conflict/B.lbf: -------------------------------------------------------------------------------- 1 | module B 2 | 3 | sum A = MkA -------------------------------------------------------------------------------- /lambda-buffers-frontend/data/tyref_not_found/A.lbf: -------------------------------------------------------------------------------- 1 | module A 2 | 3 | import B 4 | import C 5 | 6 | sum A = MkA WhereIsThisType -------------------------------------------------------------------------------- /lambda-buffers-frontend/data/tyref_not_found/B.lbf: -------------------------------------------------------------------------------- 1 | module B 2 | 3 | sum B = MkB -------------------------------------------------------------------------------- /lambda-buffers-frontend/data/tyref_not_found/C.lbf: -------------------------------------------------------------------------------- 1 | module C 2 | 3 | sum C = MkC -------------------------------------------------------------------------------- /lambda-buffers-frontend/hie.yaml: -------------------------------------------------------------------------------- 1 | cradle: 2 | cabal: 3 | -------------------------------------------------------------------------------- /lambda-buffers-frontend/src/LambdaBuffers/Frontend/Errors.hs: -------------------------------------------------------------------------------- 1 | {-# OPTIONS_GHC -Wno-missing-import-lists #-} 2 | 3 | module LambdaBuffers.Frontend.Errors ( 4 | module FErrs, 5 | module CErrs, 6 | ) where 7 | 8 | import LambdaBuffers.Frontend.Errors.Compiler as CErrs 9 | import LambdaBuffers.Frontend.Errors.Frontend as FErrs 10 | -------------------------------------------------------------------------------- /runtimes/haskell/lbr-plutarch/.envrc: -------------------------------------------------------------------------------- 1 | use flake ../../..#dev-lbr-plutarch 2 | -------------------------------------------------------------------------------- /runtimes/haskell/lbr-plutarch/cabal.project: -------------------------------------------------------------------------------- 1 | packages: ./. 2 | 3 | tests: true 4 | -------------------------------------------------------------------------------- /runtimes/haskell/lbr-plutarch/hie.yaml: -------------------------------------------------------------------------------- 1 | cradle: 2 | cabal: 3 | -------------------------------------------------------------------------------- /runtimes/haskell/lbr-plutarch/test/Test.hs: -------------------------------------------------------------------------------- 1 | module Main (main) where 2 | 3 | import Test.LambdaBuffers.Runtime.Plutarch qualified as Pl 4 | import Test.Tasty (defaultMain, testGroup) 5 | 6 | main :: IO () 7 | main = 8 | defaultMain $ 9 | testGroup 10 | "LambdaBuffers `lbr-plutarch` tests" 11 | [ Pl.test 12 | ] 13 | -------------------------------------------------------------------------------- /runtimes/haskell/lbr-plutus/.envrc: -------------------------------------------------------------------------------- 1 | use flake ../../..#dev-lbr-plutus-haskell 2 | -------------------------------------------------------------------------------- /runtimes/haskell/lbr-plutus/cabal.project: -------------------------------------------------------------------------------- 1 | packages: ./. 2 | 3 | tests: true -------------------------------------------------------------------------------- /runtimes/haskell/lbr-plutus/hie.yaml: -------------------------------------------------------------------------------- 1 | cradle: 2 | cabal: 3 | -------------------------------------------------------------------------------- /runtimes/haskell/lbr-plutus/src/LambdaBuffers/Runtime/Plutus.hs: -------------------------------------------------------------------------------- 1 | {-# OPTIONS_GHC -Wno-missing-import-lists #-} 2 | 3 | module LambdaBuffers.Runtime.Plutus (module PlutusData) where 4 | 5 | import LambdaBuffers.Runtime.Plutus.Eq as Eq () 6 | import LambdaBuffers.Runtime.Plutus.Json as Json () 7 | import LambdaBuffers.Runtime.Plutus.PlutusData as PlutusData 8 | -------------------------------------------------------------------------------- /runtimes/haskell/lbr-plutus/test/Test.hs: -------------------------------------------------------------------------------- 1 | module Main (main) where 2 | 3 | import Test.LambdaBuffers.Runtime.Plutus.Json qualified as PlutusJson 4 | import Test.Tasty (defaultMain, testGroup) 5 | 6 | main :: IO () 7 | main = 8 | defaultMain $ 9 | testGroup 10 | "LambdaBuffers `lbf-plutus` package runtime tests" 11 | [ PlutusJson.test 12 | ] 13 | -------------------------------------------------------------------------------- /runtimes/haskell/lbr-plutustx/.envrc: -------------------------------------------------------------------------------- 1 | use flake ../../..#dev-lbr-plutustx 2 | -------------------------------------------------------------------------------- /runtimes/haskell/lbr-plutustx/cabal.project: -------------------------------------------------------------------------------- 1 | packages: ./. 2 | 3 | tests: true -------------------------------------------------------------------------------- /runtimes/haskell/lbr-plutustx/hie.yaml: -------------------------------------------------------------------------------- 1 | cradle: 2 | cabal: 3 | -------------------------------------------------------------------------------- /runtimes/haskell/lbr-plutustx/src/LambdaBuffers/Runtime/PlutusTx/List.hs: -------------------------------------------------------------------------------- 1 | module LambdaBuffers.Runtime.PlutusTx.List (List) where 2 | 3 | type List a = [a] 4 | -------------------------------------------------------------------------------- /runtimes/haskell/lbr-prelude/.envrc: -------------------------------------------------------------------------------- 1 | use flake ../../..#dev-lbr-prelude-haskell 2 | -------------------------------------------------------------------------------- /runtimes/haskell/lbr-prelude/cabal.project: -------------------------------------------------------------------------------- 1 | packages: ./. 2 | 3 | tests: true -------------------------------------------------------------------------------- /runtimes/haskell/lbr-prelude/hie.yaml: -------------------------------------------------------------------------------- 1 | cradle: 2 | cabal: 3 | -------------------------------------------------------------------------------- /runtimes/haskell/lbr-prelude/src/LambdaBuffers/Runtime/Prelude.hs: -------------------------------------------------------------------------------- 1 | {-# OPTIONS_GHC -Wno-missing-import-lists #-} 2 | 3 | module LambdaBuffers.Runtime.Prelude (module Json, List) where 4 | 5 | import LambdaBuffers.Runtime.Prelude.Json as Json 6 | 7 | type List a = [a] 8 | -------------------------------------------------------------------------------- /runtimes/haskell/lbr-prelude/test/Test.hs: -------------------------------------------------------------------------------- 1 | module Main (main) where 2 | 3 | import Test.LambdaBuffers.Runtime.Prelude.Json qualified as PreludeJson 4 | import Test.Tasty (defaultMain, testGroup) 5 | 6 | main :: IO () 7 | main = 8 | defaultMain $ 9 | testGroup 10 | "LambdaBuffers `lbf-prelude` package runtime tests" 11 | [ PreludeJson.test 12 | ] 13 | -------------------------------------------------------------------------------- /runtimes/purescript/lbr-plutus/.envrc: -------------------------------------------------------------------------------- 1 | use flake ../../..#dev-lbr-plutus-purescript 2 | -------------------------------------------------------------------------------- /runtimes/purescript/lbr-plutus/Makefile: -------------------------------------------------------------------------------- 1 | clean: 2 | rm -fR output .psc* dist .spago .spago2nix 3 | -------------------------------------------------------------------------------- /runtimes/purescript/lbr-plutus/app/index.html: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | -------------------------------------------------------------------------------- /runtimes/purescript/lbr-plutus/app/index.js: -------------------------------------------------------------------------------- 1 | import("../dist/output.js").then( 2 | async ({ main }) => { 3 | main(); 4 | }); 5 | -------------------------------------------------------------------------------- /runtimes/purescript/lbr-prelude/.envrc: -------------------------------------------------------------------------------- 1 | use flake ../../..#dev-lbr-prelude-purescript 2 | -------------------------------------------------------------------------------- /runtimes/purescript/lbr-prelude/Makefile: -------------------------------------------------------------------------------- 1 | clean: 2 | rm -fR output .psc* dist .spago .spago2nix 3 | -------------------------------------------------------------------------------- /runtimes/purescript/lbr-prelude/app/index.js: -------------------------------------------------------------------------------- 1 | import("../dist/output.js").then(m => m.main()); 2 | -------------------------------------------------------------------------------- /runtimes/rust/lbr-prelude-derive/.envrc: -------------------------------------------------------------------------------- 1 | watch_file ./build.nix 2 | use flake ../../..#dev-lbr-prelude-derive-rust 3 | -------------------------------------------------------------------------------- /runtimes/rust/lbr-prelude-derive/.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | /proptest-regressions 3 | /.extras 4 | /data 5 | -------------------------------------------------------------------------------- /runtimes/rust/lbr-prelude-derive/tests/main.rs: -------------------------------------------------------------------------------- 1 | #[cfg(test)] 2 | mod json_derive_macro_tests { 3 | 4 | #[test] 5 | fn tests() { 6 | let t = trybuild::TestCases::new(); 7 | 8 | t.pass("tests/newtype.rs"); 9 | t.pass("tests/struct.rs"); 10 | t.pass("tests/tuple.rs") 11 | } 12 | } 13 | -------------------------------------------------------------------------------- /runtimes/rust/lbr-prelude/.envrc: -------------------------------------------------------------------------------- 1 | watch_file ./build.nix 2 | use flake ../../..#dev-lbr-prelude-rust 3 | -------------------------------------------------------------------------------- /runtimes/rust/lbr-prelude/.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | /proptest-regressions 3 | /.extras 4 | /data 5 | -------------------------------------------------------------------------------- /runtimes/rust/lbr-prelude/rustfmt.toml: -------------------------------------------------------------------------------- 1 | edition = "2024" 2 | -------------------------------------------------------------------------------- /runtimes/rust/lbr-prelude/src/generators/mod.rs: -------------------------------------------------------------------------------- 1 | //! Proptest strategies for most common types 2 | pub mod correct; 3 | -------------------------------------------------------------------------------- /runtimes/rust/lbr-prelude/src/lib.rs: -------------------------------------------------------------------------------- 1 | //! Lambda Buffers Runtime Prelude 2 | //! 3 | //! Common functionality for Lamba Buffer types. 4 | pub mod error; 5 | pub mod generators; 6 | pub mod json; 7 | pub mod lamval; 8 | pub mod types; 9 | -------------------------------------------------------------------------------- /runtimes/rust/lbr-prelude/src/types.rs: -------------------------------------------------------------------------------- 1 | pub type Either = Result; 2 | -------------------------------------------------------------------------------- /runtimes/typescript/lbr-plutus/.envrc: -------------------------------------------------------------------------------- 1 | use flake .#lbr-plutus-typescript 2 | -------------------------------------------------------------------------------- /runtimes/typescript/lbr-plutus/src/LambdaBuffers/V1.ts: -------------------------------------------------------------------------------- 1 | export * from "./PlutusData.js"; 2 | export * from "./V1/Symbols.js"; 3 | export * from "./V1/Instances.js"; 4 | -------------------------------------------------------------------------------- /runtimes/typescript/lbr-plutus/src/LambdaBuffers/V2.ts: -------------------------------------------------------------------------------- 1 | export * from "./V2/Symbols.js"; 2 | export * from "./V2/Instances.js"; 3 | -------------------------------------------------------------------------------- /runtimes/typescript/lbr-plutus/src/LambdaBuffers/V3.ts: -------------------------------------------------------------------------------- 1 | export * from "./V3/Symbols.js"; 2 | export * from "./V3/Instances.js"; 3 | -------------------------------------------------------------------------------- /runtimes/typescript/lbr-plutus/src/LambdaBuffers/tsconfig.json: -------------------------------------------------------------------------------- 1 | { 2 | "extends": "../tsconfig-base", 3 | "include": ["**/*"] 4 | } 5 | -------------------------------------------------------------------------------- /runtimes/typescript/lbr-plutus/src/Tests/tsconfig.json: -------------------------------------------------------------------------------- 1 | { 2 | "extends": "../tsconfig-base", 3 | "include": ["**/*"], 4 | "references": [ 5 | { "path": "../LambdaBuffers" } 6 | ] 7 | } 8 | -------------------------------------------------------------------------------- /runtimes/typescript/lbr-plutus/src/tsconfig.json: -------------------------------------------------------------------------------- 1 | { 2 | "files": [], 3 | "include": [], 4 | "references": [ 5 | { "path": "./LambdaBuffers" }, 6 | { "path": "./Tests" } 7 | ] 8 | } 9 | -------------------------------------------------------------------------------- /runtimes/typescript/lbr-prelude/src/LambdaBuffers/tsconfig.json: -------------------------------------------------------------------------------- 1 | { 2 | "extends": "../tsconfig-base", 3 | "include": ["**/*"] 4 | } 5 | -------------------------------------------------------------------------------- /runtimes/typescript/lbr-prelude/src/Tests/tsconfig.json: -------------------------------------------------------------------------------- 1 | { 2 | "extends": "../tsconfig-base", 3 | "include": ["**/*"], 4 | "references": [ 5 | { "path": "../LambdaBuffers" } 6 | ] 7 | } 8 | -------------------------------------------------------------------------------- /runtimes/typescript/lbr-prelude/src/tsconfig.json: -------------------------------------------------------------------------------- 1 | { 2 | "files": [], 3 | "include": [], 4 | "references": [ 5 | { "path": "./LambdaBuffers" }, 6 | { "path": "./Tests" } 7 | ] 8 | } 9 | -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Days.Day.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[0],"name":"Integer"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Days.Day.1.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[1],"name":"Integer"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Days.Day.2.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[2],"name":"Integer"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Days.Day.3.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[3],"name":"Integer"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Days.Day.4.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[4],"name":"Integer"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Days.Day.5.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[5],"name":"Integer"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Days.Day.6.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[6],"name":"Integer"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Days.FreeDay.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[5],"name":"Integer"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Days.FreeDay.1.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[6],"name":"Integer"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Days.WorkDay.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[0],"name":"Integer"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Days.WorkDay.1.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[1],"name":"Integer"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Days.WorkDay.2.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[2],"name":"Integer"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Days.WorkDay.3.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[3],"name":"Integer"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Days.WorkDay.4.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[4],"name":"Integer"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.A.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":0}],"name":"Constr"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"},{"fields":[[]],"name":"Map"},{"fields":[1337],"name":"Integer"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.A.1.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":0}],"name":"Constr"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"},{"fields":[[]],"name":"Map"}],"index":1}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.A.2.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[[]],"name":"Map"}],"index":2}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.A.3.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[3],"name":"Integer"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.A.4.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[0],"name":"Integer"}],"index":4}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.A.7.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[[[{"fields":[""],"name":"Bytes"},{"fields":[[[{"fields":[""],"name":"Bytes"},{"fields":[1337],"name":"Integer"}]]],"name":"Map"}]]],"name":"Map"}],"index":2}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.A.8.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[3],"name":"Integer"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.A.9.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[0],"name":"Integer"}],"index":4}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.B.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":0}],"name":"Constr"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"},{"fields":[[]],"name":"Map"},{"fields":[1337],"name":"Integer"},{"fields":[1337],"name":"Integer"}]],"name":"List"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.B.3.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":1}],"name":"Constr"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"},{"fields":[[]],"name":"Map"},{"fields":[1337],"name":"Integer"},{"fields":[1337],"name":"Integer"}]],"name":"List"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.C.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":0}],"name":"Constr"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"},{"fields":[[]],"name":"Map"},{"fields":[1337],"name":"Integer"},{"fields":[1337],"name":"Integer"}]],"name":"List"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.C.3.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":1}],"name":"Constr"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"},{"fields":[[]],"name":"Map"},{"fields":[1337],"name":"Integer"},{"fields":[1337],"name":"Integer"}]],"name":"List"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.FInt.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[1],"name":"Integer"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.FInt.1.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[1],"name":"Integer"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.GInt.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[1],"name":"Integer"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.GInt.1.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[1],"name":"Integer"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Address.0.json: -------------------------------------------------------------------------------- 1 | {"credential":{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"},"staking_credential":{"fields":[],"name":"Nothing"}} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Address.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":0}],"name":"Constr"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Address.1.json: -------------------------------------------------------------------------------- 1 | {"credential":{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"ScriptCredential"},"staking_credential":{"fields":[],"name":"Nothing"}} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Address.1.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":1}],"name":"Constr"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Address.2.json: -------------------------------------------------------------------------------- 1 | {"credential":{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"},"staking_credential":{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"}],"name":"StakingHash"}],"name":"Just"}} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Address.3.json: -------------------------------------------------------------------------------- 1 | {"credential":{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"},"staking_credential":{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"ScriptCredential"}],"name":"StakingHash"}],"name":"Just"}} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Address.4.json: -------------------------------------------------------------------------------- 1 | {"credential":{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"},"staking_credential":{"fields":[{"fields":[{"certificate_index":2,"slot_number":0,"transaction_index":1}],"name":"StakingPtr"}],"name":"Just"}} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Address.5.json: -------------------------------------------------------------------------------- 1 | {"credential":{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"ScriptCredential"},"staking_credential":{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"}],"name":"StakingHash"}],"name":"Just"}} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Address.6.json: -------------------------------------------------------------------------------- 1 | {"credential":{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"ScriptCredential"},"staking_credential":{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"ScriptCredential"}],"name":"StakingHash"}],"name":"Just"}} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Address.7.json: -------------------------------------------------------------------------------- 1 | {"credential":{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"ScriptCredential"},"staking_credential":{"fields":[{"fields":[{"certificate_index":2,"slot_number":0,"transaction_index":1}],"name":"StakingPtr"}],"name":"Just"}} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.AssetClass.0.json: -------------------------------------------------------------------------------- 1 | {"currency_symbol":"0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c","token_name":""} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.AssetClass.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"},{"fields":[""],"name":"Bytes"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.AssetClass.1.json: -------------------------------------------------------------------------------- 1 | {"currency_symbol":"0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c","token_name":"0102030405060708090a0b0c0d0e0f10"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.AssetClass.1.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"},{"fields":["0102030405060708090a0b0c0d0e0f10"],"name":"Bytes"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.AssetClass.2.json: -------------------------------------------------------------------------------- 1 | {"currency_symbol":"0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c","token_name":"0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f20"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.AssetClass.2.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"},{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f20"],"name":"Bytes"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.AssetClass.3.json: -------------------------------------------------------------------------------- 1 | {"currency_symbol":"","token_name":""} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.AssetClass.3.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[""],"name":"Bytes"},{"fields":[""],"name":"Bytes"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Bytes.0.json: -------------------------------------------------------------------------------- 1 | "" -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Bytes.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[""],"name":"Bytes"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Bytes.1.json: -------------------------------------------------------------------------------- 1 | "00" -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Bytes.1.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":["00"],"name":"Bytes"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Bytes.2.json: -------------------------------------------------------------------------------- 1 | "736f6d65206279746573" -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Bytes.2.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":["736f6d65206279746573"],"name":"Bytes"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Credential.0.json: -------------------------------------------------------------------------------- 1 | {"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Credential.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Credential.1.json: -------------------------------------------------------------------------------- 1 | {"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"ScriptCredential"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Credential.1.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":1}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.CurrencySymbol.0.json: -------------------------------------------------------------------------------- 1 | "" -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.CurrencySymbol.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[""],"name":"Bytes"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.CurrencySymbol.1.json: -------------------------------------------------------------------------------- 1 | "0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c" -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.CurrencySymbol.1.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.DCert.0.json: -------------------------------------------------------------------------------- 1 | {"fields":[],"name":"Mir"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.DCert.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[],"index":6}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.DCert.1.json: -------------------------------------------------------------------------------- 1 | {"fields":[],"name":"Genesis"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.DCert.1.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[],"index":5}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.DCert.2.json: -------------------------------------------------------------------------------- 1 | {"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c",1337],"name":"PoolRetire"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.DCert.2.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"},{"fields":[1337],"name":"Integer"}],"index":4}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.DCert.3.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"}],"name":"StakingHash"}],"name":"DelegRegKey"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.DCert.3.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.DCert.4.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"ScriptCredential"}],"name":"StakingHash"}],"name":"DelegRegKey"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.DCert.4.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.DCert.5.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"certificate_index":2,"slot_number":0,"transaction_index":1}],"name":"StakingPtr"}],"name":"DelegRegKey"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.DCert.5.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":[0],"name":"Integer"},{"fields":[1],"name":"Integer"},{"fields":[2],"name":"Integer"}],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.DCert.6.json: -------------------------------------------------------------------------------- 1 | {"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c","0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PoolRegister"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.DCert.6.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"},{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":3}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.DCert.7.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"}],"name":"StakingHash"}],"name":"DelegDeRegKey"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.DCert.7.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"}],"index":1}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.DCert.8.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"ScriptCredential"}],"name":"StakingHash"}],"name":"DelegDeRegKey"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.DCert.8.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"}],"index":1}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.DCert.9.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"certificate_index":2,"slot_number":0,"transaction_index":1}],"name":"StakingPtr"}],"name":"DelegDeRegKey"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.DCert.9.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":[0],"name":"Integer"},{"fields":[1],"name":"Integer"},{"fields":[2],"name":"Integer"}],"index":1}],"name":"Constr"}],"index":1}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Datum.0.json: -------------------------------------------------------------------------------- 1 | {"fields":[1337],"name":"Integer"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Datum.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[1337],"name":"Integer"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.DatumHash.0.json: -------------------------------------------------------------------------------- 1 | "0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f20" -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.DatumHash.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f20"],"name":"Bytes"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Extended.0.json: -------------------------------------------------------------------------------- 1 | {"fields":[],"name":"NegInf"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Extended.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Extended.1.json: -------------------------------------------------------------------------------- 1 | {"fields":[],"name":"PosInf"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Extended.1.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[],"index":2}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Extended.2.json: -------------------------------------------------------------------------------- 1 | {"fields":[0],"name":"Finite"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Extended.2.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[0],"name":"Integer"}],"index":1}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Interval.0.json: -------------------------------------------------------------------------------- 1 | {"from":{"bound":{"fields":[],"name":"NegInf"},"closed":true},"to":{"bound":{"fields":[],"name":"NegInf"},"closed":true}} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Interval.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":[],"index":0}],"name":"Constr"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"},{"fields":[{"fields":[{"fields":[{"fields":[],"index":0}],"name":"Constr"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Interval.1.json: -------------------------------------------------------------------------------- 1 | {"from":{"bound":{"fields":[],"name":"NegInf"},"closed":true},"to":{"bound":{"fields":[],"name":"NegInf"},"closed":false}} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Interval.1.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":[],"index":0}],"name":"Constr"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"},{"fields":[{"fields":[{"fields":[{"fields":[],"index":0}],"name":"Constr"},{"fields":[{"fields":[],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Interval.2.json: -------------------------------------------------------------------------------- 1 | {"from":{"bound":{"fields":[],"name":"NegInf"},"closed":true},"to":{"bound":{"fields":[],"name":"PosInf"},"closed":true}} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Interval.2.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":[],"index":0}],"name":"Constr"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"},{"fields":[{"fields":[{"fields":[{"fields":[],"index":2}],"name":"Constr"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Interval.3.json: -------------------------------------------------------------------------------- 1 | {"from":{"bound":{"fields":[],"name":"NegInf"},"closed":true},"to":{"bound":{"fields":[],"name":"PosInf"},"closed":false}} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Interval.3.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":[],"index":0}],"name":"Constr"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"},{"fields":[{"fields":[{"fields":[{"fields":[],"index":2}],"name":"Constr"},{"fields":[{"fields":[],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Interval.4.json: -------------------------------------------------------------------------------- 1 | {"from":{"bound":{"fields":[],"name":"NegInf"},"closed":true},"to":{"bound":{"fields":[0],"name":"Finite"},"closed":true}} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Interval.5.json: -------------------------------------------------------------------------------- 1 | {"from":{"bound":{"fields":[],"name":"NegInf"},"closed":true},"to":{"bound":{"fields":[0],"name":"Finite"},"closed":false}} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Interval.6.json: -------------------------------------------------------------------------------- 1 | {"from":{"bound":{"fields":[],"name":"NegInf"},"closed":false},"to":{"bound":{"fields":[],"name":"NegInf"},"closed":true}} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Interval.6.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":[],"index":0}],"name":"Constr"},{"fields":[{"fields":[],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"},{"fields":[{"fields":[{"fields":[{"fields":[],"index":0}],"name":"Constr"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Interval.7.json: -------------------------------------------------------------------------------- 1 | {"from":{"bound":{"fields":[],"name":"NegInf"},"closed":false},"to":{"bound":{"fields":[],"name":"NegInf"},"closed":false}} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Interval.7.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":[],"index":0}],"name":"Constr"},{"fields":[{"fields":[],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"},{"fields":[{"fields":[{"fields":[{"fields":[],"index":0}],"name":"Constr"},{"fields":[{"fields":[],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Interval.8.json: -------------------------------------------------------------------------------- 1 | {"from":{"bound":{"fields":[],"name":"NegInf"},"closed":false},"to":{"bound":{"fields":[],"name":"PosInf"},"closed":true}} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Interval.8.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":[],"index":0}],"name":"Constr"},{"fields":[{"fields":[],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"},{"fields":[{"fields":[{"fields":[{"fields":[],"index":2}],"name":"Constr"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Interval.9.json: -------------------------------------------------------------------------------- 1 | {"from":{"bound":{"fields":[],"name":"NegInf"},"closed":false},"to":{"bound":{"fields":[],"name":"PosInf"},"closed":false}} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Interval.9.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":[],"index":0}],"name":"Constr"},{"fields":[{"fields":[],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"},{"fields":[{"fields":[{"fields":[{"fields":[],"index":2}],"name":"Constr"},{"fields":[{"fields":[],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Lovelace.0.json: -------------------------------------------------------------------------------- 1 | 0 -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Lovelace.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[0],"name":"Integer"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.LowerBound.0.json: -------------------------------------------------------------------------------- 1 | {"bound":{"fields":[],"name":"NegInf"},"closed":true} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.LowerBound.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[],"index":0}],"name":"Constr"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.LowerBound.1.json: -------------------------------------------------------------------------------- 1 | {"bound":{"fields":[],"name":"NegInf"},"closed":false} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.LowerBound.1.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[],"index":0}],"name":"Constr"},{"fields":[{"fields":[],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.LowerBound.2.json: -------------------------------------------------------------------------------- 1 | {"bound":{"fields":[],"name":"PosInf"},"closed":true} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.LowerBound.2.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[],"index":2}],"name":"Constr"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.LowerBound.3.json: -------------------------------------------------------------------------------- 1 | {"bound":{"fields":[],"name":"PosInf"},"closed":false} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.LowerBound.3.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[],"index":2}],"name":"Constr"},{"fields":[{"fields":[],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.LowerBound.4.json: -------------------------------------------------------------------------------- 1 | {"bound":{"fields":[0],"name":"Finite"},"closed":true} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.LowerBound.4.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":[0],"name":"Integer"}],"index":1}],"name":"Constr"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.LowerBound.5.json: -------------------------------------------------------------------------------- 1 | {"bound":{"fields":[0],"name":"Finite"},"closed":false} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.LowerBound.5.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":[0],"name":"Integer"}],"index":1}],"name":"Constr"},{"fields":[{"fields":[],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Map.0.json: -------------------------------------------------------------------------------- 1 | [] -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Map.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[[]],"name":"Map"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Map.1.json: -------------------------------------------------------------------------------- 1 | [["",[["",1337]]]] -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Map.1.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[[[{"fields":[""],"name":"Bytes"},{"fields":[[[{"fields":[""],"name":"Bytes"},{"fields":[1337],"name":"Integer"}]]],"name":"Map"}]]],"name":"Map"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Map.2.json: -------------------------------------------------------------------------------- 1 | [["",[["",1337]]],["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c",[["",1337],["0102030405060708090a0b0c0d0e0f10",16],["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f20",32]]]] -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.POSIXTime.0.json: -------------------------------------------------------------------------------- 1 | 0 -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.POSIXTime.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[0],"name":"Integer"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.POSIXTime.1.json: -------------------------------------------------------------------------------- 1 | 1 -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.POSIXTime.1.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[1],"name":"Integer"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.POSIXTime.2.json: -------------------------------------------------------------------------------- 1 | 2 -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.POSIXTime.2.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[2],"name":"Integer"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.POSIXTimeRange.0.json: -------------------------------------------------------------------------------- 1 | {"from":{"bound":{"fields":[],"name":"NegInf"},"closed":true},"to":{"bound":{"fields":[],"name":"NegInf"},"closed":true}} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.POSIXTimeRange.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":[],"index":0}],"name":"Constr"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"},{"fields":[{"fields":[{"fields":[{"fields":[],"index":0}],"name":"Constr"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.POSIXTimeRange.1.json: -------------------------------------------------------------------------------- 1 | {"from":{"bound":{"fields":[],"name":"NegInf"},"closed":true},"to":{"bound":{"fields":[],"name":"NegInf"},"closed":false}} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.POSIXTimeRange.1.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":[],"index":0}],"name":"Constr"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"},{"fields":[{"fields":[{"fields":[{"fields":[],"index":0}],"name":"Constr"},{"fields":[{"fields":[],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.POSIXTimeRange.2.json: -------------------------------------------------------------------------------- 1 | {"from":{"bound":{"fields":[],"name":"NegInf"},"closed":true},"to":{"bound":{"fields":[],"name":"PosInf"},"closed":true}} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.POSIXTimeRange.2.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":[],"index":0}],"name":"Constr"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"},{"fields":[{"fields":[{"fields":[{"fields":[],"index":2}],"name":"Constr"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.POSIXTimeRange.3.json: -------------------------------------------------------------------------------- 1 | {"from":{"bound":{"fields":[],"name":"NegInf"},"closed":true},"to":{"bound":{"fields":[],"name":"PosInf"},"closed":false}} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.POSIXTimeRange.3.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":[],"index":0}],"name":"Constr"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"},{"fields":[{"fields":[{"fields":[{"fields":[],"index":2}],"name":"Constr"},{"fields":[{"fields":[],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.POSIXTimeRange.4.json: -------------------------------------------------------------------------------- 1 | {"from":{"bound":{"fields":[],"name":"NegInf"},"closed":true},"to":{"bound":{"fields":[0],"name":"Finite"},"closed":true}} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.POSIXTimeRange.5.json: -------------------------------------------------------------------------------- 1 | {"from":{"bound":{"fields":[],"name":"NegInf"},"closed":true},"to":{"bound":{"fields":[0],"name":"Finite"},"closed":false}} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.POSIXTimeRange.6.json: -------------------------------------------------------------------------------- 1 | {"from":{"bound":{"fields":[],"name":"NegInf"},"closed":false},"to":{"bound":{"fields":[],"name":"NegInf"},"closed":true}} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.POSIXTimeRange.6.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":[],"index":0}],"name":"Constr"},{"fields":[{"fields":[],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"},{"fields":[{"fields":[{"fields":[{"fields":[],"index":0}],"name":"Constr"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.POSIXTimeRange.7.json: -------------------------------------------------------------------------------- 1 | {"from":{"bound":{"fields":[],"name":"NegInf"},"closed":false},"to":{"bound":{"fields":[],"name":"NegInf"},"closed":false}} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.POSIXTimeRange.7.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":[],"index":0}],"name":"Constr"},{"fields":[{"fields":[],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"},{"fields":[{"fields":[{"fields":[{"fields":[],"index":0}],"name":"Constr"},{"fields":[{"fields":[],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.POSIXTimeRange.8.json: -------------------------------------------------------------------------------- 1 | {"from":{"bound":{"fields":[],"name":"NegInf"},"closed":false},"to":{"bound":{"fields":[],"name":"PosInf"},"closed":true}} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.POSIXTimeRange.8.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":[],"index":0}],"name":"Constr"},{"fields":[{"fields":[],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"},{"fields":[{"fields":[{"fields":[{"fields":[],"index":2}],"name":"Constr"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.POSIXTimeRange.9.json: -------------------------------------------------------------------------------- 1 | {"from":{"bound":{"fields":[],"name":"NegInf"},"closed":false},"to":{"bound":{"fields":[],"name":"PosInf"},"closed":false}} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.POSIXTimeRange.9.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":[],"index":0}],"name":"Constr"},{"fields":[{"fields":[],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"},{"fields":[{"fields":[{"fields":[{"fields":[],"index":2}],"name":"Constr"},{"fields":[{"fields":[],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.PlutusData.0.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.PlutusData.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.PlutusData.1.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[1],"name":"Integer"},{"fields":["736f6d65206279746573"],"name":"Bytes"}],"index":1}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.PlutusData.1.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[1],"name":"Integer"},{"fields":["736f6d65206279746573"],"name":"Bytes"}],"index":1}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.PlutusData.10.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[""],"name":"Bytes"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.PlutusData.11.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":["00"],"name":"Bytes"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.PlutusData.12.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":["736f6d65206279746573"],"name":"Bytes"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.PlutusData.2.json: -------------------------------------------------------------------------------- 1 | {"fields":[[]],"name":"List"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.PlutusData.2.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[[]],"name":"List"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.PlutusData.3.json: -------------------------------------------------------------------------------- 1 | {"fields":[[{"fields":[1],"name":"Integer"},{"fields":[2],"name":"Integer"}]],"name":"List"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.PlutusData.3.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[[{"fields":[1],"name":"Integer"},{"fields":[2],"name":"Integer"}]],"name":"List"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.PlutusData.4.json: -------------------------------------------------------------------------------- 1 | {"fields":[[{"fields":[1],"name":"Integer"},{"fields":["736f6d65206279746573"],"name":"Bytes"}]],"name":"List"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.PlutusData.4.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[[{"fields":[1],"name":"Integer"},{"fields":["736f6d65206279746573"],"name":"Bytes"}]],"name":"List"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.PlutusData.5.json: -------------------------------------------------------------------------------- 1 | {"fields":[[]],"name":"Map"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.PlutusData.5.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[[]],"name":"Map"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.PlutusData.6.json: -------------------------------------------------------------------------------- 1 | {"fields":[[[{"fields":[1],"name":"Integer"},{"fields":["736f6d65206279746573"],"name":"Bytes"}],[{"fields":[2],"name":"Integer"},{"fields":["736f6d65206d6f7265206279746573"],"name":"Bytes"}]]],"name":"Map"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.PlutusData.6.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[[[{"fields":[1],"name":"Integer"},{"fields":["736f6d65206279746573"],"name":"Bytes"}],[{"fields":[2],"name":"Integer"},{"fields":["736f6d65206d6f7265206279746573"],"name":"Bytes"}]]],"name":"Map"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.PlutusData.7.json: -------------------------------------------------------------------------------- 1 | {"fields":[0],"name":"Integer"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.PlutusData.7.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[0],"name":"Integer"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.PlutusData.8.json: -------------------------------------------------------------------------------- 1 | {"fields":[1],"name":"Integer"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.PlutusData.8.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[1],"name":"Integer"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.PlutusData.9.json: -------------------------------------------------------------------------------- 1 | {"fields":[-1],"name":"Integer"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.PlutusData.9.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[-1],"name":"Integer"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.PubKeyHash.0.json: -------------------------------------------------------------------------------- 1 | "0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c" -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.PubKeyHash.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Redeemer.0.json: -------------------------------------------------------------------------------- 1 | {"fields":[1337],"name":"Integer"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Redeemer.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[1337],"name":"Integer"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.RedeemerHash.0.json: -------------------------------------------------------------------------------- 1 | "0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f20" -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.RedeemerHash.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f20"],"name":"Bytes"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.ScriptHash.0.json: -------------------------------------------------------------------------------- 1 | "0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c" -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.ScriptHash.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.ScriptPurpose.0.json: -------------------------------------------------------------------------------- 1 | {"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Minting"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.ScriptPurpose.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.ScriptPurpose.1.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"index":0,"transaction_id":"0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f20"}],"name":"Spending"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.ScriptPurpose.1.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f20"],"name":"Bytes"}],"index":0}],"name":"Constr"},{"fields":[0],"name":"Integer"}],"index":0}],"name":"Constr"}],"index":1}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.ScriptPurpose.2.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"}],"name":"StakingHash"}],"name":"Rewarding"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.ScriptPurpose.2.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"}],"index":2}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.ScriptPurpose.3.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"ScriptCredential"}],"name":"StakingHash"}],"name":"Rewarding"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.ScriptPurpose.3.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"}],"index":2}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.ScriptPurpose.4.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"certificate_index":2,"slot_number":0,"transaction_index":1}],"name":"StakingPtr"}],"name":"Rewarding"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.ScriptPurpose.4.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":[0],"name":"Integer"},{"fields":[1],"name":"Integer"},{"fields":[2],"name":"Integer"}],"index":1}],"name":"Constr"}],"index":2}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.ScriptPurpose.5.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[],"name":"Mir"}],"name":"Certifying"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.ScriptPurpose.5.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[],"index":6}],"name":"Constr"}],"index":3}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.ScriptPurpose.6.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[],"name":"Genesis"}],"name":"Certifying"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.ScriptPurpose.6.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[],"index":5}],"name":"Constr"}],"index":3}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.ScriptPurpose.7.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c",1337],"name":"PoolRetire"}],"name":"Certifying"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.ScriptPurpose.7.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"},{"fields":[1337],"name":"Integer"}],"index":4}],"name":"Constr"}],"index":3}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.ScriptPurpose.8.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"}],"name":"StakingHash"}],"name":"DelegRegKey"}],"name":"Certifying"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.ScriptPurpose.8.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"}],"index":3}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.ScriptPurpose.9.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"ScriptCredential"}],"name":"StakingHash"}],"name":"DelegRegKey"}],"name":"Certifying"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.ScriptPurpose.9.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"}],"index":3}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.StakingCredential.0.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"}],"name":"StakingHash"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.StakingCredential.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.StakingCredential.1.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"ScriptCredential"}],"name":"StakingHash"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.StakingCredential.1.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.StakingCredential.2.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"certificate_index":2,"slot_number":0,"transaction_index":1}],"name":"StakingPtr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.StakingCredential.2.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[0],"name":"Integer"},{"fields":[1],"name":"Integer"},{"fields":[2],"name":"Integer"}],"index":1}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TokenName.0.json: -------------------------------------------------------------------------------- 1 | "" -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TokenName.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[""],"name":"Bytes"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TokenName.1.json: -------------------------------------------------------------------------------- 1 | "0102030405060708090a0b0c0d0e0f10" -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TokenName.1.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":["0102030405060708090a0b0c0d0e0f10"],"name":"Bytes"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TokenName.2.json: -------------------------------------------------------------------------------- 1 | "0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f20" -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TokenName.2.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f20"],"name":"Bytes"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxId.0.json: -------------------------------------------------------------------------------- 1 | "0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f20" -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxId.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f20"],"name":"Bytes"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxInInfo.0.json: -------------------------------------------------------------------------------- 1 | {"output":{"address":{"credential":{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"},"staking_credential":{"fields":[],"name":"Nothing"}},"datum_hash":{"fields":[],"name":"Nothing"},"value":[]},"reference":{"index":0,"transaction_id":"0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f20"}} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxInInfo.2.json: -------------------------------------------------------------------------------- 1 | {"output":{"address":{"credential":{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"},"staking_credential":{"fields":[],"name":"Nothing"}},"datum_hash":{"fields":[],"name":"Nothing"},"value":[["",[["",1337]]]]},"reference":{"index":0,"transaction_id":"0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f20"}} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxInInfo.6.json: -------------------------------------------------------------------------------- 1 | {"output":{"address":{"credential":{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"ScriptCredential"},"staking_credential":{"fields":[],"name":"Nothing"}},"datum_hash":{"fields":[],"name":"Nothing"},"value":[]},"reference":{"index":0,"transaction_id":"0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f20"}} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxInInfo.8.json: -------------------------------------------------------------------------------- 1 | {"output":{"address":{"credential":{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"ScriptCredential"},"staking_credential":{"fields":[],"name":"Nothing"}},"datum_hash":{"fields":[],"name":"Nothing"},"value":[["",[["",1337]]]]},"reference":{"index":0,"transaction_id":"0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f20"}} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxOut.0.json: -------------------------------------------------------------------------------- 1 | {"address":{"credential":{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"},"staking_credential":{"fields":[],"name":"Nothing"}},"datum_hash":{"fields":[],"name":"Nothing"},"value":[]} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxOut.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":0}],"name":"Constr"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"},{"fields":[[]],"name":"Map"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxOut.1.json: -------------------------------------------------------------------------------- 1 | {"address":{"credential":{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"},"staking_credential":{"fields":[],"name":"Nothing"}},"datum_hash":{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f20"],"name":"Just"},"value":[]} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxOut.2.json: -------------------------------------------------------------------------------- 1 | {"address":{"credential":{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"},"staking_credential":{"fields":[],"name":"Nothing"}},"datum_hash":{"fields":[],"name":"Nothing"},"value":[["",[["",1337]]]]} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxOut.3.json: -------------------------------------------------------------------------------- 1 | {"address":{"credential":{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"},"staking_credential":{"fields":[],"name":"Nothing"}},"datum_hash":{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f20"],"name":"Just"},"value":[["",[["",1337]]]]} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxOut.6.json: -------------------------------------------------------------------------------- 1 | {"address":{"credential":{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"ScriptCredential"},"staking_credential":{"fields":[],"name":"Nothing"}},"datum_hash":{"fields":[],"name":"Nothing"},"value":[]} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxOut.6.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":1}],"name":"Constr"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"},{"fields":[[]],"name":"Map"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxOut.7.json: -------------------------------------------------------------------------------- 1 | {"address":{"credential":{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"ScriptCredential"},"staking_credential":{"fields":[],"name":"Nothing"}},"datum_hash":{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f20"],"name":"Just"},"value":[]} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxOut.8.json: -------------------------------------------------------------------------------- 1 | {"address":{"credential":{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"ScriptCredential"},"staking_credential":{"fields":[],"name":"Nothing"}},"datum_hash":{"fields":[],"name":"Nothing"},"value":[["",[["",1337]]]]} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxOut.9.json: -------------------------------------------------------------------------------- 1 | {"address":{"credential":{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"ScriptCredential"},"staking_credential":{"fields":[],"name":"Nothing"}},"datum_hash":{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f20"],"name":"Just"},"value":[["",[["",1337]]]]} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxOutRef.0.json: -------------------------------------------------------------------------------- 1 | {"index":0,"transaction_id":"0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f20"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxOutRef.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f20"],"name":"Bytes"}],"index":0}],"name":"Constr"},{"fields":[0],"name":"Integer"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.UpperBound.0.json: -------------------------------------------------------------------------------- 1 | {"bound":{"fields":[],"name":"NegInf"},"closed":true} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.UpperBound.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[],"index":0}],"name":"Constr"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.UpperBound.1.json: -------------------------------------------------------------------------------- 1 | {"bound":{"fields":[],"name":"NegInf"},"closed":false} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.UpperBound.1.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[],"index":0}],"name":"Constr"},{"fields":[{"fields":[],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.UpperBound.2.json: -------------------------------------------------------------------------------- 1 | {"bound":{"fields":[],"name":"PosInf"},"closed":true} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.UpperBound.2.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[],"index":2}],"name":"Constr"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.UpperBound.3.json: -------------------------------------------------------------------------------- 1 | {"bound":{"fields":[],"name":"PosInf"},"closed":false} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.UpperBound.3.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[],"index":2}],"name":"Constr"},{"fields":[{"fields":[],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.UpperBound.4.json: -------------------------------------------------------------------------------- 1 | {"bound":{"fields":[0],"name":"Finite"},"closed":true} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.UpperBound.4.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":[0],"name":"Integer"}],"index":1}],"name":"Constr"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.UpperBound.5.json: -------------------------------------------------------------------------------- 1 | {"bound":{"fields":[0],"name":"Finite"},"closed":false} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.UpperBound.5.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":[0],"name":"Integer"}],"index":1}],"name":"Constr"},{"fields":[{"fields":[],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Value.0.json: -------------------------------------------------------------------------------- 1 | [] -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Value.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[[]],"name":"Map"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Value.1.json: -------------------------------------------------------------------------------- 1 | [["",[["",1337]]]] -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Value.1.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[[[{"fields":[""],"name":"Bytes"},{"fields":[[[{"fields":[""],"name":"Bytes"},{"fields":[1337],"name":"Integer"}]]],"name":"Map"}]]],"name":"Map"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Value.2.json: -------------------------------------------------------------------------------- 1 | [["",[["",1337]]],["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c",[["",1337],["0102030405060708090a0b0c0d0e0f10",16],["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f20",32]]]] -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.OutputDatum.0.json: -------------------------------------------------------------------------------- 1 | {"fields":[],"name":"NoOutputDatum"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.OutputDatum.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.OutputDatum.1.json: -------------------------------------------------------------------------------- 1 | {"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f20"],"name":"OutputDatumHash"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.OutputDatum.1.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f20"],"name":"Bytes"}],"index":1}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.OutputDatum.2.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[1337],"name":"Integer"}],"name":"OutputDatum"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.OutputDatum.2.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[1337],"name":"Integer"}],"index":2}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxOut.0.json: -------------------------------------------------------------------------------- 1 | {"address":{"credential":{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"},"staking_credential":{"fields":[],"name":"Nothing"}},"datum":{"fields":[],"name":"NoOutputDatum"},"reference_script":{"fields":[],"name":"Nothing"},"value":[]} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxOut.1.json: -------------------------------------------------------------------------------- 1 | {"address":{"credential":{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"},"staking_credential":{"fields":[],"name":"Nothing"}},"datum":{"fields":[],"name":"NoOutputDatum"},"reference_script":{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Just"},"value":[]} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxOut.2.json: -------------------------------------------------------------------------------- 1 | {"address":{"credential":{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"},"staking_credential":{"fields":[],"name":"Nothing"}},"datum":{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f20"],"name":"OutputDatumHash"},"reference_script":{"fields":[],"name":"Nothing"},"value":[]} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxOut.4.json: -------------------------------------------------------------------------------- 1 | {"address":{"credential":{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"},"staking_credential":{"fields":[],"name":"Nothing"}},"datum":{"fields":[],"name":"NoOutputDatum"},"reference_script":{"fields":[],"name":"Nothing"},"value":[["",[["",1337]]]]} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxOut.5.json: -------------------------------------------------------------------------------- 1 | {"address":{"credential":{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"},"staking_credential":{"fields":[],"name":"Nothing"}},"datum":{"fields":[],"name":"NoOutputDatum"},"reference_script":{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Just"},"value":[["",[["",1337]]]]} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxOut.6.json: -------------------------------------------------------------------------------- 1 | {"address":{"credential":{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"},"staking_credential":{"fields":[],"name":"Nothing"}},"datum":{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f20"],"name":"OutputDatumHash"},"reference_script":{"fields":[],"name":"Nothing"},"value":[["",[["",1337]]]]} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ChangedParameters.0.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ChangedParameters.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ChangedParameters.1.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[1],"name":"Integer"},{"fields":["736f6d65206279746573"],"name":"Bytes"}],"index":1}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ChangedParameters.1.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[1],"name":"Integer"},{"fields":["736f6d65206279746573"],"name":"Bytes"}],"index":1}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ChangedParameters.2.json: -------------------------------------------------------------------------------- 1 | {"fields":[[]],"name":"List"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ChangedParameters.2.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[[]],"name":"List"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ChangedParameters.3.json: -------------------------------------------------------------------------------- 1 | {"fields":[[{"fields":[1],"name":"Integer"},{"fields":[2],"name":"Integer"}]],"name":"List"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ChangedParameters.3.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[[{"fields":[1],"name":"Integer"},{"fields":[2],"name":"Integer"}]],"name":"List"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ChangedParameters.4.json: -------------------------------------------------------------------------------- 1 | {"fields":[[{"fields":[1],"name":"Integer"},{"fields":["736f6d65206279746573"],"name":"Bytes"}]],"name":"List"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ChangedParameters.4.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[[{"fields":[1],"name":"Integer"},{"fields":["736f6d65206279746573"],"name":"Bytes"}]],"name":"List"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ChangedParameters.5.json: -------------------------------------------------------------------------------- 1 | {"fields":[[]],"name":"Map"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ChangedParameters.5.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[[]],"name":"Map"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ChangedParameters.6.json: -------------------------------------------------------------------------------- 1 | {"fields":[[[{"fields":[1],"name":"Integer"},{"fields":["736f6d65206279746573"],"name":"Bytes"}],[{"fields":[2],"name":"Integer"},{"fields":["736f6d65206d6f7265206279746573"],"name":"Bytes"}]]],"name":"Map"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ChangedParameters.6.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[[[{"fields":[1],"name":"Integer"},{"fields":["736f6d65206279746573"],"name":"Bytes"}],[{"fields":[2],"name":"Integer"},{"fields":["736f6d65206d6f7265206279746573"],"name":"Bytes"}]]],"name":"Map"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ChangedParameters.7.json: -------------------------------------------------------------------------------- 1 | {"fields":[0],"name":"Integer"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ChangedParameters.7.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[0],"name":"Integer"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ChangedParameters.8.json: -------------------------------------------------------------------------------- 1 | {"fields":[1],"name":"Integer"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ChangedParameters.8.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[1],"name":"Integer"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ChangedParameters.9.json: -------------------------------------------------------------------------------- 1 | {"fields":[-1],"name":"Integer"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ChangedParameters.9.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[-1],"name":"Integer"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ColdCommitteeCredential.0.json: -------------------------------------------------------------------------------- 1 | {"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ColdCommitteeCredential.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ColdCommitteeCredential.1.json: -------------------------------------------------------------------------------- 1 | {"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"ScriptCredential"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ColdCommitteeCredential.1.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":1}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Committee.0.json: -------------------------------------------------------------------------------- 1 | {"members":[[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"},0],[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"ScriptCredential"},0]],"quorum":[1,2]} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Constitution.0.json: -------------------------------------------------------------------------------- 1 | {"constitution_script":{"fields":[],"name":"Nothing"}} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Constitution.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Constitution.1.json: -------------------------------------------------------------------------------- 1 | {"constitution_script":{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Just"}} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Constitution.1.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.DRep.0.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"}],"name":"DRep"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.DRep.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.DRep.1.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"ScriptCredential"}],"name":"DRep"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.DRep.1.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.DRep.2.json: -------------------------------------------------------------------------------- 1 | {"fields":[],"name":"AlwaysAbstain"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.DRep.2.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[],"index":1}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.DRep.3.json: -------------------------------------------------------------------------------- 1 | {"fields":[],"name":"AlwaysNoConfidence"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.DRep.3.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[],"index":2}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.DRepCredential.0.json: -------------------------------------------------------------------------------- 1 | {"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.DRepCredential.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.DRepCredential.1.json: -------------------------------------------------------------------------------- 1 | {"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"ScriptCredential"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.DRepCredential.1.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":1}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Delegatee.0.json: -------------------------------------------------------------------------------- 1 | {"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Stake"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Delegatee.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Delegatee.1.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"}],"name":"DRep"}],"name":"Vote"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Delegatee.1.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"}],"index":1}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Delegatee.2.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"ScriptCredential"}],"name":"DRep"}],"name":"Vote"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Delegatee.2.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"}],"index":1}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Delegatee.3.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[],"name":"AlwaysAbstain"}],"name":"Vote"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Delegatee.3.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":1}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Delegatee.4.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[],"name":"AlwaysNoConfidence"}],"name":"Vote"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Delegatee.4.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[],"index":2}],"name":"Constr"}],"index":1}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Delegatee.5.json: -------------------------------------------------------------------------------- 1 | {"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c",{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"}],"name":"DRep"}],"name":"StakeVote"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Delegatee.5.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"},{"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"}],"index":2}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Delegatee.6.json: -------------------------------------------------------------------------------- 1 | {"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c",{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"ScriptCredential"}],"name":"DRep"}],"name":"StakeVote"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Delegatee.6.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"},{"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"}],"index":2}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Delegatee.7.json: -------------------------------------------------------------------------------- 1 | {"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c",{"fields":[],"name":"AlwaysAbstain"}],"name":"StakeVote"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Delegatee.7.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":2}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Delegatee.8.json: -------------------------------------------------------------------------------- 1 | {"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c",{"fields":[],"name":"AlwaysNoConfidence"}],"name":"StakeVote"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Delegatee.8.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"},{"fields":[{"fields":[],"index":2}],"name":"Constr"}],"index":2}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.GovernanceAction.0.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[],"name":"Nothing"},{"fields":[{"fields":[],"index":0}],"name":"Constr"},{"fields":[],"name":"Nothing"}],"name":"ParameterChange"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.GovernanceAction.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[],"index":1}],"name":"Constr"},{"fields":[{"fields":[],"index":0}],"name":"Constr"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.GovernanceAction.1.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[],"name":"Nothing"},{"fields":[{"fields":[],"index":0}],"name":"Constr"},{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Just"}],"name":"ParameterChange"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.GovernanceAction.1.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[],"index":1}],"name":"Constr"},{"fields":[{"fields":[],"index":0}],"name":"Constr"},{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.GovernanceAction.2.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[],"name":"Nothing"},{"fields":[{"fields":[{"fields":[1],"name":"Integer"},{"fields":["736f6d65206279746573"],"name":"Bytes"}],"index":1}],"name":"Constr"},{"fields":[],"name":"Nothing"}],"name":"ParameterChange"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.GovernanceAction.2.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[],"index":1}],"name":"Constr"},{"fields":[{"fields":[{"fields":[1],"name":"Integer"},{"fields":["736f6d65206279746573"],"name":"Bytes"}],"index":1}],"name":"Constr"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.GovernanceAction.3.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[],"name":"Nothing"},{"fields":[{"fields":[{"fields":[1],"name":"Integer"},{"fields":["736f6d65206279746573"],"name":"Bytes"}],"index":1}],"name":"Constr"},{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Just"}],"name":"ParameterChange"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.GovernanceAction.3.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[],"index":1}],"name":"Constr"},{"fields":[{"fields":[{"fields":[1],"name":"Integer"},{"fields":["736f6d65206279746573"],"name":"Bytes"}],"index":1}],"name":"Constr"},{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.GovernanceAction.4.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[],"name":"Nothing"},{"fields":[[]],"name":"List"},{"fields":[],"name":"Nothing"}],"name":"ParameterChange"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.GovernanceAction.4.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[],"index":1}],"name":"Constr"},{"fields":[[]],"name":"List"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.GovernanceAction.5.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[],"name":"Nothing"},{"fields":[[]],"name":"List"},{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Just"}],"name":"ParameterChange"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.GovernanceAction.5.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[],"index":1}],"name":"Constr"},{"fields":[[]],"name":"List"},{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.GovernanceAction.6.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[],"name":"Nothing"},{"fields":[[{"fields":[1],"name":"Integer"},{"fields":[2],"name":"Integer"}]],"name":"List"},{"fields":[],"name":"Nothing"}],"name":"ParameterChange"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.GovernanceAction.6.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[],"index":1}],"name":"Constr"},{"fields":[[{"fields":[1],"name":"Integer"},{"fields":[2],"name":"Integer"}]],"name":"List"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.GovernanceAction.7.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[],"name":"Nothing"},{"fields":[[{"fields":[1],"name":"Integer"},{"fields":[2],"name":"Integer"}]],"name":"List"},{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Just"}],"name":"ParameterChange"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.GovernanceAction.7.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[],"index":1}],"name":"Constr"},{"fields":[[{"fields":[1],"name":"Integer"},{"fields":[2],"name":"Integer"}]],"name":"List"},{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.GovernanceAction.8.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[],"name":"Nothing"},{"fields":[[{"fields":[1],"name":"Integer"},{"fields":["736f6d65206279746573"],"name":"Bytes"}]],"name":"List"},{"fields":[],"name":"Nothing"}],"name":"ParameterChange"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.GovernanceAction.8.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[],"index":1}],"name":"Constr"},{"fields":[[{"fields":[1],"name":"Integer"},{"fields":["736f6d65206279746573"],"name":"Bytes"}]],"name":"List"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.GovernanceAction.9.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[],"name":"Nothing"},{"fields":[[{"fields":[1],"name":"Integer"},{"fields":["736f6d65206279746573"],"name":"Bytes"}]],"name":"List"},{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Just"}],"name":"ParameterChange"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.GovernanceAction.9.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[],"index":1}],"name":"Constr"},{"fields":[[{"fields":[1],"name":"Integer"},{"fields":["736f6d65206279746573"],"name":"Bytes"}]],"name":"List"},{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.GovernanceActionId.0.json: -------------------------------------------------------------------------------- 1 | {"gov_action_id":0,"tx_id":"0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f20"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.GovernanceActionId.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f20"],"name":"Bytes"},{"fields":[0],"name":"Integer"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.HotCommitteeCredential.0.json: -------------------------------------------------------------------------------- 1 | {"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.HotCommitteeCredential.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.HotCommitteeCredential.1.json: -------------------------------------------------------------------------------- 1 | {"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"ScriptCredential"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.HotCommitteeCredential.1.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":1}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ProposalProcedure.0.json: -------------------------------------------------------------------------------- 1 | {"deposit":0,"governance_action":{"fields":[{"fields":[],"name":"Nothing"},{"fields":[{"fields":[],"index":0}],"name":"Constr"},{"fields":[],"name":"Nothing"}],"name":"ParameterChange"},"return_addr":{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"}} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ProposalProcedure.1.json: -------------------------------------------------------------------------------- 1 | {"deposit":0,"governance_action":{"fields":[{"fields":[],"name":"Nothing"},{"fields":[{"fields":[],"index":0}],"name":"Constr"},{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Just"}],"name":"ParameterChange"},"return_addr":{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"}} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ProposalProcedure.4.json: -------------------------------------------------------------------------------- 1 | {"deposit":0,"governance_action":{"fields":[{"fields":[],"name":"Nothing"},{"fields":[[]],"name":"List"},{"fields":[],"name":"Nothing"}],"name":"ParameterChange"},"return_addr":{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"}} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ProposalProcedure.5.json: -------------------------------------------------------------------------------- 1 | {"deposit":0,"governance_action":{"fields":[{"fields":[],"name":"Nothing"},{"fields":[[]],"name":"List"},{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Just"}],"name":"ParameterChange"},"return_addr":{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"}} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ProposalProcedure.6.json: -------------------------------------------------------------------------------- 1 | {"deposit":0,"governance_action":{"fields":[{"fields":[],"name":"Nothing"},{"fields":[[{"fields":[1],"name":"Integer"},{"fields":[2],"name":"Integer"}]],"name":"List"},{"fields":[],"name":"Nothing"}],"name":"ParameterChange"},"return_addr":{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"}} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ProposalProcedure.8.json: -------------------------------------------------------------------------------- 1 | {"deposit":0,"governance_action":{"fields":[{"fields":[],"name":"Nothing"},{"fields":[[{"fields":[1],"name":"Integer"},{"fields":["736f6d65206279746573"],"name":"Bytes"}]],"name":"List"},{"fields":[],"name":"Nothing"}],"name":"ParameterChange"},"return_addr":{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"}} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ProtocolVersion.0.json: -------------------------------------------------------------------------------- 1 | {"major":1,"minor":2} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ProtocolVersion.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[1],"name":"Integer"},{"fields":[2],"name":"Integer"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Rational.0.json: -------------------------------------------------------------------------------- 1 | [1,2] -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Rational.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[1],"name":"Integer"},{"fields":[2],"name":"Integer"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ScriptInfo.0.json: -------------------------------------------------------------------------------- 1 | {"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Minting"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ScriptInfo.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ScriptInfo.1.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"index":0,"transaction_id":"0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f20"},{"fields":[],"name":"Nothing"}],"name":"Spending"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ScriptInfo.1.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f20"],"name":"Bytes"},{"fields":[0],"name":"Integer"}],"index":0}],"name":"Constr"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":1}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ScriptInfo.2.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"index":0,"transaction_id":"0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f20"},{"fields":[{"fields":[1337],"name":"Integer"}],"name":"Just"}],"name":"Spending"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ScriptInfo.2.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f20"],"name":"Bytes"},{"fields":[0],"name":"Integer"}],"index":0}],"name":"Constr"},{"fields":[{"fields":[{"fields":[1337],"name":"Integer"}],"index":0}],"name":"Constr"}],"index":1}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ScriptInfo.3.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"}],"name":"Rewarding"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ScriptInfo.3.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":0}],"name":"Constr"}],"index":2}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ScriptInfo.4.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"ScriptCredential"}],"name":"Rewarding"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ScriptInfo.4.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":1}],"name":"Constr"}],"index":2}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ScriptInfo.5.json: -------------------------------------------------------------------------------- 1 | {"fields":[0,{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"},{"fields":[],"name":"Nothing"}],"name":"RegStaking"}],"name":"Certifying"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ScriptInfo.5.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[0],"name":"Integer"},{"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":0}],"name":"Constr"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"}],"index":3}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ScriptInfo.6.json: -------------------------------------------------------------------------------- 1 | {"fields":[0,{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"},{"fields":[0],"name":"Just"}],"name":"RegStaking"}],"name":"Certifying"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ScriptInfo.6.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[0],"name":"Integer"},{"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":0}],"name":"Constr"},{"fields":[{"fields":[{"fields":[0],"name":"Integer"}],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"}],"index":3}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ScriptInfo.7.json: -------------------------------------------------------------------------------- 1 | {"fields":[0,{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"ScriptCredential"},{"fields":[],"name":"Nothing"}],"name":"RegStaking"}],"name":"Certifying"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ScriptInfo.7.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[0],"name":"Integer"},{"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":1}],"name":"Constr"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"}],"index":3}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ScriptInfo.8.json: -------------------------------------------------------------------------------- 1 | {"fields":[0,{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"ScriptCredential"},{"fields":[0],"name":"Just"}],"name":"RegStaking"}],"name":"Certifying"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ScriptInfo.8.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[0],"name":"Integer"},{"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":1}],"name":"Constr"},{"fields":[{"fields":[{"fields":[0],"name":"Integer"}],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"}],"index":3}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ScriptInfo.9.json: -------------------------------------------------------------------------------- 1 | {"fields":[0,{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"},{"fields":[],"name":"Nothing"}],"name":"UnRegStaking"}],"name":"Certifying"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ScriptInfo.9.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[0],"name":"Integer"},{"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":0}],"name":"Constr"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":1}],"name":"Constr"}],"index":3}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ScriptPurpose.0.json: -------------------------------------------------------------------------------- 1 | {"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Minting"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ScriptPurpose.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ScriptPurpose.1.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"index":0,"transaction_id":"0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f20"}],"name":"Spending"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ScriptPurpose.1.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f20"],"name":"Bytes"},{"fields":[0],"name":"Integer"}],"index":0}],"name":"Constr"}],"index":1}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ScriptPurpose.2.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"}],"name":"Rewarding"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ScriptPurpose.2.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":0}],"name":"Constr"}],"index":2}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ScriptPurpose.3.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"ScriptCredential"}],"name":"Rewarding"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ScriptPurpose.3.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":1}],"name":"Constr"}],"index":2}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ScriptPurpose.4.json: -------------------------------------------------------------------------------- 1 | {"fields":[0,{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"},{"fields":[],"name":"Nothing"}],"name":"RegStaking"}],"name":"Certifying"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ScriptPurpose.4.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[0],"name":"Integer"},{"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":0}],"name":"Constr"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"}],"index":3}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ScriptPurpose.5.json: -------------------------------------------------------------------------------- 1 | {"fields":[0,{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"},{"fields":[0],"name":"Just"}],"name":"RegStaking"}],"name":"Certifying"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ScriptPurpose.5.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[0],"name":"Integer"},{"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":0}],"name":"Constr"},{"fields":[{"fields":[{"fields":[0],"name":"Integer"}],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"}],"index":3}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ScriptPurpose.6.json: -------------------------------------------------------------------------------- 1 | {"fields":[0,{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"ScriptCredential"},{"fields":[],"name":"Nothing"}],"name":"RegStaking"}],"name":"Certifying"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ScriptPurpose.6.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[0],"name":"Integer"},{"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":1}],"name":"Constr"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"}],"index":3}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ScriptPurpose.7.json: -------------------------------------------------------------------------------- 1 | {"fields":[0,{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"ScriptCredential"},{"fields":[0],"name":"Just"}],"name":"RegStaking"}],"name":"Certifying"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ScriptPurpose.7.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[0],"name":"Integer"},{"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":1}],"name":"Constr"},{"fields":[{"fields":[{"fields":[0],"name":"Integer"}],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"}],"index":3}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ScriptPurpose.8.json: -------------------------------------------------------------------------------- 1 | {"fields":[0,{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"},{"fields":[],"name":"Nothing"}],"name":"UnRegStaking"}],"name":"Certifying"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ScriptPurpose.8.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[0],"name":"Integer"},{"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":0}],"name":"Constr"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":1}],"name":"Constr"}],"index":3}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ScriptPurpose.9.json: -------------------------------------------------------------------------------- 1 | {"fields":[0,{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"},{"fields":[0],"name":"Just"}],"name":"UnRegStaking"}],"name":"Certifying"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.ScriptPurpose.9.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[0],"name":"Integer"},{"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":0}],"name":"Constr"},{"fields":[{"fields":[{"fields":[0],"name":"Integer"}],"index":0}],"name":"Constr"}],"index":1}],"name":"Constr"}],"index":3}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxCert.0.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"},{"fields":[],"name":"Nothing"}],"name":"RegStaking"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxCert.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":0}],"name":"Constr"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxCert.1.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"},{"fields":[0],"name":"Just"}],"name":"RegStaking"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxCert.1.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":0}],"name":"Constr"},{"fields":[{"fields":[{"fields":[0],"name":"Integer"}],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxCert.2.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"ScriptCredential"},{"fields":[],"name":"Nothing"}],"name":"RegStaking"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxCert.2.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":1}],"name":"Constr"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxCert.3.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"ScriptCredential"},{"fields":[0],"name":"Just"}],"name":"RegStaking"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxCert.3.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":1}],"name":"Constr"},{"fields":[{"fields":[{"fields":[0],"name":"Integer"}],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxCert.4.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"},{"fields":[],"name":"Nothing"}],"name":"UnRegStaking"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxCert.4.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":0}],"name":"Constr"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":1}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxCert.5.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"},{"fields":[0],"name":"Just"}],"name":"UnRegStaking"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxCert.5.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":0}],"name":"Constr"},{"fields":[{"fields":[{"fields":[0],"name":"Integer"}],"index":0}],"name":"Constr"}],"index":1}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxCert.6.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"ScriptCredential"},{"fields":[],"name":"Nothing"}],"name":"UnRegStaking"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxCert.6.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":1}],"name":"Constr"},{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":1}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxCert.7.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"ScriptCredential"},{"fields":[0],"name":"Just"}],"name":"UnRegStaking"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxCert.7.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":1}],"name":"Constr"},{"fields":[{"fields":[{"fields":[0],"name":"Integer"}],"index":0}],"name":"Constr"}],"index":1}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxCert.8.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"},{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Stake"}],"name":"DelegStaking"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxCert.8.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":0}],"name":"Constr"},{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":0}],"name":"Constr"}],"index":2}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxCert.9.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"},{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"}],"name":"DRep"}],"name":"Vote"}],"name":"DelegStaking"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxId.0.json: -------------------------------------------------------------------------------- 1 | "0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f20" -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxId.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f20"],"name":"Bytes"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxOutRef.0.json: -------------------------------------------------------------------------------- 1 | {"index":0,"transaction_id":"0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f20"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxOutRef.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f20"],"name":"Bytes"},{"fields":[0],"name":"Integer"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Vote.0.json: -------------------------------------------------------------------------------- 1 | {"fields":[],"name":"VoteNo"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Vote.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Vote.1.json: -------------------------------------------------------------------------------- 1 | {"fields":[],"name":"VoteYes"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Vote.1.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[],"index":1}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Vote.2.json: -------------------------------------------------------------------------------- 1 | {"fields":[],"name":"Abstain"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Vote.2.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[],"index":2}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Voter.0.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"}],"name":"CommitteeVoter"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Voter.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Voter.1.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"ScriptCredential"}],"name":"CommitteeVoter"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Voter.1.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Voter.2.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"PubKeyCredential"}],"name":"DRepVoter"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Voter.2.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":0}],"name":"Constr"}],"index":1}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Voter.3.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"ScriptCredential"}],"name":"DRepVoter"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Voter.3.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":1}],"name":"Constr"}],"index":1}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Voter.4.json: -------------------------------------------------------------------------------- 1 | {"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"StakePoolVoter"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Voter.4.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":["0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c"],"name":"Bytes"}],"index":2}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Prelude.Bool.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Prelude.Bool.1.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[],"index":1}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Prelude.Either.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Prelude.Either.1.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Prelude.Either.2.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":1}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Prelude.List.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[[]],"name":"List"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Prelude.List.1.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[[{"fields":[{"fields":[],"index":1}],"name":"Constr"}]],"name":"List"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Prelude.List.2.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[[{"fields":[{"fields":[],"index":0}],"name":"Constr"}]],"name":"List"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Prelude.List.3.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[[{"fields":[{"fields":[],"index":1}],"name":"Constr"},{"fields":[{"fields":[],"index":1}],"name":"Constr"},{"fields":[{"fields":[],"index":0}],"name":"Constr"},{"fields":[{"fields":[],"index":0}],"name":"Constr"}]],"name":"List"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Prelude.Maybe.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[],"index":1}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Prelude.Maybe.1.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[],"index":1}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Prelude.Maybe.2.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[{"fields":[{"fields":[],"index":0}],"name":"Constr"}],"index":0}],"name":"Constr"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/lbt-plutus-haskell/.envrc: -------------------------------------------------------------------------------- 1 | use flake ../../..#dev-lbt-plutus-haskell 2 | -------------------------------------------------------------------------------- /testsuites/lbt-plutus/lbt-plutus-haskell/cabal.project: -------------------------------------------------------------------------------- 1 | packages: ./. 2 | 3 | tests: true -------------------------------------------------------------------------------- /testsuites/lbt-plutus/lbt-plutus-haskell/hie.yaml: -------------------------------------------------------------------------------- 1 | cradle: 2 | cabal: 3 | -------------------------------------------------------------------------------- /testsuites/lbt-plutus/lbt-plutus-plutarch/.envrc: -------------------------------------------------------------------------------- 1 | use flake ../../..#dev-lbt-plutus-plutarch 2 | -------------------------------------------------------------------------------- /testsuites/lbt-plutus/lbt-plutus-plutarch/cabal.project: -------------------------------------------------------------------------------- 1 | packages: ./. 2 | 3 | tests: true -------------------------------------------------------------------------------- /testsuites/lbt-plutus/lbt-plutus-plutarch/hie.yaml: -------------------------------------------------------------------------------- 1 | cradle: 2 | cabal: 3 | -------------------------------------------------------------------------------- /testsuites/lbt-plutus/lbt-plutus-plutarch/test/Test.hs: -------------------------------------------------------------------------------- 1 | module Main (main) where 2 | 3 | import Test.LambdaBuffers.Runtime.Plutarch.PlutusData qualified as PlutusData 4 | import Test.Tasty (defaultMain, testGroup) 5 | 6 | main :: IO () 7 | main = do 8 | defaultMain $ 9 | testGroup 10 | "LambdaBuffers Plutarch support tests (for Plutus package but also Prelude)" 11 | [ PlutusData.tests 12 | ] 13 | -------------------------------------------------------------------------------- /testsuites/lbt-plutus/lbt-plutus-plutustx/.envrc: -------------------------------------------------------------------------------- 1 | use flake ../../..#dev-lbt-plutus-plutustx 2 | -------------------------------------------------------------------------------- /testsuites/lbt-plutus/lbt-plutus-plutustx/cabal.project: -------------------------------------------------------------------------------- 1 | packages: ./. 2 | 3 | tests: true -------------------------------------------------------------------------------- /testsuites/lbt-plutus/lbt-plutus-plutustx/hie.yaml: -------------------------------------------------------------------------------- 1 | cradle: 2 | cabal: 3 | -------------------------------------------------------------------------------- /testsuites/lbt-plutus/lbt-plutus-plutustx/test/Test.hs: -------------------------------------------------------------------------------- 1 | module Main (main) where 2 | 3 | import Test.LambdaBuffers.Runtime.PlutusTx.PlutusData qualified as PlutusData 4 | import Test.Tasty (defaultMain, testGroup) 5 | 6 | main :: IO () 7 | main = do 8 | defaultMain $ 9 | testGroup 10 | "LambdaBuffers Plutus package tests" 11 | [ PlutusData.tests 12 | ] 13 | -------------------------------------------------------------------------------- /testsuites/lbt-plutus/lbt-plutus-purescript/.envrc: -------------------------------------------------------------------------------- 1 | use flake ../../..#dev-lbt-plutus-purescript 2 | -------------------------------------------------------------------------------- /testsuites/lbt-plutus/lbt-plutus-purescript/.gitignore: -------------------------------------------------------------------------------- 1 | /data 2 | -------------------------------------------------------------------------------- /testsuites/lbt-plutus/lbt-plutus-purescript/Makefile: -------------------------------------------------------------------------------- 1 | clean: 2 | rm -fR output .psc* dist .spago .spago2nix 3 | -------------------------------------------------------------------------------- /testsuites/lbt-plutus/lbt-plutus-purescript/app/index.html: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | -------------------------------------------------------------------------------- /testsuites/lbt-plutus/lbt-plutus-purescript/app/index.js: -------------------------------------------------------------------------------- 1 | import("../dist/output.js").then(m => m.main()); 2 | -------------------------------------------------------------------------------- /testsuites/lbt-plutus/lbt-plutus-rust/.envrc: -------------------------------------------------------------------------------- 1 | use flake ../../..#dev-lbt-plutus-rust 2 | -------------------------------------------------------------------------------- /testsuites/lbt-plutus/lbt-plutus-rust/.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | /proptest-regressions 3 | /.extras 4 | /data 5 | -------------------------------------------------------------------------------- /testsuites/lbt-plutus/lbt-plutus-rust/src/lib.rs: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /testsuites/lbt-plutus/lbt-plutus-typescript/.envrc: -------------------------------------------------------------------------------- 1 | use flake ../../..#lbt-plutus-typescript 2 | -------------------------------------------------------------------------------- /testsuites/lbt-plutus/lbt-plutus-typescript/.gitignore: -------------------------------------------------------------------------------- 1 | # Ignore the autogenerated files from flake-lang.nix 2 | .extra-dependencies 3 | data 4 | node_modules 5 | -------------------------------------------------------------------------------- /testsuites/lbt-plutus/lbt-plutus-typescript/src/tsconfig.json: -------------------------------------------------------------------------------- 1 | { 2 | "extends": "../tsconfig-base", 3 | "include": ["*"], 4 | "references": [ ] 5 | } 6 | -------------------------------------------------------------------------------- /testsuites/lbt-prelude/api/Days.lbf: -------------------------------------------------------------------------------- 1 | module Days 2 | 3 | import Prelude 4 | 5 | sum Day = Monday | Tuesday | Wednesday | Thursday | Friday | Saturday | Sunday 6 | 7 | derive Eq Day 8 | derive Json Day 9 | 10 | prod WorkDay = Day 11 | 12 | derive Eq WorkDay 13 | derive Json WorkDay 14 | 15 | record FreeDay = { day : Day } 16 | 17 | derive Eq FreeDay 18 | derive Json FreeDay 19 | -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Days.Day.0.json: -------------------------------------------------------------------------------- 1 | {"fields":[],"name":"Monday"} -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Days.Day.1.json: -------------------------------------------------------------------------------- 1 | {"fields":[],"name":"Tuesday"} -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Days.Day.2.json: -------------------------------------------------------------------------------- 1 | {"fields":[],"name":"Wednesday"} -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Days.Day.3.json: -------------------------------------------------------------------------------- 1 | {"fields":[],"name":"Thursday"} -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Days.Day.4.json: -------------------------------------------------------------------------------- 1 | {"fields":[],"name":"Friday"} -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Days.Day.5.json: -------------------------------------------------------------------------------- 1 | {"fields":[],"name":"Saturday"} -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Days.Day.6.json: -------------------------------------------------------------------------------- 1 | {"fields":[],"name":"Sunday"} -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Days.FreeDay.0.json: -------------------------------------------------------------------------------- 1 | {"day":{"fields":[],"name":"Saturday"}} -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Days.FreeDay.1.json: -------------------------------------------------------------------------------- 1 | {"day":{"fields":[],"name":"Sunday"}} -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Days.WorkDay.0.json: -------------------------------------------------------------------------------- 1 | {"fields":[],"name":"Monday"} -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Days.WorkDay.1.json: -------------------------------------------------------------------------------- 1 | {"fields":[],"name":"Tuesday"} -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Days.WorkDay.2.json: -------------------------------------------------------------------------------- 1 | {"fields":[],"name":"Wednesday"} -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Days.WorkDay.3.json: -------------------------------------------------------------------------------- 1 | {"fields":[],"name":"Thursday"} -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Days.WorkDay.4.json: -------------------------------------------------------------------------------- 1 | {"fields":[],"name":"Friday"} -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Foo.A.0.json: -------------------------------------------------------------------------------- 1 | {"fields":[1337,false,"c29tZSBieXRlcw=="],"name":"Foo"} -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Foo.A.1.json: -------------------------------------------------------------------------------- 1 | {"fields":[1337,false],"name":"Bar"} -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Foo.A.2.json: -------------------------------------------------------------------------------- 1 | {"fields":[false],"name":"Baz"} -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Foo.A.3.json: -------------------------------------------------------------------------------- 1 | {"fields":[],"name":"Qax"} -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Foo.A.4.json: -------------------------------------------------------------------------------- 1 | {"fields":[0],"name":"Faz"} -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Foo.B.0.json: -------------------------------------------------------------------------------- 1 | [1337,false,"c29tZSBieXRlcw==",1337] -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Foo.C.0.json: -------------------------------------------------------------------------------- 1 | {"fooA":1337,"fooB":false,"fooC":"c29tZSBieXRlcw==","fooInt":1337} -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Foo.D.0.json: -------------------------------------------------------------------------------- 1 | {"prod":[1337,false,"c29tZSBieXRlcw==",1337],"rec":{"fooA":1337,"fooB":false,"fooC":"c29tZSBieXRlcw==","fooInt":1337},"sum":{"fields":[1337,false,"c29tZSBieXRlcw=="],"name":"Foo"}} -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Foo.D.1.json: -------------------------------------------------------------------------------- 1 | {"prod":[1337,false,"c29tZSBieXRlcw==",1337],"rec":{"fooA":1337,"fooB":false,"fooC":"c29tZSBieXRlcw==","fooInt":1337},"sum":{"fields":[1337,false],"name":"Bar"}} -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Foo.D.2.json: -------------------------------------------------------------------------------- 1 | {"prod":[1337,false,"c29tZSBieXRlcw==",1337],"rec":{"fooA":1337,"fooB":false,"fooC":"c29tZSBieXRlcw==","fooInt":1337},"sum":{"fields":[false],"name":"Baz"}} -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Foo.D.3.json: -------------------------------------------------------------------------------- 1 | {"prod":[1337,false,"c29tZSBieXRlcw==",1337],"rec":{"fooA":1337,"fooB":false,"fooC":"c29tZSBieXRlcw==","fooInt":1337},"sum":{"fields":[],"name":"Qax"}} -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Foo.D.4.json: -------------------------------------------------------------------------------- 1 | {"prod":[1337,false,"c29tZSBieXRlcw==",1337],"rec":{"fooA":1337,"fooB":false,"fooC":"c29tZSBieXRlcw==","fooInt":1337},"sum":{"fields":[0],"name":"Faz"}} -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Foo.FInt.0.json: -------------------------------------------------------------------------------- 1 | {"fields":[],"name":"Nil"} -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Foo.FInt.1.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[],"name":"Nil"}],"name":"Rec"} -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Foo.GInt.0.json: -------------------------------------------------------------------------------- 1 | {"fields":[],"name":"Nil"} -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Foo.GInt.1.json: -------------------------------------------------------------------------------- 1 | {"fields":[{"fields":[],"name":"Nil"}],"name":"Rec"} -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Prelude.Bool.0.json: -------------------------------------------------------------------------------- 1 | true -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Prelude.Bool.1.json: -------------------------------------------------------------------------------- 1 | false -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Prelude.Bytes.0.json: -------------------------------------------------------------------------------- 1 | "" -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Prelude.Bytes.1.json: -------------------------------------------------------------------------------- 1 | "AA==" -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Prelude.Bytes.2.json: -------------------------------------------------------------------------------- 1 | "c29tZSBieXRlcw==" -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Prelude.Char.0.json: -------------------------------------------------------------------------------- 1 | "\u0000" -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Prelude.Char.1.json: -------------------------------------------------------------------------------- 1 | "\n" -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Prelude.Char.2.json: -------------------------------------------------------------------------------- 1 | "🙃" -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Prelude.Either.0.json: -------------------------------------------------------------------------------- 1 | {"fields":[true],"name":"Left"} -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Prelude.Either.1.json: -------------------------------------------------------------------------------- 1 | {"fields":[false],"name":"Left"} -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Prelude.Either.2.json: -------------------------------------------------------------------------------- 1 | {"fields":["this is right"],"name":"Right"} -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Prelude.Integer.0.json: -------------------------------------------------------------------------------- 1 | 0 -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Prelude.Integer.1.json: -------------------------------------------------------------------------------- 1 | 1 -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Prelude.Integer.10.json: -------------------------------------------------------------------------------- 1 | -115792089237316195423570985008687907853269984665640564039457584007913129639936 -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Prelude.Integer.2.json: -------------------------------------------------------------------------------- 1 | -1 -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Prelude.Integer.3.json: -------------------------------------------------------------------------------- 1 | 4294967296 -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Prelude.Integer.4.json: -------------------------------------------------------------------------------- 1 | -4294967296 -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Prelude.Integer.5.json: -------------------------------------------------------------------------------- 1 | 18446744073709551616 -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Prelude.Integer.6.json: -------------------------------------------------------------------------------- 1 | -18446744073709551616 -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Prelude.Integer.7.json: -------------------------------------------------------------------------------- 1 | 340282366920938463463374607431768211456 -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Prelude.Integer.8.json: -------------------------------------------------------------------------------- 1 | -340282366920938463463374607431768211456 -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Prelude.Integer.9.json: -------------------------------------------------------------------------------- 1 | 115792089237316195423570985008687907853269984665640564039457584007913129639936 -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Prelude.List.0.json: -------------------------------------------------------------------------------- 1 | [] -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Prelude.List.1.json: -------------------------------------------------------------------------------- 1 | [true] -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Prelude.List.2.json: -------------------------------------------------------------------------------- 1 | [false] -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Prelude.List.3.json: -------------------------------------------------------------------------------- 1 | [true,true,false,false] -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Prelude.Map.0.json: -------------------------------------------------------------------------------- 1 | [] -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Prelude.Map.1.json: -------------------------------------------------------------------------------- 1 | [[true,true]] -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Prelude.Map.2.json: -------------------------------------------------------------------------------- 1 | [[false,false],[true,true]] -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Prelude.Maybe.0.json: -------------------------------------------------------------------------------- 1 | {"fields":[],"name":"Nothing"} -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Prelude.Maybe.1.json: -------------------------------------------------------------------------------- 1 | {"fields":[true],"name":"Just"} -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Prelude.Maybe.2.json: -------------------------------------------------------------------------------- 1 | {"fields":[false],"name":"Just"} -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Prelude.Set.0.json: -------------------------------------------------------------------------------- 1 | [] -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Prelude.Set.1.json: -------------------------------------------------------------------------------- 1 | [true] -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Prelude.Set.2.json: -------------------------------------------------------------------------------- 1 | [false,true] -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Prelude.Text.0.json: -------------------------------------------------------------------------------- 1 | "" -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Prelude.Text.1.json: -------------------------------------------------------------------------------- 1 | "\n" -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Prelude.Text.2.json: -------------------------------------------------------------------------------- 1 | "dražen popović" -------------------------------------------------------------------------------- /testsuites/lbt-prelude/lbt-prelude-haskell/.envrc: -------------------------------------------------------------------------------- 1 | use flake ../../..#dev-lbt-prelude-haskell 2 | -------------------------------------------------------------------------------- /testsuites/lbt-prelude/lbt-prelude-haskell/cabal.project: -------------------------------------------------------------------------------- 1 | packages: ./. 2 | 3 | tests: true -------------------------------------------------------------------------------- /testsuites/lbt-prelude/lbt-prelude-haskell/hie.yaml: -------------------------------------------------------------------------------- 1 | cradle: 2 | cabal: 3 | -------------------------------------------------------------------------------- /testsuites/lbt-prelude/lbt-prelude-purescript/.envrc: -------------------------------------------------------------------------------- 1 | use flake ../../..#dev-lbt-prelude-purescript 2 | -------------------------------------------------------------------------------- /testsuites/lbt-prelude/lbt-prelude-purescript/.gitignore: -------------------------------------------------------------------------------- 1 | /data 2 | -------------------------------------------------------------------------------- /testsuites/lbt-prelude/lbt-prelude-purescript/Makefile: -------------------------------------------------------------------------------- 1 | clean: 2 | rm -fR output .psc* dist .spago .spago2nix 3 | -------------------------------------------------------------------------------- /testsuites/lbt-prelude/lbt-prelude-purescript/app/index.js: -------------------------------------------------------------------------------- 1 | import("../dist/output.js").then(m => m.main()); 2 | -------------------------------------------------------------------------------- /testsuites/lbt-prelude/lbt-prelude-rust/.envrc: -------------------------------------------------------------------------------- 1 | use flake ../../..#dev-lbt-prelude-rust 2 | -------------------------------------------------------------------------------- /testsuites/lbt-prelude/lbt-prelude-rust/.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | /proptest-regressions 3 | /.extras 4 | /data 5 | -------------------------------------------------------------------------------- /testsuites/lbt-prelude/lbt-prelude-rust/Cargo.toml: -------------------------------------------------------------------------------- 1 | [package] 2 | name = "lbt-prelude" 3 | version = "0.1.0" 4 | edition = "2021" 5 | 6 | [lib] 7 | 8 | [dependencies] 9 | lbf-prelude-golden-api = { path = ".extras/lbf-prelude-golden-api-0.1.0" } 10 | lbf-prelude = { path = ".extras/lbf-prelude-0.1.0" } 11 | lbr-prelude = { version = "0.1.3" } 12 | serde_json = "1.0.108" 13 | num-bigint = "0.4.4" 14 | -------------------------------------------------------------------------------- /testsuites/lbt-prelude/lbt-prelude-rust/src/lib.rs: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /testsuites/lbt-prelude/lbt-prelude-typescript/.envrc: -------------------------------------------------------------------------------- 1 | use flake ../../..#lbt-prelude-typescript 2 | -------------------------------------------------------------------------------- /testsuites/lbt-prelude/lbt-prelude-typescript/.gitignore: -------------------------------------------------------------------------------- 1 | # Ignore the autogenerated files from flake-lang.nix 2 | .extra-dependencies 3 | data 4 | node_modules 5 | -------------------------------------------------------------------------------- /testsuites/lbt-prelude/lbt-prelude-typescript/src/tsconfig.json: -------------------------------------------------------------------------------- 1 | { 2 | "extends": "../tsconfig-base", 3 | "include": ["*"], 4 | "references": [ ] 5 | } 6 | --------------------------------------------------------------------------------