plutus-core-1.36.0.0: Language library for Plutus Core

plutus-core-1.36.0.0

• Codec
  Submodules

  • Extras
    Submodules

    •  Codec.Extras.FlatViaSerialise
    •  Codec.Extras.SerialiseViaFlat
• Data
  Submodules

  • Aeson
    Submodules

    •  Data.Aeson.THReader
  • Either
    Submodules

    •  Data.Either.Extras
  • List
    Submodules

    •  Data.List.Extras
  • MultiSet
    Submodules

    •  Data.MultiSet.Lens
  •  Data.SatInt
•  PlutusCore
  Submodules

  • Analysis
    Submodules

    •  PlutusCore.Analysis.Definitions
  •  PlutusCore.Annotation
  •  PlutusCore.Arity
  •  PlutusCore.Bitwise
  •  PlutusCore.Builtin
    Submodules

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

    •  PlutusCore.Check.Normal
    •  PlutusCore.Check.Scoping
    •  PlutusCore.Check.Uniques
    •  PlutusCore.Check.Value
  •  PlutusCore.Compiler
    Submodules

    •  PlutusCore.Compiler.Erase
    •  PlutusCore.Compiler.Opts
    •  PlutusCore.Compiler.Types
  •  PlutusCore.Core
    Submodules

    •  PlutusCore.Core.Plated
  • Crypto
    Submodules

    • BLS12_381
      Submodules

      •  PlutusCore.Crypto.BLS12_381.Error
      •  PlutusCore.Crypto.BLS12_381.G1
      •  PlutusCore.Crypto.BLS12_381.G2
      •  PlutusCore.Crypto.BLS12_381.Pairing
    •  PlutusCore.Crypto.Ed25519
    •  PlutusCore.Crypto.ExpMod
    •  PlutusCore.Crypto.Hash
    •  PlutusCore.Crypto.Secp256k1
  •  PlutusCore.Data
  •  PlutusCore.DataFilePaths
  •  PlutusCore.DeBruijn
    Submodules

    •  PlutusCore.DeBruijn.Internal
  •  PlutusCore.Default
    Submodules

    •  PlutusCore.Default.Builtins
  •  PlutusCore.Error
  • Evaluation
    Submodules

    •  PlutusCore.Evaluation.Error
    •  PlutusCore.Evaluation.ErrorWithCause
    • Machine
      Submodules

      •  PlutusCore.Evaluation.Machine.BuiltinCostModel
      •  PlutusCore.Evaluation.Machine.Ck
      •  PlutusCore.Evaluation.Machine.CostModelInterface
      •  PlutusCore.Evaluation.Machine.CostStream
      • CostingFun
        Submodules

        •  PlutusCore.Evaluation.Machine.CostingFun.Core
        •  PlutusCore.Evaluation.Machine.CostingFun.JSON
        •  PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
      •  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
        Submodules

        •  PlutusCore.Evaluation.Machine.MachineParameters.Default
      •  PlutusCore.Evaluation.Machine.SimpleBuiltinCostModel
    •  PlutusCore.Evaluation.Result
  • Examples
    Submodules

    •  PlutusCore.Examples.Builtins
    • Data
      Submodules

      •  PlutusCore.Examples.Data.Data
      •  PlutusCore.Examples.Data.Function
      •  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
  • Name
    Submodules

    •  PlutusCore.Name.Unique
    •  PlutusCore.Name.UniqueMap
    •  PlutusCore.Name.UniqueSet
  •  PlutusCore.Normalize
    Submodules

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

    •  PlutusCore.Rename.Internal
    •  PlutusCore.Rename.Monad
  •  PlutusCore.Size
  • 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
  •  PlutusCore.TypeCheck
    Submodules

    •  PlutusCore.TypeCheck.Internal
  •  PlutusCore.Version
•  PlutusPrelude
• Prettyprinter
  Submodules

  •  Prettyprinter.Custom
•  Universe
•  UntypedPlutusCore
  Submodules

  • Check
    Submodules

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

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

    • Machine
      Submodules

      •  UntypedPlutusCore.Evaluation.Machine.Cek
        Submodules

        •  UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
        •  UntypedPlutusCore.Evaluation.Machine.Cek.Internal
        •  UntypedPlutusCore.Evaluation.Machine.Cek.StepCounter
      •  UntypedPlutusCore.Evaluation.Machine.SteppableCek
        Submodules

        •  UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
        •  UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
  •  UntypedPlutusCore.MkUPlc
  •  UntypedPlutusCore.Parser
  •  UntypedPlutusCore.Purity
  •  UntypedPlutusCore.Rename
  •  UntypedPlutusCore.Size
  • Transform
    Submodules

    •  UntypedPlutusCore.Transform.CaseOfCase