Documentation

alwaysSucceedsNoDatum ∷ BuiltinData → BuiltinUnit Source #

alwaysSucceedsWithDatum ∷ BuiltinData → BuiltinUnit Source #

alwaysFailsNoDatum ∷ BuiltinData → BuiltinUnit Source #

alwaysFailsWithDatum ∷ BuiltinData → BuiltinUnit Source #

redeemerSameAsDatum ∷ BuiltinData → BuiltinUnit Source #

evenDatum ∷ BuiltinData → BuiltinUnit Source #

evenRedeemerNoDatum ∷ BuiltinData → BuiltinUnit Source #

evenRedeemerWithDatum ∷ BuiltinData → BuiltinUnit Source #

purposeIsWellformedNoDatum ∷ BuiltinData → BuiltinUnit Source #

purposeIsWellformedWithDatum ∷ BuiltinData → BuiltinUnit Source #

datumIsWellformed ∷ BuiltinData → BuiltinUnit Source #

inputsOutputsAreNotEmptyNoDatum ∷ BuiltinData → BuiltinUnit Source #

inputsOutputsAreNotEmptyWithDatum ∷ BuiltinData → BuiltinUnit Source #

inputsOverlapsWithRefInputs ∷ BuiltinData → BuiltinUnit Source #

ensureTreasuryReserve ∷ BuiltinData → BuiltinUnit Source #

alwaysSucceedsNoDatumBytes ∷ (Q [Dec], PlutusBinary) Source #

alwaysSucceedsWithDatumBytes ∷ (Q [Dec], PlutusBinary) Source #

alwaysFailsNoDatumBytes ∷ (Q [Dec], PlutusBinary) Source #

alwaysFailsWithDatumBytes ∷ (Q [Dec], PlutusBinary) Source #

redeemerSameAsDatumBytes ∷ (Q [Dec], PlutusBinary) Source #

evenDatumBytes ∷ (Q [Dec], PlutusBinary) Source #

evenRedeemerNoDatumBytes ∷ (Q [Dec], PlutusBinary) Source #

evenRedeemerWithDatumBytes ∷ (Q [Dec], PlutusBinary) Source #

purposeIsWellformedNoDatumBytes ∷ (Q [Dec], PlutusBinary) Source #

purposeIsWellformedWithDatumBytes ∷ (Q [Dec], PlutusBinary) Source #

datumIsWellformedBytes ∷ (Q [Dec], PlutusBinary) Source #

inputsOutputsAreNotEmptyNoDatumBytes ∷ (Q [Dec], PlutusBinary) Source #

inputsOutputsAreNotEmptyWithDatumBytes ∷ (Q [Dec], PlutusBinary) Source #

inputsOverlapsWithRefInputsBytes ∷ (Q [Dec], PlutusBinary) Source #

ensureTreasuryReserveBytes ∷ (Q [Dec], PlutusBinary) Source #