Combined documentation for all the public Plutus libraries
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-conformance-1.0.0.0
- PlutusConformance
plutus-core-1.27.0.0
- Codec
- Data
- Aeson
- Either
- List
- MultiSet
- PlutusCore
- Analysis
- PlutusCore.Annotation
- PlutusCore.Arity
- Bitwise
- PlutusCore.Builtin
- Check
- PlutusCore.Compiler
- PlutusCore.Core
- Crypto
- PlutusCore.Data
- PlutusCore.DataFilePaths
- PlutusCore.DeBruijn
- PlutusCore.Default
- PlutusCore.Error
- Evaluation
- 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.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-ghc-stub-8.6.5
plutus-ledger-api-1.27.0.0
- PlutusLedgerApi
- PlutusLedgerApi.Common
- PlutusLedgerApi.V1
- PlutusLedgerApi.V1.Address
- PlutusLedgerApi.V1.Bytes
- PlutusLedgerApi.V1.Contexts
- PlutusLedgerApi.V1.Credential
- PlutusLedgerApi.V1.Crypto
- PlutusLedgerApi.V1.DCert
- 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
plutus-metatheory-0.1.0.0
- 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
- MAlonzo.Code.Algebra.Morphism
- Properties
- MAlonzo.Code.Algebra.Structures
- MAlonzo.Code.Algorithmic
- MAlonzo.Code.Builtin
- Category
- MAlonzo.Code.Check
- MAlonzo.Code.Cost
- Data
- Bool
- Char
- MAlonzo.Code.Data.DifferenceList
- MAlonzo.Code.Data.Digit
- MAlonzo.Code.Data.Empty
- Fin
- MAlonzo.Code.Data.Integer
- List
- Maybe
- Nat
- MAlonzo.Code.Data.Product
- Function
- Nary
- MAlonzo.Code.Data.Product.Properties
- Relation
- Sign
- MAlonzo.Code.Data.String
- Sum
- These
- Tree
- Vec
- MAlonzo.Code.Declarative
- Evaluator
- Function
- MAlonzo.Code.Function.Base
- MAlonzo.Code.Function.Bijection
- MAlonzo.Code.Function.Bundles
- MAlonzo.Code.Function.Equality
- MAlonzo.Code.Function.Equivalence
- MAlonzo.Code.Function.HalfAdjointEquivalence
- Identity
- MAlonzo.Code.Function.Injection
- MAlonzo.Code.Function.Inverse
- MAlonzo.Code.Function.LeftInverse
- Metric
- Nary
- NonDependent
- MAlonzo.Code.Function.Related
- MAlonzo.Code.Function.Structures
- MAlonzo.Code.Function.Surjection
- IO
- MAlonzo.Code.Induction
- MAlonzo.Code.Level
- MAlonzo.Code.Main
- MAlonzo.Code.Raw
- MAlonzo.Code.RawU
- Relation
- Binary
- MAlonzo.Code.Relation.Binary.Bundles
- MAlonzo.Code.Relation.Binary.Consequences
- Construct
- Add
- Extrema
- Infimum
- Point
- Supremum
- Closure
- MAlonzo.Code.Relation.Binary.Construct.Converse
- 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
- Properties
- MAlonzo.Code.Relation.Binary.PropositionalEquality
- Reasoning
- MAlonzo.Code.Relation.Binary.Structures
- MAlonzo.Code.Relation.Nullary
- Unary
- Binary
- MAlonzo.Code.Scoped
- MAlonzo.Code.Strict
- Text
- MAlonzo.Code.Type
- MAlonzo.Code.Untyped
- MAlonzo.Code.Utils
- Agda
- MAlonzo.RTE
- Code
- Opts
- Raw
- Untyped
plutus-tx-1.27.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.Builtins
- PlutusTx.Code
- PlutusTx.Coverage
- PlutusTx.Either
- PlutusTx.Enum
- PlutusTx.Eq
- PlutusTx.ErrorCodes
- PlutusTx.Foldable
- PlutusTx.Functor
- PlutusTx.Integer
- PlutusTx.IsData
- PlutusTx.Lattice
- PlutusTx.Lift
- PlutusTx.List
- PlutusTx.Maybe
- PlutusTx.Monoid
- PlutusTx.Numeric
- PlutusTx.Ord
- Plugin
- PlutusTx.Prelude
- PlutusTx.Ratio
- PlutusTx.Semigroup
- PlutusTx.Show
- PlutusTx.Sqrt
- PlutusTx.TH
- PlutusTx.These
- PlutusTx.Trace
- PlutusTx.Traversable
- PlutusTx.Utils