- Synopsis
-
Language library for Plutus Core
- Description
-
Pretty-printer, parser, and typechecker for Plutus Core.
- Author
-
Plutus Core Team
- Maintainer
-
michael.peyton-jones@iohk.io
- License
-
Apache-2.0
- Source
-
-
https://github.com/IntersectMBO/plutus
- Commit hash
- c013014ca30e9d058c3c0b8075087e32b31dd3de
- Subdir
- plutus-core
- Timestamp
-
2024-06-04T19:23:27Z
- Revisions
-
None
- Dependencies
-
- library plutus-core:
-
- ["aeson","array","barbies","base >=4.9 && <5","base64-bytestring","bimap","bytestring","bytestring-strict-builder","cardano-crypto","cardano-crypto-class ^>=2.1.2","cassava","cborg","composition-prelude >=1.1.0.1","containers","cryptonite","data-default-class","deepseq","dependent-sum >=0.7.1.0","deriving-aeson >=0.2.3","deriving-compat","dlist","exceptions","extra","filepath","flat ^>=0.6","free","ghc-prim","hashable >=1.4","hedgehog >=1.0","plutus-core:index-envs","lens","megaparsec","mmorph","mono-traversable","monoidal-containers","mtl","multiset","nothunks ^>=0.1.5","parser-combinators >=0.4.0","prettyprinter >=1.1.0.1","prettyprinter-configurable ^>=1.29","primitive","profunctors","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","vector","witherable"]
if impl(ghc <9.0)
- library plutus-ir:
-
- ["algebraic-graphs >=0.7","base >=4.9 && <5","containers","dlist","dom-lt","extra","flat ^>=0.6","hashable","lens","megaparsec","mmorph","monoidal-containers","mtl","multiset","parser-combinators >=0.4.0","plutus-core ^>=1.29","prettyprinter >=1.1.0.1","profunctors","semigroupoids","semigroups >=0.19.1","text","transformers","witherable"]
if impl(ghc <9.0)
- library plutus-core-execlib:
-
- ["aeson","base >=4.9 && <5","bytestring","flat ^>=0.6","lens","megaparsec","monoidal-containers","mtl","optparse-applicative","plutus-core:{plutus-core, plutus-core-testlib, plutus-ir} ^>=1.29","prettyprinter","text"]
- library plutus-core-testlib:
-
- ["base >=4.9 && <5","bifunctors","bytestring","containers","data-default-class","dependent-map >=0.4.0.0","filepath","free","hashable","hedgehog >=1.0","lazy-search","lens","mmorph","mtl","multiset","plutus-core:{plutus-core, plutus-ir} ^>=1.29","prettyprinter >=1.1.0.1","prettyprinter-configurable ^>=1.29","QuickCheck","quickcheck-instances","quickcheck-transformer","size-based","Stream","tagged","tasty","tasty-golden","tasty-hedgehog","tasty-hunit","text"]
- library plutus-ir-cert:
-
- ["base","plutus-core:{plutus-core, plutus-ir} ^>=1.29"]
if flag(with-cert)
- 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","bytestring","flat ^>=0.6","optparse-applicative","plutus-core ^>=1.29","plutus-core:plutus-core-execlib ^>=1.29","text"]
- executable uplc:
-
- ["base >=4.9 && <5","bytestring","criterion","deepseq","flat ^>=0.6","haskeline","mtl","optparse-applicative","plutus-core ^>=1.29","plutus-core:plutus-core-execlib ^>=1.29","prettyprinter","split","text"]
- executable pir:
-
- ["base >=4.9 && <5","bytestring","cassava","containers","lens","megaparsec","optparse-applicative","plutus-core:plutus-core-execlib ^>=1.29","plutus-core:{plutus-core, plutus-ir} ^>=1.29","text","transformers"]
- executable plutus:
-
- ["aeson-pretty","base >=4.9 && <5","brick","bytestring","containers","exceptions","filepath","flat","lens","megaparsec","microlens","microlens-th ^>=0.4","mono-traversable","mtl","plutus-core:{plutus-core, plutus-ir} ^>=1.29","prettyprinter","primitive","serialise","singletons","singletons-th","text","text-zipper","vty ^>=6","vty-crossplatform ^>=0.2"]
- 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.29","QuickCheck","quickcheck-instances","random","text","time"]
- executable generate-cost-model:
-
- ["aeson-pretty","barbies","base >=4.9 && <5","bytestring","directory","inline-r >=1.0.1","optparse-applicative","plutus-core ^>=1.29","text"]
- executable print-cost-model:
-
- ["aeson","base >=4.9 && <5","bytestring","plutus-core ^>=1.29"]
- test-suite cost-model-test:
-
- ["barbies","base >=4.9 && <5","bytestring","hedgehog","inline-r >=1.0.1","mmorph","plutus-core ^>=1.29","template-haskell","text"]
- 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"]