plutus-example-1.33.0
Safe HaskellNone
LanguageHaskell2010

PlutusExample.Sum

Synopsis

Documentation

validateSum :: Integer -> Integer -> x -> Bool Source #

The validation function (DataValue -> RedeemerValue -> ScriptContext -> Bool)

data SmartSum Source #

Instances

Instances details
ValidatorTypes SmartSum Source # 
Instance details

Defined in PlutusExample.Sum

type DatumType SmartSum Source # 
Instance details

Defined in PlutusExample.Sum

type RedeemerType SmartSum Source # 
Instance details

Defined in PlutusExample.Sum