plutus-metatheory-1.60.0.0: Command line tool for running plutus core programs

plutus-metatheory-1.60.0.0

•  Certifier
• FFI
  Submodules

  •  FFI.AgdaUnparse
  •  FFI.Opts
  •  FFI.SimplifierTrace
  •  FFI.Untyped
• MAlonzo
  Submodules

  • Code
    Submodules

    • Agda
      Submodules

      • Builtin
        Submodules

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

      •  MAlonzo.Code.Algebra.Bundles
        Submodules

        •  MAlonzo.Code.Algebra.Bundles.Raw
      • Consequences
        Submodules

        •  MAlonzo.Code.Algebra.Consequences.Base
        •  MAlonzo.Code.Algebra.Consequences.Setoid
      • Construct
        Submodules

        •  MAlonzo.Code.Algebra.Construct.LiftedChoice
        • NaturalChoice
          Submodules

          •  MAlonzo.Code.Algebra.Construct.NaturalChoice.Base
          •  MAlonzo.Code.Algebra.Construct.NaturalChoice.Max
          •  MAlonzo.Code.Algebra.Construct.NaturalChoice.MaxOp
          •  MAlonzo.Code.Algebra.Construct.NaturalChoice.Min
          •  MAlonzo.Code.Algebra.Construct.NaturalChoice.MinMaxOp
          •  MAlonzo.Code.Algebra.Construct.NaturalChoice.MinOp
      • Definitions
        Submodules

        •  MAlonzo.Code.Algebra.Definitions.RawMagma
      • Lattice
        Submodules

        •  MAlonzo.Code.Algebra.Lattice.Bundles
          Submodules

          •  MAlonzo.Code.Algebra.Lattice.Bundles.Raw
        • Construct
          Submodules

          • NaturalChoice
            Submodules

            •  MAlonzo.Code.Algebra.Lattice.Construct.NaturalChoice.MinMaxOp
            •  MAlonzo.Code.Algebra.Lattice.Construct.NaturalChoice.MinOp
        • Properties
          Submodules

          •  MAlonzo.Code.Algebra.Lattice.Properties.BooleanAlgebra
          •  MAlonzo.Code.Algebra.Lattice.Properties.DistributiveLattice
          •  MAlonzo.Code.Algebra.Lattice.Properties.Lattice
          •  MAlonzo.Code.Algebra.Lattice.Properties.Semilattice
        •  MAlonzo.Code.Algebra.Lattice.Structures
      •  MAlonzo.Code.Algebra.Morphism
        Submodules

        •  MAlonzo.Code.Algebra.Morphism.Structures
      •  MAlonzo.Code.Algebra.Structures
        Submodules

        •  MAlonzo.Code.Algebra.Structures.Biased
    •  MAlonzo.Code.Algorithmic
      Submodules

      •  MAlonzo.Code.Algorithmic.CEK
      •  MAlonzo.Code.Algorithmic.CK
      •  MAlonzo.Code.Algorithmic.Erasure
      •  MAlonzo.Code.Algorithmic.Evaluation
      •  MAlonzo.Code.Algorithmic.Properties
      •  MAlonzo.Code.Algorithmic.ReductionEC
        Submodules

        •  MAlonzo.Code.Algorithmic.ReductionEC.Progress
      •  MAlonzo.Code.Algorithmic.RenamingSubstitution
      •  MAlonzo.Code.Algorithmic.Signature
    •  MAlonzo.Code.Builtin
      Submodules

      • Constant
        Submodules

        •  MAlonzo.Code.Builtin.Constant.AtomicType
        •  MAlonzo.Code.Builtin.Constant.Type
      •  MAlonzo.Code.Builtin.Signature
    •  MAlonzo.Code.Certifier
    •  MAlonzo.Code.CertifierReport
    •  MAlonzo.Code.Check
    •  MAlonzo.Code.Cost
      Submodules

      •  MAlonzo.Code.Cost.Base
      •  MAlonzo.Code.Cost.Model
      •  MAlonzo.Code.Cost.Raw
      •  MAlonzo.Code.Cost.Size
    • Data
      Submodules

      • Bool
        Submodules

        •  MAlonzo.Code.Data.Bool.Base
        •  MAlonzo.Code.Data.Bool.Properties
      • Char
        Submodules

        •  MAlonzo.Code.Data.Char.Base
        •  MAlonzo.Code.Data.Char.Properties
      •  MAlonzo.Code.Data.DifferenceList
      •  MAlonzo.Code.Data.Digit
      •  MAlonzo.Code.Data.Empty
        Submodules

        •  MAlonzo.Code.Data.Empty.Polymorphic
      • Fin
        Submodules

        •  MAlonzo.Code.Data.Fin.Base
        •  MAlonzo.Code.Data.Fin.Properties
      • Float
        Submodules

        •  MAlonzo.Code.Data.Float.Properties
      •  MAlonzo.Code.Data.Integer
        Submodules

        •  MAlonzo.Code.Data.Integer.Base
        •  MAlonzo.Code.Data.Integer.Properties
        •  MAlonzo.Code.Data.Integer.Show
      •  MAlonzo.Code.Data.Irrelevant
      • List
        Submodules

        •  MAlonzo.Code.Data.List.Base
        •  MAlonzo.Code.Data.List.Effectful
        •  MAlonzo.Code.Data.List.Extrema
          Submodules

          •  MAlonzo.Code.Data.List.Extrema.Core
        • Membership
          Submodules

          •  MAlonzo.Code.Data.List.Membership.DecSetoid
          •  MAlonzo.Code.Data.List.Membership.Propositional
            Submodules

            •  MAlonzo.Code.Data.List.Membership.Propositional.Properties
              Submodules

              •  MAlonzo.Code.Data.List.Membership.Propositional.Properties.Core
          •  MAlonzo.Code.Data.List.Membership.Setoid
            Submodules

            •  MAlonzo.Code.Data.List.Membership.Setoid.Properties
        •  MAlonzo.Code.Data.List.NonEmpty
          Submodules

          •  MAlonzo.Code.Data.List.NonEmpty.Base
        •  MAlonzo.Code.Data.List.Properties
        • Relation
          Submodules

          • Binary
            Submodules

            • Equality
              Submodules

              •  MAlonzo.Code.Data.List.Relation.Binary.Equality.Propositional
              •  MAlonzo.Code.Data.List.Relation.Binary.Equality.Setoid
            •  MAlonzo.Code.Data.List.Relation.Binary.Lex
              Submodules

              •  MAlonzo.Code.Data.List.Relation.Binary.Lex.Core
              •  MAlonzo.Code.Data.List.Relation.Binary.Lex.Strict
            •  MAlonzo.Code.Data.List.Relation.Binary.Pointwise
              Submodules

              •  MAlonzo.Code.Data.List.Relation.Binary.Pointwise.Base
              •  MAlonzo.Code.Data.List.Relation.Binary.Pointwise.Properties
          • Unary
            Submodules

            •  MAlonzo.Code.Data.List.Relation.Unary.All
              Submodules

              •  MAlonzo.Code.Data.List.Relation.Unary.All.Properties
            • AllPairs
              Submodules

              •  MAlonzo.Code.Data.List.Relation.Unary.AllPairs.Core
            •  MAlonzo.Code.Data.List.Relation.Unary.Any
              Submodules

              •  MAlonzo.Code.Data.List.Relation.Unary.Any.Properties
      • Maybe
        Submodules

        •  MAlonzo.Code.Data.Maybe.Base
        •  MAlonzo.Code.Data.Maybe.Effectful
        •  MAlonzo.Code.Data.Maybe.Properties
        • Relation
          Submodules

          • Unary
            Submodules

            •  MAlonzo.Code.Data.Maybe.Relation.Unary.All
            •  MAlonzo.Code.Data.Maybe.Relation.Unary.Any
      • Nat
        Submodules

        •  MAlonzo.Code.Data.Nat.Base
        •  MAlonzo.Code.Data.Nat.DivMod
          Submodules

          •  MAlonzo.Code.Data.Nat.DivMod.Core
        •  MAlonzo.Code.Data.Nat.Divisibility
          Submodules

          •  MAlonzo.Code.Data.Nat.Divisibility.Core
        •  MAlonzo.Code.Data.Nat.Properties
        •  MAlonzo.Code.Data.Nat.Show
      • Parity
        Submodules

        •  MAlonzo.Code.Data.Parity.Base
      •  MAlonzo.Code.Data.Product
        Submodules

        •  MAlonzo.Code.Data.Product.Base
        • Function
          Submodules

          • Dependent
            Submodules

            •  MAlonzo.Code.Data.Product.Function.Dependent.Propositional
          • NonDependent
            Submodules

            •  MAlonzo.Code.Data.Product.Function.NonDependent.Propositional
            •  MAlonzo.Code.Data.Product.Function.NonDependent.Setoid
        • Nary
          Submodules

          •  MAlonzo.Code.Data.Product.Nary.NonDependent
        •  MAlonzo.Code.Data.Product.Properties
        • Relation
          Submodules

          • Binary
            Submodules

            • Pointwise
              Submodules

              •  MAlonzo.Code.Data.Product.Relation.Binary.Pointwise.NonDependent
      • Sign
        Submodules

        •  MAlonzo.Code.Data.Sign.Base
      •  MAlonzo.Code.Data.String
        Submodules

        •  MAlonzo.Code.Data.String.Base
        •  MAlonzo.Code.Data.String.Properties
      • Sum
        Submodules

        •  MAlonzo.Code.Data.Sum.Base
        • Effectful
          Submodules

          •  MAlonzo.Code.Data.Sum.Effectful.Left
        • Function
          Submodules

          •  MAlonzo.Code.Data.Sum.Function.Propositional
          •  MAlonzo.Code.Data.Sum.Function.Setoid
        • Relation
          Submodules

          • Binary
            Submodules

            •  MAlonzo.Code.Data.Sum.Relation.Binary.Pointwise
      • These
        Submodules

        •  MAlonzo.Code.Data.These.Base
      • Tree
        Submodules

        •  MAlonzo.Code.Data.Tree.AVL
          Submodules

          •  MAlonzo.Code.Data.Tree.AVL.Height
          •  MAlonzo.Code.Data.Tree.AVL.Indexed
          •  MAlonzo.Code.Data.Tree.AVL.Key
          •  MAlonzo.Code.Data.Tree.AVL.Map
          •  MAlonzo.Code.Data.Tree.AVL.Value
      • Unit
        Submodules

        •  MAlonzo.Code.Data.Unit.Properties
      • Vec
        Submodules

        •  MAlonzo.Code.Data.Vec.Base
        • Bounded
          Submodules

          •  MAlonzo.Code.Data.Vec.Bounded.Base
      • Word64
        Submodules

        •  MAlonzo.Code.Data.Word64.Properties
    •  MAlonzo.Code.Declarative
    • Effect
      Submodules

      •  MAlonzo.Code.Effect.Applicative
      •  MAlonzo.Code.Effect.Choice
      •  MAlonzo.Code.Effect.Empty
      •  MAlonzo.Code.Effect.Functor
      •  MAlonzo.Code.Effect.Monad
    • Evaluator
      Submodules

      •  MAlonzo.Code.Evaluator.Base
      •  MAlonzo.Code.Evaluator.Program
      •  MAlonzo.Code.Evaluator.Term
    • Function
      Submodules

      •  MAlonzo.Code.Function.Base
      •  MAlonzo.Code.Function.Bundles
      •  MAlonzo.Code.Function.Consequences
        Submodules

        •  MAlonzo.Code.Function.Consequences.Propositional
        •  MAlonzo.Code.Function.Consequences.Setoid
      • Construct
        Submodules

        •  MAlonzo.Code.Function.Construct.Composition
        •  MAlonzo.Code.Function.Construct.Identity
        •  MAlonzo.Code.Function.Construct.Symmetry
      • Dependent
        Submodules

        •  MAlonzo.Code.Function.Dependent.Bundles
      • Indexed
        Submodules

        • Relation
          Submodules

          • Binary
            Submodules

            •  MAlonzo.Code.Function.Indexed.Relation.Binary.Equality
      • Metric
        Submodules

        • Nat
          Submodules

          •  MAlonzo.Code.Function.Metric.Nat.Bundles
        •  MAlonzo.Code.Function.Metric.Structures
      • Nary
        Submodules

        • NonDependent
          Submodules

          •  MAlonzo.Code.Function.Nary.NonDependent.Base
      • Properties
        Submodules

        •  MAlonzo.Code.Function.Properties.Bijection
        •  MAlonzo.Code.Function.Properties.Inverse
          Submodules

          •  MAlonzo.Code.Function.Properties.Inverse.HalfAdjointEquivalence
        •  MAlonzo.Code.Function.Properties.RightInverse
        •  MAlonzo.Code.Function.Properties.Surjection
      • Related
        Submodules

        •  MAlonzo.Code.Function.Related.Propositional
        •  MAlonzo.Code.Function.Related.TypeIsomorphisms
      •  MAlonzo.Code.Function.Strict
      •  MAlonzo.Code.Function.Structures
    • IO
      Submodules

      • Primitive
        Submodules

        •  MAlonzo.Code.IO.Primitive.Core
    •  MAlonzo.Code.Induction
      Submodules

      •  MAlonzo.Code.Induction.WellFounded
    •  MAlonzo.Code.Level
    •  MAlonzo.Code.Main
    •  MAlonzo.Code.Raw
    •  MAlonzo.Code.RawU
    •  MAlonzo.Code.Reflection
      Submodules

      • AST
        Submodules

        •  MAlonzo.Code.Reflection.AST.Abstraction
        •  MAlonzo.Code.Reflection.AST.Argument
          Submodules

          •  MAlonzo.Code.Reflection.AST.Argument.Information
          •  MAlonzo.Code.Reflection.AST.Argument.Modality
          •  MAlonzo.Code.Reflection.AST.Argument.QQuantity
          •  MAlonzo.Code.Reflection.AST.Argument.Relevance
          •  MAlonzo.Code.Reflection.AST.Argument.Visibility
        •  MAlonzo.Code.Reflection.AST.Literal
        •  MAlonzo.Code.Reflection.AST.Meta
        •  MAlonzo.Code.Reflection.AST.Name
        •  MAlonzo.Code.Reflection.AST.Show
        •  MAlonzo.Code.Reflection.AST.Term
    • Relation
      Submodules

      • Binary
        Submodules

        •  MAlonzo.Code.Relation.Binary.Bundles
        •  MAlonzo.Code.Relation.Binary.Consequences
        • Construct
          Submodules

          • Add
            Submodules

            • Extrema
              Submodules

              •  MAlonzo.Code.Relation.Binary.Construct.Add.Extrema.Equality
              •  MAlonzo.Code.Relation.Binary.Construct.Add.Extrema.Strict
            • Infimum
              Submodules

              •  MAlonzo.Code.Relation.Binary.Construct.Add.Infimum.NonStrict
              •  MAlonzo.Code.Relation.Binary.Construct.Add.Infimum.Strict
            • Point
              Submodules

              •  MAlonzo.Code.Relation.Binary.Construct.Add.Point.Equality
            • Supremum
              Submodules

              •  MAlonzo.Code.Relation.Binary.Construct.Add.Supremum.NonStrict
              •  MAlonzo.Code.Relation.Binary.Construct.Add.Supremum.Strict
          • Closure
            Submodules

            •  MAlonzo.Code.Relation.Binary.Construct.Closure.Reflexive
              Submodules

              •  MAlonzo.Code.Relation.Binary.Construct.Closure.Reflexive.Properties
          •  MAlonzo.Code.Relation.Binary.Construct.Composition
          • Flip
            Submodules

            •  MAlonzo.Code.Relation.Binary.Construct.Flip.EqAndOrd
          • NaturalOrder
            Submodules

            •  MAlonzo.Code.Relation.Binary.Construct.NaturalOrder.Left
          •  MAlonzo.Code.Relation.Binary.Construct.NonStrictToStrict
          •  MAlonzo.Code.Relation.Binary.Construct.On
        •  MAlonzo.Code.Relation.Binary.Definitions
        • HeterogeneousEquality
          Submodules

          •  MAlonzo.Code.Relation.Binary.HeterogeneousEquality.Core
        • Indexed
          Submodules

          • Heterogeneous
            Submodules

            •  MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Bundles
            • Construct
              Submodules

              •  MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Construct.Trivial
            •  MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Structures
        •  MAlonzo.Code.Relation.Binary.Lattice
          Submodules

          •  MAlonzo.Code.Relation.Binary.Lattice.Bundles
          •  MAlonzo.Code.Relation.Binary.Lattice.Structures
        • Morphism
          Submodules

          •  MAlonzo.Code.Relation.Binary.Morphism.Structures
        • Properties
          Submodules

          •  MAlonzo.Code.Relation.Binary.Properties.Poset
          •  MAlonzo.Code.Relation.Binary.Properties.Preorder
          •  MAlonzo.Code.Relation.Binary.Properties.Setoid
        •  MAlonzo.Code.Relation.Binary.PropositionalEquality
          Submodules

          •  MAlonzo.Code.Relation.Binary.PropositionalEquality.Algebra
          •  MAlonzo.Code.Relation.Binary.PropositionalEquality.Core
          •  MAlonzo.Code.Relation.Binary.PropositionalEquality.Properties
        • Reasoning
          Submodules

          • Base
            Submodules

            •  MAlonzo.Code.Relation.Binary.Reasoning.Base.Double
            •  MAlonzo.Code.Relation.Binary.Reasoning.Base.Single
            •  MAlonzo.Code.Relation.Binary.Reasoning.Base.Triple
          •  MAlonzo.Code.Relation.Binary.Reasoning.Setoid
          •  MAlonzo.Code.Relation.Binary.Reasoning.Syntax
        •  MAlonzo.Code.Relation.Binary.Structures
          Submodules

          •  MAlonzo.Code.Relation.Binary.Structures.Biased
      •  MAlonzo.Code.Relation.Nullary
        Submodules

        •  MAlonzo.Code.Relation.Nullary.Decidable
          Submodules

          •  MAlonzo.Code.Relation.Nullary.Decidable.Core
        •  MAlonzo.Code.Relation.Nullary.Negation
          Submodules

          •  MAlonzo.Code.Relation.Nullary.Negation.Core
        •  MAlonzo.Code.Relation.Nullary.Reflects
      • Unary
        Submodules

        •  MAlonzo.Code.Relation.Unary.Properties
    •  MAlonzo.Code.Scoped
      Submodules

      •  MAlonzo.Code.Scoped.Extrication
    • Text
      Submodules

      •  MAlonzo.Code.Text.Format
        Submodules

        •  MAlonzo.Code.Text.Format.Generic
      •  MAlonzo.Code.Text.Printf
        Submodules

        •  MAlonzo.Code.Text.Printf.Generic
    •  MAlonzo.Code.Type
      Submodules

      •  MAlonzo.Code.Type.BetaNBE
        Submodules

        •  MAlonzo.Code.Type.BetaNBE.Completeness
        •  MAlonzo.Code.Type.BetaNBE.RenamingSubstitution
        •  MAlonzo.Code.Type.BetaNBE.Soundness
      •  MAlonzo.Code.Type.BetaNormal
      •  MAlonzo.Code.Type.Equality
      •  MAlonzo.Code.Type.RenamingSubstitution
    •  MAlonzo.Code.Untyped
      Submodules

      •  MAlonzo.Code.Untyped.CEK
      •  MAlonzo.Code.Untyped.CEKWithCost
      •  MAlonzo.Code.Untyped.Equality
      •  MAlonzo.Code.Untyped.Purity
      •  MAlonzo.Code.Untyped.Reduction
      •  MAlonzo.Code.Untyped.RenamingSubstitution
    •  MAlonzo.Code.Utils
      Submodules

      •  MAlonzo.Code.Utils.Decidable
      •  MAlonzo.Code.Utils.List
      •  MAlonzo.Code.Utils.Reflection
    •  MAlonzo.Code.VerifiedCompilation
      Submodules

      •  MAlonzo.Code.VerifiedCompilation.Certificate
      •  MAlonzo.Code.VerifiedCompilation.NotImplemented
      •  MAlonzo.Code.VerifiedCompilation.Trace
      •  MAlonzo.Code.VerifiedCompilation.UApplyToCase
      •  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
  •  MAlonzo.RTE
    Submodules

    •  MAlonzo.RTE.Float
•  Paths_plutus_metatheory
•  Raw