• Home
• All packages
• All package versions

plutus-core-1.3.0.0

Synopsis

Language library for Plutus Core

Description

Pretty-printer, parser, and typechecker for Plutus Core.

Author

Plutus Core Team

Maintainer

[email protected]

License

Apache-2.0

Source

https://github.com/input-output-hk/plutus

Commit hash

b94d0e001c8f7350b5120b20cbc9d9021d377a8a

Subdir

plutus-core

Timestamp

2023-03-09T16:51:17Z

Revisions

None

Dependencies

library plutus-core:

• ["aeson","array","barbies","base >=4.9 && <5","base64-bytestring","bimap","bytestring","cardano-crypto","cardano-crypto-class >=2.0.0.1 && <2.2","cassava","cborg","composition-prelude >=1.1.0.1","containers","cryptonite","data-default-class","deepseq","dependent-sum-template","deriving-aeson >=0.2.3","deriving-compat","dlist","exceptions","extra","filepath","flat <0.5","free","ghc-prim","hashable >=1.4","hedgehog >=1.0","plutus-core:index-envs","int-cast","lens","megaparsec","mmorph","mono-traversable","monoidal-containers","mtl","multiset","nothunks >=0.1.1","parser-combinators >=0.4.0","prettyprinter >=1.1.0.1","prettyprinter-configurable ^>=1.1","primitive","recursion-schemes","plutus-core:satint","semigroups >=0.19.1","serialise","some","template-haskell","text","th-compat","th-lift","th-lift-instances","th-utilities","time","transformers","unordered-containers","witherable","word-array ^>=1.1"]

if impl(ghc <9.0)

• integer-gmp

library plutus-ir:

• ["algebraic-graphs >=0.7","base >=4.9 && <5","containers","dom-lt","extra","flat <0.5","lens","megaparsec","mmorph","monoidal-containers","mtl","multiset","parser-combinators >=0.4.0","plutus-core ^>=1.3","prettyprinter >=1.1.0.1","semigroupoids","semigroups >=0.19.1","text","transformers","witherable"]

if impl(ghc <9.0)

• integer-gmp

library plutus-core-execlib:

• ["aeson","base >=4.9 && <5","bytestring","deepseq","flat <0.5","lens","megaparsec","monoidal-containers","mtl","optparse-applicative","plutus-core:{plutus-core, plutus-core-testlib, plutus-ir} ^>=1.3","prettyprinter","text"]

library plutus-core-testlib:

• ["base >=4.9 && <5","bifunctors","bytestring","containers","data-default-class","dependent-map >=0.4.0.0","filepath","hedgehog >=1.0","lazy-search","lens","mmorph","mtl","multiset","plutus-core:{plutus-core, plutus-ir} ^>=1.3","prettyprinter >=1.1.0.1","prettyprinter-configurable","QuickCheck","quickcheck-instances","quickcheck-transformer","size-based","Stream","tagged","tasty","tasty-golden","tasty-hedgehog","tasty-hunit","text"]

library satint:

• ["aeson","base >=4.9 && <5","cassava","deepseq","nothunks","primitive","serialise","template-haskell"]

library index-envs:

• ["base >=4.9 && <5","containers","extra","nonempty-vector","ral ^>=0.2"]

executable plc:

• ["base >=4.9 && <5","deepseq","lens","optparse-applicative","plutus-core ^>=1.3","plutus-core:plutus-core-execlib ^>=1.3","text"]

executable uplc:

• ["base >=4.9 && <5","deepseq","haskeline","mtl","optparse-applicative","plutus-core ^>=1.3","plutus-core:plutus-core-execlib ^>=1.3","prettyprinter","split","text"]

executable pir:

• ["base >=4.9 && <5","bytestring","cassava","containers","lens","megaparsec","optparse-applicative","plutus-core:plutus-core-execlib ^>=1.3","plutus-core:{plutus-core, plutus-ir} ^>=1.3","text","transformers"]

executable debugger:

• ["base >=4.9 && <5","brick","containers","megaparsec","microlens","microlens-th","mono-traversable","mtl","optparse-applicative","plutus-core ^>=1.3","plutus-core:plutus-core-execlib ^>=1.3","prettyprinter","text","text-zipper","vty"]

executable traceToStacks:

• ["base >=4.9 && <5","bytestring","cassava","optparse-applicative","text","vector"]

executable cost-model-budgeting-bench:

• ["base >=4.9 && <5","bytestring","cardano-crypto-class","criterion","criterion-measurement","deepseq","directory","filepath","hedgehog","mtl","optparse-applicative","plutus-core ^>=1.3","QuickCheck","quickcheck-instances","random","text","time"]

executable generate-cost-model:

• ["aeson-pretty","barbies","base >=4.9 && <5","bytestring","cassava","directory","exceptions","extra","inline-r >=1.0.0.0","optparse-applicative","plutus-core ^>=1.3","text","vector"]

executable print-cost-model:

• ["aeson","base >=4.9 && <5","bytestring","text"]

test-suite cost-model-test:

• ["barbies","base >=4.9 && <5","bytestring","cassava","exceptions","extra","hedgehog","inline-r >=1.0.0.0","mmorph","plutus-core ^>=1.3","template-haskell","text","vector"]

test-suite index-envs-bench:

• ["base >=4.9 && <5","criterion >=1.5.9.0","plutus-core:index-envs","nonempty-vector","ral ^>=0.2","random >=1.2.0"]