Anoma Developer Documentation
  • Overview
  • Build
    • Getting Started
    • Your First Anoma App
      • Define a Resource
      • Write a Transaction Function
      • Write a Projection Function
      • Run your App
    • Anoma App Examples
  • LEARN
    • Overview
    • State Model
      • Model Comparison
    • Resource Machine
      • Information Flow Control
    • Resources
      • State
      • Logic
      • Kind
      • Lifecycle
    • Transactions
      • Delta
      • Actions
      • Balanced Transactions
      • Intents
    • Applications
      • Backend
      • Interface
    • Services
      • Indexing
      • Solving
Powered by GitBook
On this page
  1. LEARN
  2. Resources

Kind

PreviousLogicNextLifecycle

Last updated 2 months ago

Resources are of specific kind. An apple resource šŸ is different from a banana resource šŸŒ. The resource kind determines the resource fungibility and is computed as the hash of its and .

kind:=hkind(logic, label)\texttt{kind} := h_\texttt{kind}(\texttt{logic},\,\texttt{label})kind:=hkind​(logic,label)

The kind is used to check if transactions are and is a requirement by the for a transaction to be executable.

logic
balanced
resource machine
label