Cardano.Redeemer

Redeemer

type alias Redeemer =

{ tag : RedeemerTag

, index : Int

, data : Data

, exUnits : ExUnits

}

Redeemer of a script, containing the data passed as argument to the validator.

= Spend

| Mint

| Cert

| Reward

| Vote

| Propose

Indicator of the type of validator associated with this redeemer.

type alias ExUnits =

{ mem : Int

, steps : Int

}

Cost of the script in memory and instruction steps.

type alias ExUnitPrices =

{ memPrice : RationalNumber

, stepPrice : RationalNumber

}

Represents execution unit prices.

feeCost : ExUnitPrices -> ExUnits -> Natural

Helper function to compute a give redeemer cost in fees.

decodeExUnitPrices : Decoder ExUnitPrices

Decoder for ExUnitPrices type.

encodeExUnitPrices : ExUnitPrices -> Encoder

Encoder for ExUnitPrices type.

encodeAsArray : Redeemer -> Encoder

CBOR encoder for a [Redeemer].

CBOR encoder for a [RedeemerTag].

encodeExUnits : ExUnits -> Encoder

CBOR encoder for [ExUnits].

fromCborArray : Decoder Redeemer

CBOR decoder for [Redeemer].

CBOR decoder for [Tag].

exUnitsFromCbor : Decoder ExUnits

CBOR decoder for [ExUnits].