Combined Plutus 1.53.0.0 Documentation
Last updated on 2025 Sep 08 from IntersectMBO/plutus@a27c1b7
Select another plutus version:
Handy module entrypoints
- PlutusTx: Compiling Haskell to PLC (Plutus Core; on-chain code).
- PlutusTx.Prelude: Haskell prelude replacement compatible with PLC.
- PlutusCore: Programming language in which scripts on the Cardano blockchain are written.
- UntypedPlutusCore: On-chain Plutus code.
Packages
plutus-tx-plugin-1.53.0.0
plutus-tx-1.53.0.0
- Hedgehog
- PlutusTx
plutus-tx-1.53.0.0
- Data
- Aeson
- PlutusTx
- PlutusTx.Applicative
- PlutusTx.AsData
- PlutusTx.AssocMap
- PlutusTx.Base
- PlutusTx.Blueprint
- PlutusTx.Blueprint.Argument
- PlutusTx.Blueprint.Class
- PlutusTx.Blueprint.Contract
- PlutusTx.Blueprint.Definition
- PlutusTx.Blueprint.Parameter
- PlutusTx.Blueprint.PlutusVersion
- PlutusTx.Blueprint.Preamble
- PlutusTx.Blueprint.Purpose
- PlutusTx.Blueprint.Schema
- PlutusTx.Blueprint.TH
- PlutusTx.Blueprint.Validator
- PlutusTx.Blueprint.Write
- PlutusTx.Bool
- PlutusTx.BuiltinList
- PlutusTx.Builtins
- PlutusTx.Code
- PlutusTx.Coverage
- Data
- PlutusTx.Either
- PlutusTx.Enum
- PlutusTx.Eq
- PlutusTx.ErrorCodes
- PlutusTx.Eval
- PlutusTx.Foldable
- PlutusTx.Function
- PlutusTx.Functor
- PlutusTx.Integer
- PlutusTx.IsData
- PlutusTx.Lattice
- PlutusTx.Lift
- PlutusTx.List
- PlutusTx.Maybe
- PlutusTx.Monoid
- PlutusTx.Numeric
- Optimize
- PlutusTx.Ord
- Plugin
- PlutusTx.Prelude
- PlutusTx.Ratio
- PlutusTx.Semigroup
- PlutusTx.Show
- PlutusTx.Sqrt
- PlutusTx.TH
- PlutusTx.These
- PlutusTx.Trace
- PlutusTx.Traversable
- PlutusTx.Utils
plutus-metatheory-1.53.0.0
- Certifier
- FFI
- MAlonzo
- Code
- Agda
- Builtin
- MAlonzo.Code.Agda.Builtin.Bool
- MAlonzo.Code.Agda.Builtin.Char
- MAlonzo.Code.Agda.Builtin.Equality
- MAlonzo.Code.Agda.Builtin.Float
- MAlonzo.Code.Agda.Builtin.IO
- MAlonzo.Code.Agda.Builtin.Int
- MAlonzo.Code.Agda.Builtin.List
- MAlonzo.Code.Agda.Builtin.Maybe
- MAlonzo.Code.Agda.Builtin.Nat
- MAlonzo.Code.Agda.Builtin.Reflection
- MAlonzo.Code.Agda.Builtin.Sigma
- MAlonzo.Code.Agda.Builtin.Strict
- MAlonzo.Code.Agda.Builtin.String
- MAlonzo.Code.Agda.Builtin.Unit
- MAlonzo.Code.Agda.Primitive
- Builtin
- Algebra
- MAlonzo.Code.Algebra.Bundles
- Consequences
- Construct
- MAlonzo.Code.Algebra.Construct.LiftedChoice
- NaturalChoice
- Definitions
- Lattice
- MAlonzo.Code.Algebra.Lattice.Bundles
- Construct
- Properties
- MAlonzo.Code.Algebra.Lattice.Structures
- MAlonzo.Code.Algebra.Morphism
- MAlonzo.Code.Algebra.Structures
- MAlonzo.Code.Algorithmic
- MAlonzo.Code.Builtin
- MAlonzo.Code.Check
- MAlonzo.Code.Cost
- Data
- Bool
- Char
- MAlonzo.Code.Data.DifferenceList
- MAlonzo.Code.Data.Digit
- MAlonzo.Code.Data.Empty
- Fin
- Float
- MAlonzo.Code.Data.Integer
- MAlonzo.Code.Data.Irrelevant
- List
- Maybe
- Nat
- Parity
- MAlonzo.Code.Data.Product
- MAlonzo.Code.Data.Product.Base
- Function
- Nary
- MAlonzo.Code.Data.Product.Properties
- Relation
- Sign
- MAlonzo.Code.Data.String
- Sum
- These
- Tree
- Unit
- Vec
- Word64
- MAlonzo.Code.Declarative
- Effect
- Evaluator
- Function
- MAlonzo.Code.Function.Base
- MAlonzo.Code.Function.Bundles
- MAlonzo.Code.Function.Consequences
- Construct
- Dependent
- Indexed
- Relation
- Metric
- Nary
- NonDependent
- Properties
- Related
- MAlonzo.Code.Function.Strict
- MAlonzo.Code.Function.Structures
- IO
- Primitive
- MAlonzo.Code.Induction
- MAlonzo.Code.Level
- MAlonzo.Code.Main
- MAlonzo.Code.Raw
- MAlonzo.Code.RawU
- MAlonzo.Code.Reflection
- Relation
- Binary
- MAlonzo.Code.Relation.Binary.Bundles
- MAlonzo.Code.Relation.Binary.Consequences
- Construct
- Add
- Extrema
- Infimum
- Point
- Supremum
- Closure
- MAlonzo.Code.Relation.Binary.Construct.Composition
- Flip
- NaturalOrder
- MAlonzo.Code.Relation.Binary.Construct.NonStrictToStrict
- MAlonzo.Code.Relation.Binary.Construct.On
- Add
- MAlonzo.Code.Relation.Binary.Definitions
- HeterogeneousEquality
- Indexed
- MAlonzo.Code.Relation.Binary.Lattice
- Morphism
- Properties
- MAlonzo.Code.Relation.Binary.PropositionalEquality
- Reasoning
- MAlonzo.Code.Relation.Binary.Structures
- MAlonzo.Code.Relation.Nullary
- Unary
- Binary
- MAlonzo.Code.Scoped
- Text
- MAlonzo.Code.Type
- MAlonzo.Code.Untyped
- MAlonzo.Code.Utils
- MAlonzo.Code.VerifiedCompilation
- MAlonzo.Code.VerifiedCompilation.Certificate
- MAlonzo.Code.VerifiedCompilation.UCSE
- MAlonzo.Code.VerifiedCompilation.UCaseOfCase
- MAlonzo.Code.VerifiedCompilation.UCaseReduce
- MAlonzo.Code.VerifiedCompilation.UFloatDelay
- MAlonzo.Code.VerifiedCompilation.UForceDelay
- MAlonzo.Code.VerifiedCompilation.UInline
- MAlonzo.Code.VerifiedCompilation.UntypedTranslation
- MAlonzo.Code.VerifiedCompilation.UntypedViews
- Agda
- MAlonzo.RTE
- Code
- Paths_plutus_metatheory
- Raw
plutus-ledger-api-1.53.0.0
- PlutusLedgerApi
plutus-ledger-api-1.53.0.0
- PlutusLedgerApi
- PlutusLedgerApi.Common
- Data
- PlutusLedgerApi.Envelope
- PlutusLedgerApi.MachineParameters
- PlutusLedgerApi.V1
- PlutusLedgerApi.V1.Address
- PlutusLedgerApi.V1.Bytes
- PlutusLedgerApi.V1.Contexts
- PlutusLedgerApi.V1.Credential
- PlutusLedgerApi.V1.Crypto
- PlutusLedgerApi.V1.DCert
- Data
- PlutusLedgerApi.V1.EvaluationContext
- PlutusLedgerApi.V1.Interval
- PlutusLedgerApi.V1.ParamName
- PlutusLedgerApi.V1.Scripts
- PlutusLedgerApi.V1.Time
- PlutusLedgerApi.V1.Tx
- PlutusLedgerApi.V1.Value
- PlutusLedgerApi.V2
- PlutusLedgerApi.V3
- Prettyprinter
plutus-core-1.53.0.0
- Analysis
- DeBruijn
- Evaluation
- Flat
- Generators
- Scoping
- Transform
- CaseOfCase
- Inline
- Simplify
plutus-core-1.53.0.0
- Data
plutus-core-1.53.0.0
- PlutusIR
plutus-core-1.53.0.0
- PlutusIR
- Analysis
- Check
- PlutusIR.Compiler
- PlutusIR.Contexts
- PlutusIR.Core
- PlutusIR.Error
- PlutusIR.Mark
- PlutusIR.MkPir
- PlutusIR.Normalize
- PlutusIR.Parser
- PlutusIR.Pass
- PlutusIR.Purity
- PlutusIR.Strictness
- PlutusIR.Subst
- Transform
- PlutusIR.Transform.Beta
- PlutusIR.Transform.CaseOfCase
- PlutusIR.Transform.CaseReduce
- PlutusIR.Transform.DeadCode
- PlutusIR.Transform.EvaluateBuiltins
- Inline
- PlutusIR.Transform.KnownCon
- PlutusIR.Transform.LetFloatIn
- PlutusIR.Transform.LetFloatOut
- PlutusIR.Transform.LetMerge
- PlutusIR.Transform.NonStrict
- PlutusIR.Transform.RecSplit
- PlutusIR.Transform.Rename
- PlutusIR.Transform.RewriteRules
- PlutusIR.Transform.StrictifyBindings
- PlutusIR.Transform.ThunkRecursions
- PlutusIR.Transform.Unwrap
- PlutusIR.TypeCheck
plutus-core-1.53.0.0
- PlutusCore
- Generators
- PlutusCore.Generators.Hedgehog
- PlutusCore.Generators.Hedgehog.AST
- PlutusCore.Generators.Hedgehog.Builtin
- PlutusCore.Generators.Hedgehog.Denotation
- PlutusCore.Generators.Hedgehog.Entity
- PlutusCore.Generators.Hedgehog.Interesting
- PlutusCore.Generators.Hedgehog.Test
- PlutusCore.Generators.Hedgehog.TypeEvalCheck
- PlutusCore.Generators.Hedgehog.TypedBuiltinGen
- PlutusCore.Generators.Hedgehog.Utils
- NEAT
- PlutusCore.Generators.NEAT.Common
- PlutusCore.Generators.NEAT.Spec Property based testing for Plutus Core
- PlutusCore.Generators.NEAT.Term PLC Syntax, typechecker,semantics property based testing.
- PlutusCore.Generators.NEAT.Type
- PlutusCore.Generators.QuickCheck
- PlutusCore.Generators.QuickCheck.Builtin
- PlutusCore.Generators.QuickCheck.Common
- PlutusCore.Generators.QuickCheck.GenTm
- PlutusCore.Generators.QuickCheck.GenerateKinds
- PlutusCore.Generators.QuickCheck.GenerateTypes
- PlutusCore.Generators.QuickCheck.ShrinkTypes
- PlutusCore.Generators.QuickCheck.Split
- PlutusCore.Generators.QuickCheck.Substitutions
- PlutusCore.Generators.QuickCheck.Unification
- PlutusCore.Generators.QuickCheck.Utils
- PlutusCore.Generators.Hedgehog
- PlutusCore.Test
- Generators
- PlutusIR
- Test
- Tasty
- UntypedPlutusCore
- Generators
- Test
plutus-core-1.53.0.0
- PlutusCore
plutus-core-1.53.0.0
- Data
plutus-core-1.53.0.0
- Codec
- Data
- Aeson
- Either
- Functor
- Foldable
- List
- MultiSet
- Vector
- Version
- PlutusCore
- Analysis
- PlutusCore.Annotation
- PlutusCore.Arity
- PlutusCore.Bitwise
- PlutusCore.Builtin
- PlutusCore.Builtin.Case
- PlutusCore.Builtin.Debug
- PlutusCore.Builtin.Elaborate
- PlutusCore.Builtin.HasConstant
- PlutusCore.Builtin.KnownKind
- PlutusCore.Builtin.KnownType
- PlutusCore.Builtin.KnownTypeAst
- PlutusCore.Builtin.Meaning
- PlutusCore.Builtin.Polymorphism
- PlutusCore.Builtin.Result
- PlutusCore.Builtin.Runtime
- PlutusCore.Builtin.TestKnown
- PlutusCore.Builtin.TypeScheme
- Check
- PlutusCore.Compiler
- PlutusCore.Core
- Crypto
- PlutusCore.Data
- PlutusCore.DataFilePaths
- PlutusCore.DeBruijn
- PlutusCore.Default
- PlutusCore.Eq
- PlutusCore.Error
- Evaluation
- PlutusCore.Evaluation.Error
- PlutusCore.Evaluation.ErrorWithCause
- Machine
- PlutusCore.Evaluation.Machine.BuiltinCostModel
- PlutusCore.Evaluation.Machine.Ck
- PlutusCore.Evaluation.Machine.CostModelInterface
- PlutusCore.Evaluation.Machine.CostStream
- CostingFun
- PlutusCore.Evaluation.Machine.ExBudget
- PlutusCore.Evaluation.Machine.ExBudgetStream
- PlutusCore.Evaluation.Machine.ExBudgetingDefaults
- PlutusCore.Evaluation.Machine.ExMemory
- PlutusCore.Evaluation.Machine.ExMemoryUsage
- PlutusCore.Evaluation.Machine.Exception
- PlutusCore.Evaluation.Machine.MachineParameters
- PlutusCore.Evaluation.Machine.SimpleBuiltinCostModel
- PlutusCore.Evaluation.Result
- Examples
- PlutusCore.Flat
- PlutusCore.FsTree
- PlutusCore.Mark
- PlutusCore.MkPlc
- Name
- PlutusCore.Normalize
- PlutusCore.Parser
- PlutusCore.Pretty
- PlutusCore.Quote
- PlutusCore.Rename
- PlutusCore.Size
- StdLib
- Data
- PlutusCore.StdLib.Data.Bool
- PlutusCore.StdLib.Data.ChurchNat
- PlutusCore.StdLib.Data.Data
- PlutusCore.StdLib.Data.Function
- PlutusCore.StdLib.Data.Integer
- PlutusCore.StdLib.Data.List
- PlutusCore.StdLib.Data.MatchOption
- PlutusCore.StdLib.Data.Nat
- PlutusCore.StdLib.Data.Pair
- PlutusCore.StdLib.Data.ScottList
- PlutusCore.StdLib.Data.ScottUnit
- PlutusCore.StdLib.Data.Sum
- PlutusCore.StdLib.Data.Unit
- PlutusCore.StdLib.Everything
- PlutusCore.StdLib.Meta
- PlutusCore.StdLib.Type
- Data
- PlutusCore.Subst
- PlutusCore.TypeCheck
- PlutusCore.Version
- PlutusPrelude
- Prettyprinter
- Universe
- UntypedPlutusCore
plutus-conformance-1.0.0.0
- PlutusConformance
cardano-constitution-1.53.0.0
- Cardano
- PlutusTx