Documentation

alwaysSucceedsNoDatum ∷ BuiltinData → BuiltinData → () Source #

alwaysSucceedsWithDatum ∷ BuiltinData → BuiltinData → BuiltinData → () Source #

alwaysFailsNoDatum ∷ BuiltinData → BuiltinData → () Source #

alwaysFailsWithDatum ∷ BuiltinData → BuiltinData → BuiltinData → () Source #

redeemerSameAsDatum ∷ BuiltinData → BuiltinData → BuiltinData → () Source #

evenDatum ∷ BuiltinData → BuiltinData → BuiltinData → () Source #

evenRedeemerNoDatum ∷ BuiltinData → BuiltinData → () Source #

evenRedeemerWithDatum ∷ BuiltinData → BuiltinData → BuiltinData → () Source #

purposeIsWellformedNoDatum ∷ BuiltinData → BuiltinData → () Source #

purposeIsWellformedWithDatum ∷ BuiltinData → BuiltinData → BuiltinData → () Source #

datumIsWellformed ∷ BuiltinData → BuiltinData → BuiltinData → () Source #

inputsOutputsAreNotEmptyNoDatum ∷ BuiltinData → BuiltinData → () Source #

inputsOutputsAreNotEmptyWithDatum ∷ BuiltinData → BuiltinData → BuiltinData → () 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 #