delta.juvix

module delta;

import Stdlib.Prelude open;
import Stdlib.Debug.Trace open;
import ResourceMachine open;
import Encode open;
import ByteArray open;

main : Delta :=
  let
    resource : Resource :=
      Resource.mk@{
        label := Label.mk 11;
        logic := Encoded.encode (Logic.mk \{_ := true});
        value := AnomaAtom.fromNat 0;
        nullifierKeyCommitment := NullifierKeyCommitment.zero;
        ephemeral := true;
        quantity := 55;
        nonce := Nonce.fromNat 0;
        unusedRandSeed := 0;
      };
    action : Action :=
      Action.create@{
        consumed := [];
        created := [];
        appData := AppData.empty;
      };
    resCommitment : Commitment := commitment resource;
    resNullifier : Nullifier := Resource.Transparent.nullifier resource;
  in -- Most of these call return large nouns that are not appropritate for testing.
      -- This test checks that these functions do not crash.
      kind
      resource
    >-> addDelta (Action.delta action) (Action.delta action)
    >-> trace (subDelta zeroDelta zeroDelta)
    >-> trace (addDelta zeroDelta zeroDelta)
    >-> trace (Action.delta action)
    >-> Action.listDelta [action];