├── .envrc ├── .ghci ├── .gitignore ├── .markdownlint.yaml ├── CHANGELOG.md ├── CODE_OF_CONDUCT.md ├── CONTRIBUTING.md ├── GOVERNANCE.md ├── LICENSE ├── README.md ├── SECURITY.md ├── SUPPORT.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 │ ├── .envrc │ ├── .gitignore │ ├── api │ │ └── lbf │ │ │ ├── MySchema.lbf │ │ │ └── build.nix │ ├── build.nix │ ├── package-lock.json │ ├── package.json │ ├── src │ │ ├── index.mts │ │ └── tsconfig.json │ └── tsconfig-base.json ├── typescript-prelude │ ├── .envrc │ ├── .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 │ ├── .envrc │ ├── .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 ├── .envrc ├── 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: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/.ghci -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/.gitignore -------------------------------------------------------------------------------- /.markdownlint.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/.markdownlint.yaml -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /CODE_OF_CONDUCT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/CODE_OF_CONDUCT.md -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /GOVERNANCE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/GOVERNANCE.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/README.md -------------------------------------------------------------------------------- /SECURITY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/SECURITY.md -------------------------------------------------------------------------------- /SUPPORT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/SUPPORT.md -------------------------------------------------------------------------------- /api/.envrc: -------------------------------------------------------------------------------- 1 | use flake ..#dev-api 2 | -------------------------------------------------------------------------------- /api/build.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/api/build.nix -------------------------------------------------------------------------------- /api/codegen.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/api/codegen.proto -------------------------------------------------------------------------------- /api/compiler.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/api/compiler.proto -------------------------------------------------------------------------------- /api/examples/tys.textproto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/api/examples/tys.textproto -------------------------------------------------------------------------------- /api/lang.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/api/lang.proto -------------------------------------------------------------------------------- /docs/.envrc: -------------------------------------------------------------------------------- 1 | use flake ..#dev-docs 2 | -------------------------------------------------------------------------------- /docs/.gitignore: -------------------------------------------------------------------------------- 1 | /book 2 | /api.md 3 | -------------------------------------------------------------------------------- /docs/SUMMARY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/SUMMARY.md -------------------------------------------------------------------------------- /docs/aiken-integration.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/aiken-integration.md -------------------------------------------------------------------------------- /docs/book.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/book.toml -------------------------------------------------------------------------------- /docs/build.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/build.nix -------------------------------------------------------------------------------- /docs/catalyst-reports.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/catalyst-reports.md -------------------------------------------------------------------------------- /docs/catalyst09-reports/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/catalyst09-reports/README.md -------------------------------------------------------------------------------- /docs/catalyst09-reports/milestone-1.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/catalyst09-reports/milestone-1.md -------------------------------------------------------------------------------- /docs/catalyst09-reports/milestone-2.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/catalyst09-reports/milestone-2.md -------------------------------------------------------------------------------- /docs/catalyst09-reports/milestone-3.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/catalyst09-reports/milestone-3.md -------------------------------------------------------------------------------- /docs/catalyst09-reports/milestone-4.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/catalyst09-reports/milestone-4.md -------------------------------------------------------------------------------- /docs/catalyst10-reports/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/catalyst10-reports/README.md -------------------------------------------------------------------------------- /docs/catalyst10-reports/milestone-1.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/catalyst10-reports/milestone-1.md -------------------------------------------------------------------------------- /docs/catalyst10-reports/milestone-2.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/catalyst10-reports/milestone-2.md -------------------------------------------------------------------------------- /docs/catalyst10-reports/milestone-3.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/catalyst10-reports/milestone-3.md -------------------------------------------------------------------------------- /docs/catalyst10-reports/milestone-4.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/catalyst10-reports/milestone-4.md -------------------------------------------------------------------------------- /docs/catalyst10-reports/milestone-5.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/catalyst10-reports/milestone-5.md -------------------------------------------------------------------------------- /docs/catalyst13-reports/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/catalyst13-reports/README.md -------------------------------------------------------------------------------- /docs/catalyst13-reports/milestone-1.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/catalyst13-reports/milestone-1.md -------------------------------------------------------------------------------- /docs/codegen.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/codegen.md -------------------------------------------------------------------------------- /docs/command-line-interface.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/command-line-interface.md -------------------------------------------------------------------------------- /docs/comparison-matrix.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/comparison-matrix.md -------------------------------------------------------------------------------- /docs/compiler.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/compiler.md -------------------------------------------------------------------------------- /docs/design.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/design.md -------------------------------------------------------------------------------- /docs/examples/Document.lbf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/examples/Document.lbf -------------------------------------------------------------------------------- /docs/examples/lb-pkgs.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/examples/lb-pkgs.json -------------------------------------------------------------------------------- /docs/feedback/interview-notes.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/feedback/interview-notes.md -------------------------------------------------------------------------------- /docs/feedback/questionnaire-results.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/feedback/questionnaire-results.pdf -------------------------------------------------------------------------------- /docs/getting-started.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/getting-started.md -------------------------------------------------------------------------------- /docs/haskell.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/haskell.md -------------------------------------------------------------------------------- /docs/images/lambda-buffers-banner.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/images/lambda-buffers-banner.png -------------------------------------------------------------------------------- /docs/images/lambda-buffers-logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/images/lambda-buffers-logo.png -------------------------------------------------------------------------------- /docs/introduction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/introduction.md -------------------------------------------------------------------------------- /docs/plutarch.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/plutarch.md -------------------------------------------------------------------------------- /docs/plutarch/.envrc: -------------------------------------------------------------------------------- 1 | use flake ..#dev-plutarch-example 2 | -------------------------------------------------------------------------------- /docs/plutarch/api/Example.lbf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/plutarch/api/Example.lbf -------------------------------------------------------------------------------- /docs/plutarch/app/Example.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/plutarch/app/Example.hs -------------------------------------------------------------------------------- /docs/plutarch/build.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/plutarch/build.nix -------------------------------------------------------------------------------- /docs/plutarch/cabal.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/plutarch/cabal.project -------------------------------------------------------------------------------- /docs/plutarch/hie.yaml: -------------------------------------------------------------------------------- 1 | cradle: 2 | cabal: 3 | -------------------------------------------------------------------------------- /docs/plutarch/plutarch-example.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/plutarch/plutarch-example.cabal -------------------------------------------------------------------------------- /docs/plutustx.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/plutustx.md -------------------------------------------------------------------------------- /docs/plutustx/.envrc: -------------------------------------------------------------------------------- 1 | use flake .#dev-plutustx-example 2 | -------------------------------------------------------------------------------- /docs/plutustx/api/Example.lbf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/plutustx/api/Example.lbf -------------------------------------------------------------------------------- /docs/plutustx/app/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/plutustx/app/Main.hs -------------------------------------------------------------------------------- /docs/plutustx/build.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/plutustx/build.nix -------------------------------------------------------------------------------- /docs/plutustx/plutustx-example.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/plutustx/plutustx-example.cabal -------------------------------------------------------------------------------- /docs/purescript.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/purescript.md -------------------------------------------------------------------------------- /docs/rust.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/rust.md -------------------------------------------------------------------------------- /docs/syntax.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/syntax.md -------------------------------------------------------------------------------- /docs/typescript-plutus/.envrc: -------------------------------------------------------------------------------- 1 | use flake .#plutus-sample-project-typescript 2 | -------------------------------------------------------------------------------- /docs/typescript-plutus/.gitignore: -------------------------------------------------------------------------------- 1 | .extra-dependencies/ 2 | data 3 | -------------------------------------------------------------------------------- /docs/typescript-plutus/api/lbf/MySchema.lbf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/typescript-plutus/api/lbf/MySchema.lbf -------------------------------------------------------------------------------- /docs/typescript-plutus/api/lbf/build.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/typescript-plutus/api/lbf/build.nix -------------------------------------------------------------------------------- /docs/typescript-plutus/build.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/typescript-plutus/build.nix -------------------------------------------------------------------------------- /docs/typescript-plutus/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/typescript-plutus/package-lock.json -------------------------------------------------------------------------------- /docs/typescript-plutus/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/typescript-plutus/package.json -------------------------------------------------------------------------------- /docs/typescript-plutus/src/index.mts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/typescript-plutus/src/index.mts -------------------------------------------------------------------------------- /docs/typescript-plutus/src/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/typescript-plutus/src/tsconfig.json -------------------------------------------------------------------------------- /docs/typescript-plutus/tsconfig-base.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/typescript-plutus/tsconfig-base.json -------------------------------------------------------------------------------- /docs/typescript-prelude/.envrc: -------------------------------------------------------------------------------- 1 | use flake .#prelude-sample-project-typescript 2 | -------------------------------------------------------------------------------- /docs/typescript-prelude/.gitignore: -------------------------------------------------------------------------------- 1 | .extra-dependencies/ 2 | data 3 | -------------------------------------------------------------------------------- /docs/typescript-prelude/api/lbf/MySchema.lbf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/typescript-prelude/api/lbf/MySchema.lbf -------------------------------------------------------------------------------- /docs/typescript-prelude/api/lbf/build.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/typescript-prelude/api/lbf/build.nix -------------------------------------------------------------------------------- /docs/typescript-prelude/build.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/typescript-prelude/build.nix -------------------------------------------------------------------------------- /docs/typescript-prelude/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/typescript-prelude/package-lock.json -------------------------------------------------------------------------------- /docs/typescript-prelude/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/typescript-prelude/package.json -------------------------------------------------------------------------------- /docs/typescript-prelude/src/index.mts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/typescript-prelude/src/index.mts -------------------------------------------------------------------------------- /docs/typescript-prelude/src/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/typescript-prelude/src/tsconfig.json -------------------------------------------------------------------------------- /docs/typescript-prelude/tsconfig-base.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/typescript-prelude/tsconfig-base.json -------------------------------------------------------------------------------- /docs/typescript.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/typescript.md -------------------------------------------------------------------------------- /docs/using-lambdabuffers.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/docs/using-lambdabuffers.md -------------------------------------------------------------------------------- /experimental/.envrc: -------------------------------------------------------------------------------- 1 | use flake ..#dev-experimental 2 | -------------------------------------------------------------------------------- /experimental/KindCheckWithFdUni.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/experimental/KindCheckWithFdUni.hs -------------------------------------------------------------------------------- /experimental/archive/src/LambdaBuffers/Extras/TH.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/experimental/archive/src/LambdaBuffers/Extras/TH.hs -------------------------------------------------------------------------------- /experimental/archive/test/Test/TypeClassCheck.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/experimental/archive/test/Test/TypeClassCheck.hs -------------------------------------------------------------------------------- /experimental/build.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/experimental/build.nix -------------------------------------------------------------------------------- /experimental/draz-lambuffs-source-dsl.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/experimental/draz-lambuffs-source-dsl.hs -------------------------------------------------------------------------------- /experimental/karte-lib.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/experimental/karte-lib.dhall -------------------------------------------------------------------------------- /experimental/main.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/experimental/main.dhall -------------------------------------------------------------------------------- /experimental/prolog/cardinality_check.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/experimental/prolog/cardinality_check.pl -------------------------------------------------------------------------------- /experimental/prolog/class_check.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/experimental/prolog/class_check.pl -------------------------------------------------------------------------------- /experimental/prolog/common_defs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/experimental/prolog/common_defs.pl -------------------------------------------------------------------------------- /experimental/prolog/kind_check.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/experimental/prolog/kind_check.pl -------------------------------------------------------------------------------- /experimental/prolog/lb-compiler/aux.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/experimental/prolog/lb-compiler/aux.pl -------------------------------------------------------------------------------- /experimental/prolog/lb-compiler/compiler-input.pb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/experimental/prolog/lb-compiler/compiler-input.pb -------------------------------------------------------------------------------- /experimental/prolog/lb-compiler/compiler_pb.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/experimental/prolog/lb-compiler/compiler_pb.pl -------------------------------------------------------------------------------- /experimental/prolog/lb-compiler/kind_check.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/experimental/prolog/lb-compiler/kind_check.pl -------------------------------------------------------------------------------- /experimental/prolog/lb-compiler/proto_aux.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/experimental/prolog/lb-compiler/proto_aux.pl -------------------------------------------------------------------------------- /experimental/prolog/lb_checker.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/experimental/prolog/lb_checker.pl -------------------------------------------------------------------------------- /experimental/prolog/lb_parser.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/experimental/prolog/lb_parser.pl -------------------------------------------------------------------------------- /experimental/prolog/ty_lam.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/experimental/prolog/ty_lam.pl -------------------------------------------------------------------------------- /experimental/sean-lambuffs.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/experimental/sean-lambuffs.dhall -------------------------------------------------------------------------------- /experimental/sean-schemas.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/experimental/sean-schemas.dhall -------------------------------------------------------------------------------- /extras/.envrc: -------------------------------------------------------------------------------- 1 | use flake .#dev-nix 2 | -------------------------------------------------------------------------------- /extras/build.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/extras/build.nix -------------------------------------------------------------------------------- /extras/dev-shells/build.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/extras/dev-shells/build.nix -------------------------------------------------------------------------------- /extras/dev-shells/plutus-haskell/.envrc: -------------------------------------------------------------------------------- 1 | use flake .#dev-plutus-haskell 2 | -------------------------------------------------------------------------------- /extras/dev-shells/plutus-haskell/build.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/extras/dev-shells/plutus-haskell/build.nix -------------------------------------------------------------------------------- /extras/dev-shells/plutus-haskell/cabal.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/extras/dev-shells/plutus-haskell/cabal.project -------------------------------------------------------------------------------- /extras/dev-shells/plutus-haskell/plutus-haskell.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/extras/dev-shells/plutus-haskell/plutus-haskell.cabal -------------------------------------------------------------------------------- /extras/dev-shells/prelude-haskell/.envrc: -------------------------------------------------------------------------------- 1 | use flake .#dev-prelude-haskell 2 | -------------------------------------------------------------------------------- /extras/dev-shells/prelude-haskell/build.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/extras/dev-shells/prelude-haskell/build.nix -------------------------------------------------------------------------------- /extras/dev-shells/prelude-haskell/cabal.project: -------------------------------------------------------------------------------- 1 | packages: ./. 2 | 3 | tests: true 4 | -------------------------------------------------------------------------------- /extras/editor/emacs/lambda-buffers-mode.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/extras/editor/emacs/lambda-buffers-mode.el -------------------------------------------------------------------------------- /extras/haskell-data.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/extras/haskell-data.nix -------------------------------------------------------------------------------- /extras/lambda-buffers-utils/.envrc: -------------------------------------------------------------------------------- 1 | use flake ..#dev-lambda-buffers-utils 2 | -------------------------------------------------------------------------------- /extras/lambda-buffers-utils/build.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/extras/lambda-buffers-utils/build.nix -------------------------------------------------------------------------------- /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/lambda-buffers-utils.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/extras/lambda-buffers-utils/lambda-buffers-utils.cabal -------------------------------------------------------------------------------- /extras/lambda-buffers-utils/test/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/extras/lambda-buffers-utils/test/Test.hs -------------------------------------------------------------------------------- /extras/lbf-nix/build.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/extras/lbf-nix/build.nix -------------------------------------------------------------------------------- /extras/lbf-nix/lbf-build.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/extras/lbf-nix/lbf-build.nix -------------------------------------------------------------------------------- /extras/lbf-nix/lbf-haskell.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/extras/lbf-nix/lbf-haskell.nix -------------------------------------------------------------------------------- /extras/lbf-nix/lbf-list-modules-typescript: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/extras/lbf-nix/lbf-list-modules-typescript -------------------------------------------------------------------------------- /extras/lbf-nix/lbf-list-modules.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/extras/lbf-nix/lbf-list-modules.nix -------------------------------------------------------------------------------- /extras/lbf-nix/lbf-plutarch-base.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/extras/lbf-nix/lbf-plutarch-base.nix -------------------------------------------------------------------------------- /extras/lbf-nix/lbf-plutarch.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/extras/lbf-nix/lbf-plutarch.nix -------------------------------------------------------------------------------- /extras/lbf-nix/lbf-plutus-hs.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/extras/lbf-nix/lbf-plutus-hs.nix -------------------------------------------------------------------------------- /extras/lbf-nix/lbf-plutus-purescript.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/extras/lbf-nix/lbf-plutus-purescript.nix -------------------------------------------------------------------------------- /extras/lbf-nix/lbf-plutus-rust.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/extras/lbf-nix/lbf-plutus-rust.nix -------------------------------------------------------------------------------- /extras/lbf-nix/lbf-plutus-typescript.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/extras/lbf-nix/lbf-plutus-typescript.nix -------------------------------------------------------------------------------- /extras/lbf-nix/lbf-plutustx-base.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/extras/lbf-nix/lbf-plutustx-base.nix -------------------------------------------------------------------------------- /extras/lbf-nix/lbf-plutustx.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/extras/lbf-nix/lbf-plutustx.nix -------------------------------------------------------------------------------- /extras/lbf-nix/lbf-prelude-hs.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/extras/lbf-nix/lbf-prelude-hs.nix -------------------------------------------------------------------------------- /extras/lbf-nix/lbf-prelude-purescript.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/extras/lbf-nix/lbf-prelude-purescript.nix -------------------------------------------------------------------------------- /extras/lbf-nix/lbf-prelude-rust.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/extras/lbf-nix/lbf-prelude-rust.nix -------------------------------------------------------------------------------- /extras/lbf-nix/lbf-prelude-typescript.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/extras/lbf-nix/lbf-prelude-typescript.nix -------------------------------------------------------------------------------- /extras/lbf-nix/lbf-purescript.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/extras/lbf-nix/lbf-purescript.nix -------------------------------------------------------------------------------- /extras/lbf-nix/lbf-rust.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/extras/lbf-nix/lbf-rust.nix -------------------------------------------------------------------------------- /extras/lbf-nix/lbf-typescript.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/extras/lbf-nix/lbf-typescript.nix -------------------------------------------------------------------------------- /extras/lbf-nix/utils.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/extras/lbf-nix/utils.nix -------------------------------------------------------------------------------- /flake.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/flake.lock -------------------------------------------------------------------------------- /flake.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/flake.nix -------------------------------------------------------------------------------- /fourmolu.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/fourmolu.yaml -------------------------------------------------------------------------------- /hercules-ci.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/hercules-ci.nix -------------------------------------------------------------------------------- /lambda-buffers-codegen/.envrc: -------------------------------------------------------------------------------- 1 | use flake ..#dev-lambda-buffers-codegen 2 | -------------------------------------------------------------------------------- /lambda-buffers-codegen/app/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/lambda-buffers-codegen/app/Main.hs -------------------------------------------------------------------------------- /lambda-buffers-codegen/build.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/lambda-buffers-codegen/build.nix -------------------------------------------------------------------------------- /lambda-buffers-codegen/cabal.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/lambda-buffers-codegen/cabal.project -------------------------------------------------------------------------------- /lambda-buffers-codegen/data/haskell-prelude-base.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/lambda-buffers-codegen/data/haskell-prelude-base.json -------------------------------------------------------------------------------- /lambda-buffers-codegen/data/lamval-cases/plutarch/VarE-1.hs: -------------------------------------------------------------------------------- 1 | 2 | 3 | x 4 | -------------------------------------------------------------------------------- /lambda-buffers-codegen/data/plutarch-plutus.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/lambda-buffers-codegen/data/plutarch-plutus.json -------------------------------------------------------------------------------- /lambda-buffers-codegen/data/plutarch-prelude.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/lambda-buffers-codegen/data/plutarch-prelude.json -------------------------------------------------------------------------------- /lambda-buffers-codegen/data/plutustx-plutus.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/lambda-buffers-codegen/data/plutustx-plutus.json -------------------------------------------------------------------------------- /lambda-buffers-codegen/data/plutustx-prelude.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/lambda-buffers-codegen/data/plutustx-prelude.json -------------------------------------------------------------------------------- /lambda-buffers-codegen/data/purescript-plutus-ctl.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/lambda-buffers-codegen/data/purescript-plutus-ctl.json -------------------------------------------------------------------------------- /lambda-buffers-codegen/data/rust-plutus-pla.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/lambda-buffers-codegen/data/rust-plutus-pla.json -------------------------------------------------------------------------------- /lambda-buffers-codegen/data/rust-prelude-base.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/lambda-buffers-codegen/data/rust-prelude-base.json -------------------------------------------------------------------------------- /lambda-buffers-codegen/data/typescript-plutus.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/lambda-buffers-codegen/data/typescript-plutus.json -------------------------------------------------------------------------------- /lambda-buffers-codegen/hie.yaml: -------------------------------------------------------------------------------- 1 | cradle: 2 | cabal: 3 | -------------------------------------------------------------------------------- /lambda-buffers-codegen/lambda-buffers-codegen.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/lambda-buffers-codegen/lambda-buffers-codegen.cabal -------------------------------------------------------------------------------- /lambda-buffers-codegen/src/LambdaBuffers/Codegen.hs: -------------------------------------------------------------------------------- 1 | module LambdaBuffers.Codegen () where 2 | -------------------------------------------------------------------------------- /lambda-buffers-codegen/test/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/lambda-buffers-codegen/test/Test.hs -------------------------------------------------------------------------------- /lambda-buffers-compiler/.envrc: -------------------------------------------------------------------------------- 1 | use flake ..#dev-lambda-buffers-compiler 2 | -------------------------------------------------------------------------------- /lambda-buffers-compiler/app/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/lambda-buffers-compiler/app/Main.hs -------------------------------------------------------------------------------- /lambda-buffers-compiler/build.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/lambda-buffers-compiler/build.nix -------------------------------------------------------------------------------- /lambda-buffers-compiler/cabal.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/lambda-buffers-compiler/cabal.project -------------------------------------------------------------------------------- /lambda-buffers-compiler/data/minilog-goldens/cycle.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/lambda-buffers-compiler/data/minilog-goldens/cycle.pl -------------------------------------------------------------------------------- /lambda-buffers-compiler/data/minilog-goldens/family.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/lambda-buffers-compiler/data/minilog-goldens/family.pl -------------------------------------------------------------------------------- /lambda-buffers-compiler/data/minilog-goldens/greeks.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/lambda-buffers-compiler/data/minilog-goldens/greeks.pl -------------------------------------------------------------------------------- /lambda-buffers-compiler/data/typeclasscheck-goldens/overlapping_rules_2/compiler_error.textproto: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lambda-buffers-compiler/hie.yaml: -------------------------------------------------------------------------------- 1 | cradle: 2 | cabal: 3 | -------------------------------------------------------------------------------- /lambda-buffers-compiler/lambda-buffers-compiler.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/lambda-buffers-compiler/lambda-buffers-compiler.cabal -------------------------------------------------------------------------------- /lambda-buffers-compiler/src/LambdaBuffers/Compiler.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/lambda-buffers-compiler/src/LambdaBuffers/Compiler.hs -------------------------------------------------------------------------------- /lambda-buffers-compiler/test/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/lambda-buffers-compiler/test/Test.hs -------------------------------------------------------------------------------- /lambda-buffers-compiler/test/Test/DeriveCheck.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/lambda-buffers-compiler/test/Test/DeriveCheck.hs -------------------------------------------------------------------------------- /lambda-buffers-compiler/test/Test/KindCheck.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/lambda-buffers-compiler/test/Test/KindCheck.hs -------------------------------------------------------------------------------- /lambda-buffers-compiler/test/Test/KindCheck/Errors.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/lambda-buffers-compiler/test/Test/KindCheck/Errors.hs -------------------------------------------------------------------------------- /lambda-buffers-compiler/test/Test/Utils/Module.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/lambda-buffers-compiler/test/Test/Utils/Module.hs -------------------------------------------------------------------------------- /lambda-buffers-compiler/test/Test/Utils/TyDef.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/lambda-buffers-compiler/test/Test/Utils/TyDef.hs -------------------------------------------------------------------------------- /lambda-buffers-frontend/.envrc: -------------------------------------------------------------------------------- 1 | use flake ..#dev-lambda-buffers-frontend 2 | -------------------------------------------------------------------------------- /lambda-buffers-frontend/app/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/lambda-buffers-frontend/app/Main.hs -------------------------------------------------------------------------------- /lambda-buffers-frontend/build.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/lambda-buffers-frontend/build.nix -------------------------------------------------------------------------------- /lambda-buffers-frontend/cabal.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/lambda-buffers-frontend/cabal.project -------------------------------------------------------------------------------- /lambda-buffers-frontend/data/duplicate_tydef/A.lbf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/lambda-buffers-frontend/data/duplicate_tydef/A.lbf -------------------------------------------------------------------------------- /lambda-buffers-frontend/data/formatting/A.lbf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/lambda-buffers-frontend/data/formatting/A.lbf -------------------------------------------------------------------------------- /lambda-buffers-frontend/data/formatting/BadFormat.lbf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/lambda-buffers-frontend/data/formatting/BadFormat.lbf -------------------------------------------------------------------------------- /lambda-buffers-frontend/data/formatting/good/A.lbf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/lambda-buffers-frontend/data/formatting/good/A.lbf -------------------------------------------------------------------------------- /lambda-buffers-frontend/data/goldens/good/Coop.lbf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/lambda-buffers-frontend/data/goldens/good/Coop.lbf -------------------------------------------------------------------------------- /lambda-buffers-frontend/data/goldens/good/Plutus.lbf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/lambda-buffers-frontend/data/goldens/good/Plutus.lbf -------------------------------------------------------------------------------- /lambda-buffers-frontend/data/goldens/good/Prelude.lbf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/lambda-buffers-frontend/data/goldens/good/Prelude.lbf -------------------------------------------------------------------------------- /lambda-buffers-frontend/data/goldens/good/PreludeT.lbf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/lambda-buffers-frontend/data/goldens/good/PreludeT.lbf -------------------------------------------------------------------------------- /lambda-buffers-frontend/data/goldens/good/Rules.lbf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/lambda-buffers-frontend/data/goldens/good/Rules.lbf -------------------------------------------------------------------------------- /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/Test.lbf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/lambda-buffers-frontend/data/good/Test.lbf -------------------------------------------------------------------------------- /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: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/lambda-buffers-frontend/data/imported_not_found/B.lbf -------------------------------------------------------------------------------- /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/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/lambda-buffers-frontend/data/run.sh -------------------------------------------------------------------------------- /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: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/lambda-buffers-frontend/data/tyref_not_found/A.lbf -------------------------------------------------------------------------------- /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/lambda-buffers-frontend.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/lambda-buffers-frontend/lambda-buffers-frontend.cabal -------------------------------------------------------------------------------- /lambda-buffers-frontend/src/LambdaBuffers/Frontend.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/lambda-buffers-frontend/src/LambdaBuffers/Frontend.hs -------------------------------------------------------------------------------- /lambda-buffers-frontend/test/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/lambda-buffers-frontend/test/Test.hs -------------------------------------------------------------------------------- /libs/build.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/libs/build.nix -------------------------------------------------------------------------------- /libs/lbf-lambdabuffers/LambdaBuffers.lbf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/libs/lbf-lambdabuffers/LambdaBuffers.lbf -------------------------------------------------------------------------------- /libs/lbf-plutus/Plutus/V1.lbf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/libs/lbf-plutus/Plutus/V1.lbf -------------------------------------------------------------------------------- /libs/lbf-plutus/Plutus/V2.lbf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/libs/lbf-plutus/Plutus/V2.lbf -------------------------------------------------------------------------------- /libs/lbf-plutus/Plutus/V3.lbf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/libs/lbf-plutus/Plutus/V3.lbf -------------------------------------------------------------------------------- /libs/lbf-prelude/Prelude.lbf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/libs/lbf-prelude/Prelude.lbf -------------------------------------------------------------------------------- /pre-commit.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/pre-commit.nix -------------------------------------------------------------------------------- /runtimes/haskell/lbr-plutarch/.envrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/haskell/lbr-plutarch/.envrc -------------------------------------------------------------------------------- /runtimes/haskell/lbr-plutarch/build.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/haskell/lbr-plutarch/build.nix -------------------------------------------------------------------------------- /runtimes/haskell/lbr-plutarch/cabal.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/haskell/lbr-plutarch/cabal.project -------------------------------------------------------------------------------- /runtimes/haskell/lbr-plutarch/hie.yaml: -------------------------------------------------------------------------------- 1 | cradle: 2 | cabal: 3 | -------------------------------------------------------------------------------- /runtimes/haskell/lbr-plutarch/lbr-plutarch.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/haskell/lbr-plutarch/lbr-plutarch.cabal -------------------------------------------------------------------------------- /runtimes/haskell/lbr-plutarch/test/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/haskell/lbr-plutarch/test/Test.hs -------------------------------------------------------------------------------- /runtimes/haskell/lbr-plutus/.envrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/haskell/lbr-plutus/.envrc -------------------------------------------------------------------------------- /runtimes/haskell/lbr-plutus/build.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/haskell/lbr-plutus/build.nix -------------------------------------------------------------------------------- /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/lbr-plutus.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/haskell/lbr-plutus/lbr-plutus.cabal -------------------------------------------------------------------------------- /runtimes/haskell/lbr-plutus/test/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/haskell/lbr-plutus/test/Test.hs -------------------------------------------------------------------------------- /runtimes/haskell/lbr-plutustx/.envrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/haskell/lbr-plutustx/.envrc -------------------------------------------------------------------------------- /runtimes/haskell/lbr-plutustx/build.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/haskell/lbr-plutustx/build.nix -------------------------------------------------------------------------------- /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/lbr-plutustx.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/haskell/lbr-plutustx/lbr-plutustx.cabal -------------------------------------------------------------------------------- /runtimes/haskell/lbr-prelude/.envrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/haskell/lbr-prelude/.envrc -------------------------------------------------------------------------------- /runtimes/haskell/lbr-prelude/build.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/haskell/lbr-prelude/build.nix -------------------------------------------------------------------------------- /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/lbr-prelude.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/haskell/lbr-prelude/lbr-prelude.cabal -------------------------------------------------------------------------------- /runtimes/haskell/lbr-prelude/test/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/haskell/lbr-prelude/test/Test.hs -------------------------------------------------------------------------------- /runtimes/purescript/lbr-plutus/.envrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/purescript/lbr-plutus/.envrc -------------------------------------------------------------------------------- /runtimes/purescript/lbr-plutus/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/purescript/lbr-plutus/Makefile -------------------------------------------------------------------------------- /runtimes/purescript/lbr-plutus/app/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/purescript/lbr-plutus/app/index.html -------------------------------------------------------------------------------- /runtimes/purescript/lbr-plutus/app/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/purescript/lbr-plutus/app/index.js -------------------------------------------------------------------------------- /runtimes/purescript/lbr-plutus/build.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/purescript/lbr-plutus/build.nix -------------------------------------------------------------------------------- /runtimes/purescript/lbr-plutus/esbuild/bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/purescript/lbr-plutus/esbuild/bundle.js -------------------------------------------------------------------------------- /runtimes/purescript/lbr-plutus/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/purescript/lbr-plutus/package-lock.json -------------------------------------------------------------------------------- /runtimes/purescript/lbr-plutus/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/purescript/lbr-plutus/package.json -------------------------------------------------------------------------------- /runtimes/purescript/lbr-plutus/packages.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/purescript/lbr-plutus/packages.dhall -------------------------------------------------------------------------------- /runtimes/purescript/lbr-plutus/spago-packages.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/purescript/lbr-plutus/spago-packages.nix -------------------------------------------------------------------------------- /runtimes/purescript/lbr-plutus/spago.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/purescript/lbr-plutus/spago.dhall -------------------------------------------------------------------------------- /runtimes/purescript/lbr-plutus/test/Test/Main.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/purescript/lbr-plutus/test/Test/Main.purs -------------------------------------------------------------------------------- /runtimes/purescript/lbr-plutus/webpack.config.cjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/purescript/lbr-plutus/webpack.config.cjs -------------------------------------------------------------------------------- /runtimes/purescript/lbr-prelude/.envrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/purescript/lbr-prelude/.envrc -------------------------------------------------------------------------------- /runtimes/purescript/lbr-prelude/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/purescript/lbr-prelude/Makefile -------------------------------------------------------------------------------- /runtimes/purescript/lbr-prelude/app/index.js: -------------------------------------------------------------------------------- 1 | import("../dist/output.js").then(m => m.main()); 2 | -------------------------------------------------------------------------------- /runtimes/purescript/lbr-prelude/build.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/purescript/lbr-prelude/build.nix -------------------------------------------------------------------------------- /runtimes/purescript/lbr-prelude/esbuild/bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/purescript/lbr-prelude/esbuild/bundle.js -------------------------------------------------------------------------------- /runtimes/purescript/lbr-prelude/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/purescript/lbr-prelude/package-lock.json -------------------------------------------------------------------------------- /runtimes/purescript/lbr-prelude/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/purescript/lbr-prelude/package.json -------------------------------------------------------------------------------- /runtimes/purescript/lbr-prelude/packages.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/purescript/lbr-prelude/packages.dhall -------------------------------------------------------------------------------- /runtimes/purescript/lbr-prelude/spago-packages.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/purescript/lbr-prelude/spago-packages.nix -------------------------------------------------------------------------------- /runtimes/purescript/lbr-prelude/spago.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/purescript/lbr-prelude/spago.dhall -------------------------------------------------------------------------------- /runtimes/purescript/lbr-prelude/test/Test/Main.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/purescript/lbr-prelude/test/Test/Main.purs -------------------------------------------------------------------------------- /runtimes/purescript/lbr-prelude/webpack.config.cjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/purescript/lbr-prelude/webpack.config.cjs -------------------------------------------------------------------------------- /runtimes/rust/lbr-prelude-derive/.envrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/rust/lbr-prelude-derive/.envrc -------------------------------------------------------------------------------- /runtimes/rust/lbr-prelude-derive/.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | /proptest-regressions 3 | /.extras 4 | /data 5 | -------------------------------------------------------------------------------- /runtimes/rust/lbr-prelude-derive/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/rust/lbr-prelude-derive/Cargo.lock -------------------------------------------------------------------------------- /runtimes/rust/lbr-prelude-derive/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/rust/lbr-prelude-derive/Cargo.toml -------------------------------------------------------------------------------- /runtimes/rust/lbr-prelude-derive/build.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/rust/lbr-prelude-derive/build.nix -------------------------------------------------------------------------------- /runtimes/rust/lbr-prelude-derive/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/rust/lbr-prelude-derive/src/lib.rs -------------------------------------------------------------------------------- /runtimes/rust/lbr-prelude-derive/tests/enum.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/rust/lbr-prelude-derive/tests/enum.rs -------------------------------------------------------------------------------- /runtimes/rust/lbr-prelude-derive/tests/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/rust/lbr-prelude-derive/tests/main.rs -------------------------------------------------------------------------------- /runtimes/rust/lbr-prelude-derive/tests/newtype.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/rust/lbr-prelude-derive/tests/newtype.rs -------------------------------------------------------------------------------- /runtimes/rust/lbr-prelude-derive/tests/struct.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/rust/lbr-prelude-derive/tests/struct.rs -------------------------------------------------------------------------------- /runtimes/rust/lbr-prelude-derive/tests/tuple.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/rust/lbr-prelude-derive/tests/tuple.rs -------------------------------------------------------------------------------- /runtimes/rust/lbr-prelude/.envrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/rust/lbr-prelude/.envrc -------------------------------------------------------------------------------- /runtimes/rust/lbr-prelude/.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | /proptest-regressions 3 | /.extras 4 | /data 5 | -------------------------------------------------------------------------------- /runtimes/rust/lbr-prelude/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/rust/lbr-prelude/Cargo.lock -------------------------------------------------------------------------------- /runtimes/rust/lbr-prelude/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/rust/lbr-prelude/Cargo.toml -------------------------------------------------------------------------------- /runtimes/rust/lbr-prelude/build.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/rust/lbr-prelude/build.nix -------------------------------------------------------------------------------- /runtimes/rust/lbr-prelude/rustfmt.toml: -------------------------------------------------------------------------------- 1 | edition = "2024" 2 | -------------------------------------------------------------------------------- /runtimes/rust/lbr-prelude/src/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/rust/lbr-prelude/src/error.rs -------------------------------------------------------------------------------- /runtimes/rust/lbr-prelude/src/generators/correct.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/rust/lbr-prelude/src/generators/correct.rs -------------------------------------------------------------------------------- /runtimes/rust/lbr-prelude/src/generators/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/rust/lbr-prelude/src/generators/mod.rs -------------------------------------------------------------------------------- /runtimes/rust/lbr-prelude/src/json.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/rust/lbr-prelude/src/json.rs -------------------------------------------------------------------------------- /runtimes/rust/lbr-prelude/src/json/lamval.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/rust/lbr-prelude/src/json/lamval.rs -------------------------------------------------------------------------------- /runtimes/rust/lbr-prelude/src/lamval.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/rust/lbr-prelude/src/lamval.rs -------------------------------------------------------------------------------- /runtimes/rust/lbr-prelude/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/rust/lbr-prelude/src/lib.rs -------------------------------------------------------------------------------- /runtimes/rust/lbr-prelude/src/types.rs: -------------------------------------------------------------------------------- 1 | pub type Either = Result; 2 | -------------------------------------------------------------------------------- /runtimes/rust/lbr-prelude/tests/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/rust/lbr-prelude/tests/main.rs -------------------------------------------------------------------------------- /runtimes/typescript/lbr-plutus/.envrc: -------------------------------------------------------------------------------- 1 | use flake .#lbr-plutus-typescript 2 | -------------------------------------------------------------------------------- /runtimes/typescript/lbr-plutus/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/typescript/lbr-plutus/.gitignore -------------------------------------------------------------------------------- /runtimes/typescript/lbr-plutus/build.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/typescript/lbr-plutus/build.nix -------------------------------------------------------------------------------- /runtimes/typescript/lbr-plutus/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/typescript/lbr-plutus/package-lock.json -------------------------------------------------------------------------------- /runtimes/typescript/lbr-plutus/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/typescript/lbr-plutus/package.json -------------------------------------------------------------------------------- /runtimes/typescript/lbr-plutus/src/LambdaBuffers/V1.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/typescript/lbr-plutus/src/LambdaBuffers/V1.ts -------------------------------------------------------------------------------- /runtimes/typescript/lbr-plutus/src/LambdaBuffers/V2.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/typescript/lbr-plutus/src/LambdaBuffers/V2.ts -------------------------------------------------------------------------------- /runtimes/typescript/lbr-plutus/src/LambdaBuffers/V3.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/typescript/lbr-plutus/src/LambdaBuffers/V3.ts -------------------------------------------------------------------------------- /runtimes/typescript/lbr-plutus/src/Tests/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/typescript/lbr-plutus/src/Tests/tsconfig.json -------------------------------------------------------------------------------- /runtimes/typescript/lbr-plutus/src/tsconfig-base.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/typescript/lbr-plutus/src/tsconfig-base.json -------------------------------------------------------------------------------- /runtimes/typescript/lbr-plutus/src/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/typescript/lbr-plutus/src/tsconfig.json -------------------------------------------------------------------------------- /runtimes/typescript/lbr-prelude/.envrc: -------------------------------------------------------------------------------- 1 | use flake .#lbr-prelude-typescript 2 | -------------------------------------------------------------------------------- /runtimes/typescript/lbr-prelude/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/typescript/lbr-prelude/.gitignore -------------------------------------------------------------------------------- /runtimes/typescript/lbr-prelude/build.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/typescript/lbr-prelude/build.nix -------------------------------------------------------------------------------- /runtimes/typescript/lbr-prelude/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/typescript/lbr-prelude/package-lock.json -------------------------------------------------------------------------------- /runtimes/typescript/lbr-prelude/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/typescript/lbr-prelude/package.json -------------------------------------------------------------------------------- /runtimes/typescript/lbr-prelude/src/tsconfig-base.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/typescript/lbr-prelude/src/tsconfig-base.json -------------------------------------------------------------------------------- /runtimes/typescript/lbr-prelude/src/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/runtimes/typescript/lbr-prelude/src/tsconfig.json -------------------------------------------------------------------------------- /settings.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/settings.nix -------------------------------------------------------------------------------- /testsuites/lbt-plutus/.envrc: -------------------------------------------------------------------------------- 1 | use flake .#lbt-plutus-typescript 2 | -------------------------------------------------------------------------------- /testsuites/lbt-plutus/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/README.md -------------------------------------------------------------------------------- /testsuites/lbt-plutus/api/Days.lbf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/api/Days.lbf -------------------------------------------------------------------------------- /testsuites/lbt-plutus/api/Foo.lbf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/api/Foo.lbf -------------------------------------------------------------------------------- /testsuites/lbt-plutus/api/Foo/Bar.lbf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/api/Foo/Bar.lbf -------------------------------------------------------------------------------- /testsuites/lbt-plutus/api/build.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/api/build.nix -------------------------------------------------------------------------------- /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: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/Foo.A.0.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.A.1.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/Foo.A.1.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.A.2.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/Foo.A.2.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.A.3.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[3],"name":"Integer"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.A.4.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/Foo.A.4.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.A.5.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/Foo.A.5.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.A.6.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/Foo.A.6.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.A.7.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/Foo.A.7.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.A.8.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[3],"name":"Integer"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.A.9.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/Foo.A.9.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.B.0.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/Foo.B.0.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.B.1.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/Foo.B.1.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.B.2.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/Foo.B.2.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.B.3.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/Foo.B.3.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.B.4.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/Foo.B.4.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.B.5.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/Foo.B.5.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.B.6.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/Foo.B.6.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.B.7.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/Foo.B.7.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.B.8.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/Foo.B.8.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.B.9.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/Foo.B.9.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.C.0.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/Foo.C.0.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.C.1.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/Foo.C.1.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.C.2.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/Foo.C.2.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.C.3.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/Foo.C.3.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.C.4.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/Foo.C.4.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.C.5.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/Foo.C.5.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.C.6.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/Foo.C.6.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.C.7.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/Foo.C.7.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.C.8.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/Foo.C.8.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.C.9.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/Foo.C.9.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.D.0.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/Foo.D.0.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.D.1.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/Foo.D.1.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.D.2.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/Foo.D.2.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.D.3.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/Foo.D.3.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.D.4.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/Foo.D.4.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.D.5.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/Foo.D.5.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.D.6.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/Foo.D.6.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.D.7.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/Foo.D.7.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.FInt.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[1],"name":"Integer"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.FInt.1.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/Foo.FInt.1.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.GInt.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[1],"name":"Integer"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Foo.GInt.1.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/Foo.GInt.1.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Address.0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.Address.0.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Address.1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.Address.1.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Address.2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.Address.2.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Address.3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.Address.3.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Address.4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.Address.4.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Address.5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.Address.5.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Address.6.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.Address.6.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Address.7.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.Address.7.json -------------------------------------------------------------------------------- /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.CurrencySymbol.0.json: -------------------------------------------------------------------------------- 1 | "" -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.CurrencySymbol.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[""],"name":"Bytes"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.DCert.0.json: -------------------------------------------------------------------------------- 1 | {"fields":[],"name":"Mir"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.DCert.0.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.DCert.0.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.DCert.1.json: -------------------------------------------------------------------------------- 1 | {"fields":[],"name":"Genesis"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.DCert.1.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.DCert.1.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.DCert.2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.DCert.2.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.DCert.2.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.DCert.2.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.DCert.3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.DCert.3.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.DCert.3.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.DCert.3.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.DCert.4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.DCert.4.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.DCert.4.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.DCert.4.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.DCert.5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.DCert.5.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.DCert.5.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.DCert.5.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.DCert.6.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.DCert.6.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.DCert.6.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.DCert.6.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.DCert.7.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.DCert.7.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.DCert.7.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.DCert.7.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.DCert.8.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.DCert.8.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.DCert.8.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.DCert.8.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.DCert.9.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.DCert.9.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.DCert.9.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.DCert.9.pd.json -------------------------------------------------------------------------------- /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: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.DatumHash.0.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Extended.0.json: -------------------------------------------------------------------------------- 1 | {"fields":[],"name":"NegInf"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Extended.1.json: -------------------------------------------------------------------------------- 1 | {"fields":[],"name":"PosInf"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Extended.2.json: -------------------------------------------------------------------------------- 1 | {"fields":[0],"name":"Finite"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Interval.0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.Interval.0.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Interval.1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.Interval.1.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Interval.2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.Interval.2.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Interval.3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.Interval.3.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Interval.4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.Interval.4.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Interval.5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.Interval.5.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Interval.6.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.Interval.6.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Interval.7.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.Interval.7.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Interval.8.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.Interval.8.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Interval.9.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.Interval.9.json -------------------------------------------------------------------------------- /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.1.json: -------------------------------------------------------------------------------- 1 | {"bound":{"fields":[],"name":"NegInf"},"closed":false} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.LowerBound.2.json: -------------------------------------------------------------------------------- 1 | {"bound":{"fields":[],"name":"PosInf"},"closed":true} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.LowerBound.3.json: -------------------------------------------------------------------------------- 1 | {"bound":{"fields":[],"name":"PosInf"},"closed":false} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.LowerBound.4.json: -------------------------------------------------------------------------------- 1 | {"bound":{"fields":[0],"name":"Finite"},"closed":true} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.LowerBound.5.json: -------------------------------------------------------------------------------- 1 | {"bound":{"fields":[0],"name":"Finite"},"closed":false} -------------------------------------------------------------------------------- /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: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.Map.1.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Map.1.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.Map.1.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Map.2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.Map.2.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Map.2.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.Map.2.pd.json -------------------------------------------------------------------------------- /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.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.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.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.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.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: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TokenName.2.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxId.0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxId.0.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxId.0.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxId.0.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxInInfo.0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxInInfo.0.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxInInfo.1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxInInfo.1.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxInInfo.2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxInInfo.2.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxInInfo.3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxInInfo.3.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxInInfo.4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxInInfo.4.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxInInfo.5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxInInfo.5.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxInInfo.6.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxInInfo.6.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxInInfo.7.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxInInfo.7.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxInInfo.8.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxInInfo.8.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxInInfo.9.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxInInfo.9.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxInfo.0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxInfo.0.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxInfo.0.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxInfo.0.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxInfo.1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxInfo.1.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxInfo.1.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxInfo.1.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxInfo.2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxInfo.2.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxInfo.2.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxInfo.2.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxInfo.3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxInfo.3.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxInfo.3.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxInfo.3.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxInfo.4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxInfo.4.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxInfo.4.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxInfo.4.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxInfo.5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxInfo.5.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxInfo.5.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxInfo.5.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxInfo.6.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxInfo.6.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxInfo.6.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxInfo.6.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxInfo.7.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxInfo.7.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxInfo.7.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxInfo.7.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxInfo.8.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxInfo.8.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxInfo.8.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxInfo.8.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxInfo.9.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxInfo.9.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxInfo.9.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxInfo.9.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxOut.0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxOut.0.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxOut.0.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxOut.0.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxOut.1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxOut.1.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxOut.1.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxOut.1.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxOut.2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxOut.2.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxOut.2.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxOut.2.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxOut.3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxOut.3.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxOut.3.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxOut.3.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxOut.4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxOut.4.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxOut.4.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxOut.4.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxOut.5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxOut.5.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxOut.5.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxOut.5.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxOut.6.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxOut.6.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxOut.6.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxOut.6.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxOut.7.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxOut.7.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxOut.7.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxOut.7.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxOut.8.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxOut.8.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxOut.8.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxOut.8.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxOut.9.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxOut.9.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxOut.9.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxOut.9.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.TxOutRef.0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.TxOutRef.0.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.UpperBound.0.json: -------------------------------------------------------------------------------- 1 | {"bound":{"fields":[],"name":"NegInf"},"closed":true} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.UpperBound.1.json: -------------------------------------------------------------------------------- 1 | {"bound":{"fields":[],"name":"NegInf"},"closed":false} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.UpperBound.2.json: -------------------------------------------------------------------------------- 1 | {"bound":{"fields":[],"name":"PosInf"},"closed":true} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.UpperBound.3.json: -------------------------------------------------------------------------------- 1 | {"bound":{"fields":[],"name":"PosInf"},"closed":false} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.UpperBound.4.json: -------------------------------------------------------------------------------- 1 | {"bound":{"fields":[0],"name":"Finite"},"closed":true} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.UpperBound.5.json: -------------------------------------------------------------------------------- 1 | {"bound":{"fields":[0],"name":"Finite"},"closed":false} -------------------------------------------------------------------------------- /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: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.Value.1.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Value.1.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.Value.1.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Value.2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.Value.2.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV1.Value.2.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV1.Value.2.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.OutputDatum.0.json: -------------------------------------------------------------------------------- 1 | {"fields":[],"name":"NoOutputDatum"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxInInfo.0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxInInfo.0.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxInInfo.1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxInInfo.1.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxInInfo.2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxInInfo.2.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxInInfo.3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxInInfo.3.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxInInfo.4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxInInfo.4.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxInInfo.5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxInInfo.5.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxInInfo.6.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxInInfo.6.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxInInfo.7.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxInInfo.7.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxInInfo.8.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxInInfo.8.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxInInfo.9.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxInInfo.9.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxInfo.0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxInfo.0.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxInfo.0.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxInfo.0.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxInfo.1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxInfo.1.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxInfo.1.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxInfo.1.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxInfo.2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxInfo.2.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxInfo.2.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxInfo.2.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxInfo.3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxInfo.3.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxInfo.3.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxInfo.3.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxInfo.4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxInfo.4.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxInfo.4.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxInfo.4.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxInfo.5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxInfo.5.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxInfo.5.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxInfo.5.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxInfo.6.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxInfo.6.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxInfo.6.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxInfo.6.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxInfo.7.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxInfo.7.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxInfo.7.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxInfo.7.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxInfo.8.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxInfo.8.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxInfo.8.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxInfo.8.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxInfo.9.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxInfo.9.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxInfo.9.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxInfo.9.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxOut.0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxOut.0.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxOut.0.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxOut.0.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxOut.1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxOut.1.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxOut.1.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxOut.1.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxOut.2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxOut.2.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxOut.2.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxOut.2.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxOut.3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxOut.3.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxOut.3.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxOut.3.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxOut.4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxOut.4.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxOut.4.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxOut.4.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxOut.5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxOut.5.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxOut.5.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxOut.5.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxOut.6.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxOut.6.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxOut.6.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxOut.6.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxOut.7.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxOut.7.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxOut.7.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxOut.7.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxOut.8.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxOut.8.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxOut.8.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxOut.8.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxOut.9.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxOut.9.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV2.TxOut.9.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV2.TxOut.9.pd.json -------------------------------------------------------------------------------- /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.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.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.Committee.0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.Committee.0.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Constitution.0.json: -------------------------------------------------------------------------------- 1 | {"constitution_script":{"fields":[],"name":"Nothing"}} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.DRep.0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.DRep.0.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.DRep.0.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.DRep.0.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.DRep.1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.DRep.1.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.DRep.1.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.DRep.1.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.DRep.2.json: -------------------------------------------------------------------------------- 1 | {"fields":[],"name":"AlwaysAbstain"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.DRep.2.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.DRep.2.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.DRep.3.json: -------------------------------------------------------------------------------- 1 | {"fields":[],"name":"AlwaysNoConfidence"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.DRep.3.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.DRep.3.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Delegatee.0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.Delegatee.0.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Delegatee.1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.Delegatee.1.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Delegatee.2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.Delegatee.2.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Delegatee.3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.Delegatee.3.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Delegatee.4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.Delegatee.4.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Delegatee.5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.Delegatee.5.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Delegatee.6.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.Delegatee.6.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Delegatee.7.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.Delegatee.7.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Delegatee.8.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.Delegatee.8.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Rational.0.json: -------------------------------------------------------------------------------- 1 | [1,2] -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxCert.0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxCert.0.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxCert.0.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxCert.0.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxCert.1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxCert.1.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxCert.1.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxCert.1.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxCert.2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxCert.2.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxCert.2.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxCert.2.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxCert.3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxCert.3.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxCert.3.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxCert.3.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxCert.4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxCert.4.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxCert.4.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxCert.4.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxCert.5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxCert.5.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxCert.5.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxCert.5.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxCert.6.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxCert.6.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxCert.6.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxCert.6.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxCert.7.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxCert.7.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxCert.7.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxCert.7.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxCert.8.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxCert.8.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxCert.8.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxCert.8.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxCert.9.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxCert.9.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxCert.9.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxCert.9.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxId.0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxId.0.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxId.0.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxId.0.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxInInfo.0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxInInfo.0.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxInInfo.1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxInInfo.1.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxInInfo.2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxInInfo.2.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxInInfo.3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxInInfo.3.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxInInfo.4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxInInfo.4.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxInInfo.5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxInInfo.5.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxInInfo.6.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxInInfo.6.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxInInfo.7.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxInInfo.7.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxInInfo.8.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxInInfo.8.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxInInfo.9.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxInInfo.9.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxInfo.0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxInfo.0.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxInfo.0.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxInfo.0.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxInfo.1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxInfo.1.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxInfo.1.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxInfo.1.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxInfo.2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxInfo.2.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxInfo.2.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxInfo.2.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxInfo.3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxInfo.3.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxInfo.3.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxInfo.3.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxInfo.4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxInfo.4.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxInfo.4.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxInfo.4.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxInfo.5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxInfo.5.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxInfo.5.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxInfo.5.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxInfo.6.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxInfo.6.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxInfo.6.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxInfo.6.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxInfo.7.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxInfo.7.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxInfo.7.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxInfo.7.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxInfo.8.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxInfo.8.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxInfo.8.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxInfo.8.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxInfo.9.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxInfo.9.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxInfo.9.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxInfo.9.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.TxOutRef.0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.TxOutRef.0.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Vote.0.json: -------------------------------------------------------------------------------- 1 | {"fields":[],"name":"VoteNo"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Vote.0.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.Vote.0.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Vote.1.json: -------------------------------------------------------------------------------- 1 | {"fields":[],"name":"VoteYes"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Vote.1.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.Vote.1.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Vote.2.json: -------------------------------------------------------------------------------- 1 | {"fields":[],"name":"Abstain"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Vote.2.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.Vote.2.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Voter.0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.Voter.0.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Voter.0.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.Voter.0.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Voter.1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.Voter.1.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Voter.2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.Voter.2.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Voter.3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.Voter.3.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/PlutusV3.Voter.4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/PlutusV3.Voter.4.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Prelude.Bool.0.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/Prelude.Bool.0.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Prelude.Bool.1.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/Prelude.Bool.1.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Prelude.List.0.pd.json: -------------------------------------------------------------------------------- 1 | {"fields":[[]],"name":"List"} -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Prelude.List.1.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/Prelude.List.1.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Prelude.List.2.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/Prelude.List.2.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Prelude.List.3.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/Prelude.List.3.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Prelude.Maybe.0.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/Prelude.Maybe.0.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Prelude.Maybe.1.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/Prelude.Maybe.1.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/Prelude.Maybe.2.pd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/Prelude.Maybe.2.pd.json -------------------------------------------------------------------------------- /testsuites/lbt-plutus/golden/build.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/golden/build.nix -------------------------------------------------------------------------------- /testsuites/lbt-plutus/lbt-plutus-haskell/.envrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/lbt-plutus-haskell/.envrc -------------------------------------------------------------------------------- /testsuites/lbt-plutus/lbt-plutus-haskell/app/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/lbt-plutus-haskell/app/Main.hs -------------------------------------------------------------------------------- /testsuites/lbt-plutus/lbt-plutus-haskell/build.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/lbt-plutus-haskell/build.nix -------------------------------------------------------------------------------- /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: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/lbt-plutus-plutarch/.envrc -------------------------------------------------------------------------------- /testsuites/lbt-plutus/lbt-plutus-plutarch/build.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/lbt-plutus-plutarch/build.nix -------------------------------------------------------------------------------- /testsuites/lbt-plutus/lbt-plutus-plutarch/hie.yaml: -------------------------------------------------------------------------------- 1 | cradle: 2 | cabal: 3 | -------------------------------------------------------------------------------- /testsuites/lbt-plutus/lbt-plutus-plutustx/.envrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/lbt-plutus-plutustx/.envrc -------------------------------------------------------------------------------- /testsuites/lbt-plutus/lbt-plutus-plutustx/build.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/lbt-plutus-plutustx/build.nix -------------------------------------------------------------------------------- /testsuites/lbt-plutus/lbt-plutus-plutustx/hie.yaml: -------------------------------------------------------------------------------- 1 | cradle: 2 | cabal: 3 | -------------------------------------------------------------------------------- /testsuites/lbt-plutus/lbt-plutus-purescript/.envrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/lbt-plutus-purescript/.envrc -------------------------------------------------------------------------------- /testsuites/lbt-plutus/lbt-plutus-purescript/.gitignore: -------------------------------------------------------------------------------- 1 | /data 2 | -------------------------------------------------------------------------------- /testsuites/lbt-plutus/lbt-plutus-purescript/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/lbt-plutus-purescript/Makefile -------------------------------------------------------------------------------- /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: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/lbt-plutus-rust/.envrc -------------------------------------------------------------------------------- /testsuites/lbt-plutus/lbt-plutus-rust/.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | /proptest-regressions 3 | /.extras 4 | /data 5 | -------------------------------------------------------------------------------- /testsuites/lbt-plutus/lbt-plutus-rust/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/lbt-plutus-rust/Cargo.lock -------------------------------------------------------------------------------- /testsuites/lbt-plutus/lbt-plutus-rust/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/lbt-plutus-rust/Cargo.toml -------------------------------------------------------------------------------- /testsuites/lbt-plutus/lbt-plutus-rust/build.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/lbt-plutus-rust/build.nix -------------------------------------------------------------------------------- /testsuites/lbt-plutus/lbt-plutus-rust/src/lib.rs: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /testsuites/lbt-plutus/lbt-plutus-rust/tests/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/lbt-plutus-rust/tests/main.rs -------------------------------------------------------------------------------- /testsuites/lbt-plutus/lbt-plutus-rust/tests/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/lbt-plutus-rust/tests/utils.rs -------------------------------------------------------------------------------- /testsuites/lbt-plutus/lbt-plutus-typescript/.envrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-plutus/lbt-plutus-typescript/.envrc -------------------------------------------------------------------------------- /testsuites/lbt-prelude/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-prelude/README.md -------------------------------------------------------------------------------- /testsuites/lbt-prelude/api/Days.lbf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-prelude/api/Days.lbf -------------------------------------------------------------------------------- /testsuites/lbt-prelude/api/Foo.lbf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-prelude/api/Foo.lbf -------------------------------------------------------------------------------- /testsuites/lbt-prelude/api/Foo/Bar.lbf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-prelude/api/Foo/Bar.lbf -------------------------------------------------------------------------------- /testsuites/lbt-prelude/api/build.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-prelude/api/build.nix -------------------------------------------------------------------------------- /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: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-prelude/golden/Foo.C.0.json -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Foo.D.0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-prelude/golden/Foo.D.0.json -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Foo.D.1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-prelude/golden/Foo.D.1.json -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Foo.D.2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-prelude/golden/Foo.D.2.json -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Foo.D.3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-prelude/golden/Foo.D.3.json -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Foo.D.4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-prelude/golden/Foo.D.4.json -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Foo.FInt.0.json: -------------------------------------------------------------------------------- 1 | {"fields":[],"name":"Nil"} -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Foo.FInt.1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-prelude/golden/Foo.FInt.1.json -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Foo.GInt.0.json: -------------------------------------------------------------------------------- 1 | {"fields":[],"name":"Nil"} -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Foo.GInt.1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-prelude/golden/Foo.GInt.1.json -------------------------------------------------------------------------------- /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: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-prelude/golden/Prelude.Either.2.json -------------------------------------------------------------------------------- /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.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: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-prelude/golden/Prelude.Integer.7.json -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Prelude.Integer.8.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-prelude/golden/Prelude.Integer.8.json -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Prelude.Integer.9.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-prelude/golden/Prelude.Integer.9.json -------------------------------------------------------------------------------- /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: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-prelude/golden/Prelude.List.3.json -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Prelude.Map.0.json: -------------------------------------------------------------------------------- 1 | [] -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Prelude.Map.1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-prelude/golden/Prelude.Map.1.json -------------------------------------------------------------------------------- /testsuites/lbt-prelude/golden/Prelude.Map.2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-prelude/golden/Prelude.Map.2.json -------------------------------------------------------------------------------- /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/golden/build.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-prelude/golden/build.nix -------------------------------------------------------------------------------- /testsuites/lbt-prelude/lbt-prelude-haskell/.envrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-prelude/lbt-prelude-haskell/.envrc -------------------------------------------------------------------------------- /testsuites/lbt-prelude/lbt-prelude-haskell/build.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-prelude/lbt-prelude-haskell/build.nix -------------------------------------------------------------------------------- /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: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-prelude/lbt-prelude-purescript/.envrc -------------------------------------------------------------------------------- /testsuites/lbt-prelude/lbt-prelude-purescript/.gitignore: -------------------------------------------------------------------------------- 1 | /data 2 | -------------------------------------------------------------------------------- /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: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-prelude/lbt-prelude-rust/.envrc -------------------------------------------------------------------------------- /testsuites/lbt-prelude/lbt-prelude-rust/.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | /proptest-regressions 3 | /.extras 4 | /data 5 | -------------------------------------------------------------------------------- /testsuites/lbt-prelude/lbt-prelude-rust/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-prelude/lbt-prelude-rust/Cargo.lock -------------------------------------------------------------------------------- /testsuites/lbt-prelude/lbt-prelude-rust/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-prelude/lbt-prelude-rust/Cargo.toml -------------------------------------------------------------------------------- /testsuites/lbt-prelude/lbt-prelude-rust/build.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-prelude/lbt-prelude-rust/build.nix -------------------------------------------------------------------------------- /testsuites/lbt-prelude/lbt-prelude-rust/src/lib.rs: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /testsuites/lbt-prelude/lbt-prelude-typescript/.envrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/lambda-buffers/HEAD/testsuites/lbt-prelude/lbt-prelude-typescript/.envrc --------------------------------------------------------------------------------