plutus-core-1.0.0.1: Language library for Plutus Core

Modules

• Crypto
• Data
  Submodules

  • ByteString
    Submodules

    • Data.ByteString.Hash
  • Data.SatInt
• ErrorCode
• PlutusCore
  Submodules

  • PlutusCore.Builtin
    Submodules

    • PlutusCore.Builtin.Debug
    • PlutusCore.Builtin.Elaborate
    • PlutusCore.Builtin.Emitter
  • Check
    Submodules

    • PlutusCore.Check.Normal
    • PlutusCore.Check.Scoping
    • PlutusCore.Check.Uniques
    • PlutusCore.Check.Value
  • PlutusCore.Core
  • PlutusCore.Data
  • PlutusCore.DataFilePaths
  • PlutusCore.DeBruijn
  • PlutusCore.Default
  • PlutusCore.Error
  • Evaluation
    Submodules

    • Machine
      Submodules

      • PlutusCore.Evaluation.Machine.BuiltinCostModel
      • PlutusCore.Evaluation.Machine.Ck
      • PlutusCore.Evaluation.Machine.CostModelInterface
      • PlutusCore.Evaluation.Machine.ExBudget
      • PlutusCore.Evaluation.Machine.ExBudgetingDefaults
      • PlutusCore.Evaluation.Machine.ExMemory
      • PlutusCore.Evaluation.Machine.Exception
      • PlutusCore.Evaluation.Machine.MachineParameters
    • PlutusCore.Evaluation.Result
  • Examples
    Submodules

    • PlutusCore.Examples.Builtins
    • Data
      Submodules

      • PlutusCore.Examples.Data.Data
      • PlutusCore.Examples.Data.InterList
      • PlutusCore.Examples.Data.List
      • PlutusCore.Examples.Data.Pair
      • PlutusCore.Examples.Data.Shad
      • PlutusCore.Examples.Data.TreeForest
      • PlutusCore.Examples.Data.Vec
    • PlutusCore.Examples.Everything
  • PlutusCore.Flat
  • PlutusCore.FsTree
  • PlutusCore.Mark
  • PlutusCore.MkPlc
  • PlutusCore.Name
  • PlutusCore.Normalize
    Submodules

    • PlutusCore.Normalize.Internal
  • PlutusCore.Parser
  • PlutusCore.Pretty
  • PlutusCore.Quote
  • PlutusCore.Rename
    Submodules

    • PlutusCore.Rename.Internal
    • PlutusCore.Rename.Monad
  • StdLib
    Submodules

    • Data
      Submodules

      • 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
      Submodules

      • Data
        Submodules

        • PlutusCore.StdLib.Meta.Data.Function
        • PlutusCore.StdLib.Meta.Data.Tuple
    • PlutusCore.StdLib.Type
  • PlutusCore.Subst
• PlutusIR
  Submodules

  • Analysis
    Submodules

    • PlutusIR.Analysis.RetainedSize
  • PlutusIR.Compiler
    Submodules

    • PlutusIR.Compiler.Definitions
    • PlutusIR.Compiler.Names
  • PlutusIR.Core
    Submodules

    • PlutusIR.Core.Instance
      Submodules

      • PlutusIR.Core.Instance.Flat
      • PlutusIR.Core.Instance.Pretty
      • PlutusIR.Core.Instance.Scoping
    • PlutusIR.Core.Plated
    • PlutusIR.Core.Type
  • PlutusIR.Error
  • PlutusIR.Mark
  • PlutusIR.MkPir
  • PlutusIR.Parser
  • PlutusIR.Purity
  • PlutusIR.Subst
  • Transform
    Submodules

    • PlutusIR.Transform.Beta
    • PlutusIR.Transform.DeadCode
    • PlutusIR.Transform.Inline
    • PlutusIR.Transform.LetFloat
    • PlutusIR.Transform.LetMerge
    • PlutusIR.Transform.NonStrict
    • PlutusIR.Transform.RecSplit
    • PlutusIR.Transform.Rename
    • PlutusIR.Transform.Substitute
    • PlutusIR.Transform.ThunkRecursions
    • PlutusIR.Transform.Unwrap
  • PlutusIR.TypeCheck
• PlutusPrelude
• Prettyprinter
  Submodules

  • Prettyprinter.Custom
• Universe
• UntypedPlutusCore
  Submodules

  • Check
    Submodules

    • UntypedPlutusCore.Check.Scope
    • UntypedPlutusCore.Check.Uniques
  • UntypedPlutusCore.Core
    Submodules

    • UntypedPlutusCore.Core.Type
  • UntypedPlutusCore.DeBruijn
  • Evaluation
    Submodules

    • Machine
      Submodules

      • UntypedPlutusCore.Evaluation.Machine.Cek
        Submodules

        • UntypedPlutusCore.Evaluation.Machine.Cek.Internal
  • UntypedPlutusCore.MkUPlc
  • UntypedPlutusCore.Parser
  • UntypedPlutusCore.Rename