Trait oasis_runtime_sdk::module::InvariantHandler

source · 
pub trait InvariantHandler {
    // Provided method
    fn check_invariants<C: Context>(_ctx: &C) -> Result<(), Error> { ... }
}
Expand description

Invariant handler.

Provided Methods§

source

fn check_invariants<C: Context>(_ctx: &C) -> Result<(), Error>

Check invariants.

Object Safety§

This trait is not object safe.

Implementations on Foreign Types§

source§

impl InvariantHandler for ()

source§

fn check_invariants<C: Context>(ctx: &C) -> Result<(), Error>

Check the invariants in all modules in the tuple.

source§

impl<TupleElement0: InvariantHandler> InvariantHandler for (TupleElement0,)

source§

fn check_invariants<C: Context>(ctx: &C) -> Result<(), Error>

Check the invariants in all modules in the tuple.

source§

impl<TupleElement0: InvariantHandler, TupleElement1: InvariantHandler> InvariantHandler for (TupleElement0, TupleElement1)

source§

fn check_invariants<C: Context>(ctx: &C) -> Result<(), Error>

Check the invariants in all modules in the tuple.

source§

impl<TupleElement0: InvariantHandler, TupleElement1: InvariantHandler, TupleElement2: InvariantHandler> InvariantHandler for (TupleElement0, TupleElement1, TupleElement2)

source§

fn check_invariants<C: Context>(ctx: &C) -> Result<(), Error>

Check the invariants in all modules in the tuple.

source§

impl<TupleElement0: InvariantHandler, TupleElement1: InvariantHandler, TupleElement2: InvariantHandler, TupleElement3: InvariantHandler> InvariantHandler for (TupleElement0, TupleElement1, TupleElement2, TupleElement3)

source§

fn check_invariants<C: Context>(ctx: &C) -> Result<(), Error>

Check the invariants in all modules in the tuple.

source§

impl<TupleElement0: InvariantHandler, TupleElement1: InvariantHandler, TupleElement2: InvariantHandler, TupleElement3: InvariantHandler, TupleElement4: InvariantHandler> InvariantHandler for (TupleElement0, TupleElement1, TupleElement2, TupleElement3, TupleElement4)

source§

fn check_invariants<C: Context>(ctx: &C) -> Result<(), Error>

Check the invariants in all modules in the tuple.

source§

impl<TupleElement0: InvariantHandler, TupleElement1: InvariantHandler, TupleElement2: InvariantHandler, TupleElement3: InvariantHandler, TupleElement4: InvariantHandler, TupleElement5: InvariantHandler> InvariantHandler for (TupleElement0, TupleElement1, TupleElement2, TupleElement3, TupleElement4, TupleElement5)

source§

fn check_invariants<C: Context>(ctx: &C) -> Result<(), Error>

Check the invariants in all modules in the tuple.

source§

impl<TupleElement0: InvariantHandler, TupleElement1: InvariantHandler, TupleElement2: InvariantHandler, TupleElement3: InvariantHandler, TupleElement4: InvariantHandler, TupleElement5: InvariantHandler, TupleElement6: InvariantHandler> InvariantHandler for (TupleElement0, TupleElement1, TupleElement2, TupleElement3, TupleElement4, TupleElement5, TupleElement6)

source§

fn check_invariants<C: Context>(ctx: &C) -> Result<(), Error>

Check the invariants in all modules in the tuple.

source§

impl<TupleElement0: InvariantHandler, TupleElement1: InvariantHandler, TupleElement2: InvariantHandler, TupleElement3: InvariantHandler, TupleElement4: InvariantHandler, TupleElement5: InvariantHandler, TupleElement6: InvariantHandler, TupleElement7: InvariantHandler> InvariantHandler for (TupleElement0, TupleElement1, TupleElement2, TupleElement3, TupleElement4, TupleElement5, TupleElement6, TupleElement7)

source§

fn check_invariants<C: Context>(ctx: &C) -> Result<(), Error>

Check the invariants in all modules in the tuple.

source§

impl<TupleElement0: InvariantHandler, TupleElement1: InvariantHandler, TupleElement2: InvariantHandler, TupleElement3: InvariantHandler, TupleElement4: InvariantHandler, TupleElement5: InvariantHandler, TupleElement6: InvariantHandler, TupleElement7: InvariantHandler, TupleElement8: InvariantHandler> InvariantHandler for (TupleElement0, TupleElement1, TupleElement2, TupleElement3, TupleElement4, TupleElement5, TupleElement6, TupleElement7, TupleElement8)

source§

fn check_invariants<C: Context>(ctx: &C) -> Result<(), Error>

Check the invariants in all modules in the tuple.

source§

impl<TupleElement0: InvariantHandler, TupleElement1: InvariantHandler, TupleElement2: InvariantHandler, TupleElement3: InvariantHandler, TupleElement4: InvariantHandler, TupleElement5: InvariantHandler, TupleElement6: InvariantHandler, TupleElement7: InvariantHandler, TupleElement8: InvariantHandler, TupleElement9: InvariantHandler> InvariantHandler for (TupleElement0, TupleElement1, TupleElement2, TupleElement3, TupleElement4, TupleElement5, TupleElement6, TupleElement7, TupleElement8, TupleElement9)

source§

fn check_invariants<C: Context>(ctx: &C) -> Result<(), Error>

Check the invariants in all modules in the tuple.

source§

impl<TupleElement0: InvariantHandler, TupleElement1: InvariantHandler, TupleElement2: InvariantHandler, TupleElement3: InvariantHandler, TupleElement4: InvariantHandler, TupleElement5: InvariantHandler, TupleElement6: InvariantHandler, TupleElement7: InvariantHandler, TupleElement8: InvariantHandler, TupleElement9: InvariantHandler, TupleElement10: InvariantHandler> InvariantHandler for (TupleElement0, TupleElement1, TupleElement2, TupleElement3, TupleElement4, TupleElement5, TupleElement6, TupleElement7, TupleElement8, TupleElement9, TupleElement10)

source§

fn check_invariants<C: Context>(ctx: &C) -> Result<(), Error>

Check the invariants in all modules in the tuple.

source§

impl<TupleElement0: InvariantHandler, TupleElement1: InvariantHandler, TupleElement2: InvariantHandler, TupleElement3: InvariantHandler, TupleElement4: InvariantHandler, TupleElement5: InvariantHandler, TupleElement6: InvariantHandler, TupleElement7: InvariantHandler, TupleElement8: InvariantHandler, TupleElement9: InvariantHandler, TupleElement10: InvariantHandler, TupleElement11: InvariantHandler> InvariantHandler for (TupleElement0, TupleElement1, TupleElement2, TupleElement3, TupleElement4, TupleElement5, TupleElement6, TupleElement7, TupleElement8, TupleElement9, TupleElement10, TupleElement11)

source§

fn check_invariants<C: Context>(ctx: &C) -> Result<(), Error>

Check the invariants in all modules in the tuple.

source§

impl<TupleElement0: InvariantHandler, TupleElement1: InvariantHandler, TupleElement2: InvariantHandler, TupleElement3: InvariantHandler, TupleElement4: InvariantHandler, TupleElement5: InvariantHandler, TupleElement6: InvariantHandler, TupleElement7: InvariantHandler, TupleElement8: InvariantHandler, TupleElement9: InvariantHandler, TupleElement10: InvariantHandler, TupleElement11: InvariantHandler, TupleElement12: InvariantHandler> InvariantHandler for (TupleElement0, TupleElement1, TupleElement2, TupleElement3, TupleElement4, TupleElement5, TupleElement6, TupleElement7, TupleElement8, TupleElement9, TupleElement10, TupleElement11, TupleElement12)

source§

fn check_invariants<C: Context>(ctx: &C) -> Result<(), Error>

Check the invariants in all modules in the tuple.

source§

impl<TupleElement0: InvariantHandler, TupleElement1: InvariantHandler, TupleElement2: InvariantHandler, TupleElement3: InvariantHandler, TupleElement4: InvariantHandler, TupleElement5: InvariantHandler, TupleElement6: InvariantHandler, TupleElement7: InvariantHandler, TupleElement8: InvariantHandler, TupleElement9: InvariantHandler, TupleElement10: InvariantHandler, TupleElement11: InvariantHandler, TupleElement12: InvariantHandler, TupleElement13: InvariantHandler> InvariantHandler for (TupleElement0, TupleElement1, TupleElement2, TupleElement3, TupleElement4, TupleElement5, TupleElement6, TupleElement7, TupleElement8, TupleElement9, TupleElement10, TupleElement11, TupleElement12, TupleElement13)

source§

fn check_invariants<C: Context>(ctx: &C) -> Result<(), Error>

Check the invariants in all modules in the tuple.

source§

impl<TupleElement0: InvariantHandler, TupleElement1: InvariantHandler, TupleElement2: InvariantHandler, TupleElement3: InvariantHandler, TupleElement4: InvariantHandler, TupleElement5: InvariantHandler, TupleElement6: InvariantHandler, TupleElement7: InvariantHandler, TupleElement8: InvariantHandler, TupleElement9: InvariantHandler, TupleElement10: InvariantHandler, TupleElement11: InvariantHandler, TupleElement12: InvariantHandler, TupleElement13: InvariantHandler, TupleElement14: InvariantHandler> InvariantHandler for (TupleElement0, TupleElement1, TupleElement2, TupleElement3, TupleElement4, TupleElement5, TupleElement6, TupleElement7, TupleElement8, TupleElement9, TupleElement10, TupleElement11, TupleElement12, TupleElement13, TupleElement14)

source§

fn check_invariants<C: Context>(ctx: &C) -> Result<(), Error>

Check the invariants in all modules in the tuple.

source§

impl<TupleElement0: InvariantHandler, TupleElement1: InvariantHandler, TupleElement2: InvariantHandler, TupleElement3: InvariantHandler, TupleElement4: InvariantHandler, TupleElement5: InvariantHandler, TupleElement6: InvariantHandler, TupleElement7: InvariantHandler, TupleElement8: InvariantHandler, TupleElement9: InvariantHandler, TupleElement10: InvariantHandler, TupleElement11: InvariantHandler, TupleElement12: InvariantHandler, TupleElement13: InvariantHandler, TupleElement14: InvariantHandler, TupleElement15: InvariantHandler> InvariantHandler for (TupleElement0, TupleElement1, TupleElement2, TupleElement3, TupleElement4, TupleElement5, TupleElement6, TupleElement7, TupleElement8, TupleElement9, TupleElement10, TupleElement11, TupleElement12, TupleElement13, TupleElement14, TupleElement15)

source§

fn check_invariants<C: Context>(ctx: &C) -> Result<(), Error>

Check the invariants in all modules in the tuple.

source§

impl<TupleElement0: InvariantHandler, TupleElement1: InvariantHandler, TupleElement2: InvariantHandler, TupleElement3: InvariantHandler, TupleElement4: InvariantHandler, TupleElement5: InvariantHandler, TupleElement6: InvariantHandler, TupleElement7: InvariantHandler, TupleElement8: InvariantHandler, TupleElement9: InvariantHandler, TupleElement10: InvariantHandler, TupleElement11: InvariantHandler, TupleElement12: InvariantHandler, TupleElement13: InvariantHandler, TupleElement14: InvariantHandler, TupleElement15: InvariantHandler, TupleElement16: InvariantHandler> InvariantHandler for (TupleElement0, TupleElement1, TupleElement2, TupleElement3, TupleElement4, TupleElement5, TupleElement6, TupleElement7, TupleElement8, TupleElement9, TupleElement10, TupleElement11, TupleElement12, TupleElement13, TupleElement14, TupleElement15, TupleElement16)

source§

fn check_invariants<C: Context>(ctx: &C) -> Result<(), Error>

Check the invariants in all modules in the tuple.

source§

impl<TupleElement0: InvariantHandler, TupleElement1: InvariantHandler, TupleElement2: InvariantHandler, TupleElement3: InvariantHandler, TupleElement4: InvariantHandler, TupleElement5: InvariantHandler, TupleElement6: InvariantHandler, TupleElement7: InvariantHandler, TupleElement8: InvariantHandler, TupleElement9: InvariantHandler, TupleElement10: InvariantHandler, TupleElement11: InvariantHandler, TupleElement12: InvariantHandler, TupleElement13: InvariantHandler, TupleElement14: InvariantHandler, TupleElement15: InvariantHandler, TupleElement16: InvariantHandler, TupleElement17: InvariantHandler> InvariantHandler for (TupleElement0, TupleElement1, TupleElement2, TupleElement3, TupleElement4, TupleElement5, TupleElement6, TupleElement7, TupleElement8, TupleElement9, TupleElement10, TupleElement11, TupleElement12, TupleElement13, TupleElement14, TupleElement15, TupleElement16, TupleElement17)

source§

fn check_invariants<C: Context>(ctx: &C) -> Result<(), Error>

Check the invariants in all modules in the tuple.

source§

impl<TupleElement0: InvariantHandler, TupleElement1: InvariantHandler, TupleElement2: InvariantHandler, TupleElement3: InvariantHandler, TupleElement4: InvariantHandler, TupleElement5: InvariantHandler, TupleElement6: InvariantHandler, TupleElement7: InvariantHandler, TupleElement8: InvariantHandler, TupleElement9: InvariantHandler, TupleElement10: InvariantHandler, TupleElement11: InvariantHandler, TupleElement12: InvariantHandler, TupleElement13: InvariantHandler, TupleElement14: InvariantHandler, TupleElement15: InvariantHandler, TupleElement16: InvariantHandler, TupleElement17: InvariantHandler, TupleElement18: InvariantHandler> InvariantHandler for (TupleElement0, TupleElement1, TupleElement2, TupleElement3, TupleElement4, TupleElement5, TupleElement6, TupleElement7, TupleElement8, TupleElement9, TupleElement10, TupleElement11, TupleElement12, TupleElement13, TupleElement14, TupleElement15, TupleElement16, TupleElement17, TupleElement18)

source§

fn check_invariants<C: Context>(ctx: &C) -> Result<(), Error>

Check the invariants in all modules in the tuple.

source§

impl<TupleElement0: InvariantHandler, TupleElement1: InvariantHandler, TupleElement2: InvariantHandler, TupleElement3: InvariantHandler, TupleElement4: InvariantHandler, TupleElement5: InvariantHandler, TupleElement6: InvariantHandler, TupleElement7: InvariantHandler, TupleElement8: InvariantHandler, TupleElement9: InvariantHandler, TupleElement10: InvariantHandler, TupleElement11: InvariantHandler, TupleElement12: InvariantHandler, TupleElement13: InvariantHandler, TupleElement14: InvariantHandler, TupleElement15: InvariantHandler, TupleElement16: InvariantHandler, TupleElement17: InvariantHandler, TupleElement18: InvariantHandler, TupleElement19: InvariantHandler> InvariantHandler for (TupleElement0, TupleElement1, TupleElement2, TupleElement3, TupleElement4, TupleElement5, TupleElement6, TupleElement7, TupleElement8, TupleElement9, TupleElement10, TupleElement11, TupleElement12, TupleElement13, TupleElement14, TupleElement15, TupleElement16, TupleElement17, TupleElement18, TupleElement19)

source§

fn check_invariants<C: Context>(ctx: &C) -> Result<(), Error>

Check the invariants in all modules in the tuple.

source§

impl<TupleElement0: InvariantHandler, TupleElement1: InvariantHandler, TupleElement2: InvariantHandler, TupleElement3: InvariantHandler, TupleElement4: InvariantHandler, TupleElement5: InvariantHandler, TupleElement6: InvariantHandler, TupleElement7: InvariantHandler, TupleElement8: InvariantHandler, TupleElement9: InvariantHandler, TupleElement10: InvariantHandler, TupleElement11: InvariantHandler, TupleElement12: InvariantHandler, TupleElement13: InvariantHandler, TupleElement14: InvariantHandler, TupleElement15: InvariantHandler, TupleElement16: InvariantHandler, TupleElement17: InvariantHandler, TupleElement18: InvariantHandler, TupleElement19: InvariantHandler, TupleElement20: InvariantHandler> InvariantHandler for (TupleElement0, TupleElement1, TupleElement2, TupleElement3, TupleElement4, TupleElement5, TupleElement6, TupleElement7, TupleElement8, TupleElement9, TupleElement10, TupleElement11, TupleElement12, TupleElement13, TupleElement14, TupleElement15, TupleElement16, TupleElement17, TupleElement18, TupleElement19, TupleElement20)

source§

fn check_invariants<C: Context>(ctx: &C) -> Result<(), Error>

Check the invariants in all modules in the tuple.

source§

impl<TupleElement0: InvariantHandler, TupleElement1: InvariantHandler, TupleElement2: InvariantHandler, TupleElement3: InvariantHandler, TupleElement4: InvariantHandler, TupleElement5: InvariantHandler, TupleElement6: InvariantHandler, TupleElement7: InvariantHandler, TupleElement8: InvariantHandler, TupleElement9: InvariantHandler, TupleElement10: InvariantHandler, TupleElement11: InvariantHandler, TupleElement12: InvariantHandler, TupleElement13: InvariantHandler, TupleElement14: InvariantHandler, TupleElement15: InvariantHandler, TupleElement16: InvariantHandler, TupleElement17: InvariantHandler, TupleElement18: InvariantHandler, TupleElement19: InvariantHandler, TupleElement20: InvariantHandler, TupleElement21: InvariantHandler> InvariantHandler for (TupleElement0, TupleElement1, TupleElement2, TupleElement3, TupleElement4, TupleElement5, TupleElement6, TupleElement7, TupleElement8, TupleElement9, TupleElement10, TupleElement11, TupleElement12, TupleElement13, TupleElement14, TupleElement15, TupleElement16, TupleElement17, TupleElement18, TupleElement19, TupleElement20, TupleElement21)

source§

fn check_invariants<C: Context>(ctx: &C) -> Result<(), Error>

Check the invariants in all modules in the tuple.

source§

impl<TupleElement0: InvariantHandler, TupleElement1: InvariantHandler, TupleElement2: InvariantHandler, TupleElement3: InvariantHandler, TupleElement4: InvariantHandler, TupleElement5: InvariantHandler, TupleElement6: InvariantHandler, TupleElement7: InvariantHandler, TupleElement8: InvariantHandler, TupleElement9: InvariantHandler, TupleElement10: InvariantHandler, TupleElement11: InvariantHandler, TupleElement12: InvariantHandler, TupleElement13: InvariantHandler, TupleElement14: InvariantHandler, TupleElement15: InvariantHandler, TupleElement16: InvariantHandler, TupleElement17: InvariantHandler, TupleElement18: InvariantHandler, TupleElement19: InvariantHandler, TupleElement20: InvariantHandler, TupleElement21: InvariantHandler, TupleElement22: InvariantHandler> InvariantHandler for (TupleElement0, TupleElement1, TupleElement2, TupleElement3, TupleElement4, TupleElement5, TupleElement6, TupleElement7, TupleElement8, TupleElement9, TupleElement10, TupleElement11, TupleElement12, TupleElement13, TupleElement14, TupleElement15, TupleElement16, TupleElement17, TupleElement18, TupleElement19, TupleElement20, TupleElement21, TupleElement22)

source§

fn check_invariants<C: Context>(ctx: &C) -> Result<(), Error>

Check the invariants in all modules in the tuple.

source§

impl<TupleElement0: InvariantHandler, TupleElement1: InvariantHandler, TupleElement2: InvariantHandler, TupleElement3: InvariantHandler, TupleElement4: InvariantHandler, TupleElement5: InvariantHandler, TupleElement6: InvariantHandler, TupleElement7: InvariantHandler, TupleElement8: InvariantHandler, TupleElement9: InvariantHandler, TupleElement10: InvariantHandler, TupleElement11: InvariantHandler, TupleElement12: InvariantHandler, TupleElement13: InvariantHandler, TupleElement14: InvariantHandler, TupleElement15: InvariantHandler, TupleElement16: InvariantHandler, TupleElement17: InvariantHandler, TupleElement18: InvariantHandler, TupleElement19: InvariantHandler, TupleElement20: InvariantHandler, TupleElement21: InvariantHandler, TupleElement22: InvariantHandler, TupleElement23: InvariantHandler> InvariantHandler for (TupleElement0, TupleElement1, TupleElement2, TupleElement3, TupleElement4, TupleElement5, TupleElement6, TupleElement7, TupleElement8, TupleElement9, TupleElement10, TupleElement11, TupleElement12, TupleElement13, TupleElement14, TupleElement15, TupleElement16, TupleElement17, TupleElement18, TupleElement19, TupleElement20, TupleElement21, TupleElement22, TupleElement23)

source§

fn check_invariants<C: Context>(ctx: &C) -> Result<(), Error>

Check the invariants in all modules in the tuple.

source§

impl<TupleElement0: InvariantHandler, TupleElement1: InvariantHandler, TupleElement2: InvariantHandler, TupleElement3: InvariantHandler, TupleElement4: InvariantHandler, TupleElement5: InvariantHandler, TupleElement6: InvariantHandler, TupleElement7: InvariantHandler, TupleElement8: InvariantHandler, TupleElement9: InvariantHandler, TupleElement10: InvariantHandler, TupleElement11: InvariantHandler, TupleElement12: InvariantHandler, TupleElement13: InvariantHandler, TupleElement14: InvariantHandler, TupleElement15: InvariantHandler, TupleElement16: InvariantHandler, TupleElement17: InvariantHandler, TupleElement18: InvariantHandler, TupleElement19: InvariantHandler, TupleElement20: InvariantHandler, TupleElement21: InvariantHandler, TupleElement22: InvariantHandler, TupleElement23: InvariantHandler, TupleElement24: InvariantHandler> InvariantHandler for (TupleElement0, TupleElement1, TupleElement2, TupleElement3, TupleElement4, TupleElement5, TupleElement6, TupleElement7, TupleElement8, TupleElement9, TupleElement10, TupleElement11, TupleElement12, TupleElement13, TupleElement14, TupleElement15, TupleElement16, TupleElement17, TupleElement18, TupleElement19, TupleElement20, TupleElement21, TupleElement22, TupleElement23, TupleElement24)

source§

fn check_invariants<C: Context>(ctx: &C) -> Result<(), Error>

Check the invariants in all modules in the tuple.

source§

impl<TupleElement0: InvariantHandler, TupleElement1: InvariantHandler, TupleElement2: InvariantHandler, TupleElement3: InvariantHandler, TupleElement4: InvariantHandler, TupleElement5: InvariantHandler, TupleElement6: InvariantHandler, TupleElement7: InvariantHandler, TupleElement8: InvariantHandler, TupleElement9: InvariantHandler, TupleElement10: InvariantHandler, TupleElement11: InvariantHandler, TupleElement12: InvariantHandler, TupleElement13: InvariantHandler, TupleElement14: InvariantHandler, TupleElement15: InvariantHandler, TupleElement16: InvariantHandler, TupleElement17: InvariantHandler, TupleElement18: InvariantHandler, TupleElement19: InvariantHandler, TupleElement20: InvariantHandler, TupleElement21: InvariantHandler, TupleElement22: InvariantHandler, TupleElement23: InvariantHandler, TupleElement24: InvariantHandler, TupleElement25: InvariantHandler> InvariantHandler for (TupleElement0, TupleElement1, TupleElement2, TupleElement3, TupleElement4, TupleElement5, TupleElement6, TupleElement7, TupleElement8, TupleElement9, TupleElement10, TupleElement11, TupleElement12, TupleElement13, TupleElement14, TupleElement15, TupleElement16, TupleElement17, TupleElement18, TupleElement19, TupleElement20, TupleElement21, TupleElement22, TupleElement23, TupleElement24, TupleElement25)

source§

fn check_invariants<C: Context>(ctx: &C) -> Result<(), Error>

Check the invariants in all modules in the tuple.

source§

impl<TupleElement0: InvariantHandler, TupleElement1: InvariantHandler, TupleElement2: InvariantHandler, TupleElement3: InvariantHandler, TupleElement4: InvariantHandler, TupleElement5: InvariantHandler, TupleElement6: InvariantHandler, TupleElement7: InvariantHandler, TupleElement8: InvariantHandler, TupleElement9: InvariantHandler, TupleElement10: InvariantHandler, TupleElement11: InvariantHandler, TupleElement12: InvariantHandler, TupleElement13: InvariantHandler, TupleElement14: InvariantHandler, TupleElement15: InvariantHandler, TupleElement16: InvariantHandler, TupleElement17: InvariantHandler, TupleElement18: InvariantHandler, TupleElement19: InvariantHandler, TupleElement20: InvariantHandler, TupleElement21: InvariantHandler, TupleElement22: InvariantHandler, TupleElement23: InvariantHandler, TupleElement24: InvariantHandler, TupleElement25: InvariantHandler, TupleElement26: InvariantHandler> InvariantHandler for (TupleElement0, TupleElement1, TupleElement2, TupleElement3, TupleElement4, TupleElement5, TupleElement6, TupleElement7, TupleElement8, TupleElement9, TupleElement10, TupleElement11, TupleElement12, TupleElement13, TupleElement14, TupleElement15, TupleElement16, TupleElement17, TupleElement18, TupleElement19, TupleElement20, TupleElement21, TupleElement22, TupleElement23, TupleElement24, TupleElement25, TupleElement26)

source§

fn check_invariants<C: Context>(ctx: &C) -> Result<(), Error>

Check the invariants in all modules in the tuple.

source§

impl<TupleElement0: InvariantHandler, TupleElement1: InvariantHandler, TupleElement2: InvariantHandler, TupleElement3: InvariantHandler, TupleElement4: InvariantHandler, TupleElement5: InvariantHandler, TupleElement6: InvariantHandler, TupleElement7: InvariantHandler, TupleElement8: InvariantHandler, TupleElement9: InvariantHandler, TupleElement10: InvariantHandler, TupleElement11: InvariantHandler, TupleElement12: InvariantHandler, TupleElement13: InvariantHandler, TupleElement14: InvariantHandler, TupleElement15: InvariantHandler, TupleElement16: InvariantHandler, TupleElement17: InvariantHandler, TupleElement18: InvariantHandler, TupleElement19: InvariantHandler, TupleElement20: InvariantHandler, TupleElement21: InvariantHandler, TupleElement22: InvariantHandler, TupleElement23: InvariantHandler, TupleElement24: InvariantHandler, TupleElement25: InvariantHandler, TupleElement26: InvariantHandler, TupleElement27: InvariantHandler> InvariantHandler for (TupleElement0, TupleElement1, TupleElement2, TupleElement3, TupleElement4, TupleElement5, TupleElement6, TupleElement7, TupleElement8, TupleElement9, TupleElement10, TupleElement11, TupleElement12, TupleElement13, TupleElement14, TupleElement15, TupleElement16, TupleElement17, TupleElement18, TupleElement19, TupleElement20, TupleElement21, TupleElement22, TupleElement23, TupleElement24, TupleElement25, TupleElement26, TupleElement27)

source§

fn check_invariants<C: Context>(ctx: &C) -> Result<(), Error>

Check the invariants in all modules in the tuple.

source§

impl<TupleElement0: InvariantHandler, TupleElement1: InvariantHandler, TupleElement2: InvariantHandler, TupleElement3: InvariantHandler, TupleElement4: InvariantHandler, TupleElement5: InvariantHandler, TupleElement6: InvariantHandler, TupleElement7: InvariantHandler, TupleElement8: InvariantHandler, TupleElement9: InvariantHandler, TupleElement10: InvariantHandler, TupleElement11: InvariantHandler, TupleElement12: InvariantHandler, TupleElement13: InvariantHandler, TupleElement14: InvariantHandler, TupleElement15: InvariantHandler, TupleElement16: InvariantHandler, TupleElement17: InvariantHandler, TupleElement18: InvariantHandler, TupleElement19: InvariantHandler, TupleElement20: InvariantHandler, TupleElement21: InvariantHandler, TupleElement22: InvariantHandler, TupleElement23: InvariantHandler, TupleElement24: InvariantHandler, TupleElement25: InvariantHandler, TupleElement26: InvariantHandler, TupleElement27: InvariantHandler, TupleElement28: InvariantHandler> InvariantHandler for (TupleElement0, TupleElement1, TupleElement2, TupleElement3, TupleElement4, TupleElement5, TupleElement6, TupleElement7, TupleElement8, TupleElement9, TupleElement10, TupleElement11, TupleElement12, TupleElement13, TupleElement14, TupleElement15, TupleElement16, TupleElement17, TupleElement18, TupleElement19, TupleElement20, TupleElement21, TupleElement22, TupleElement23, TupleElement24, TupleElement25, TupleElement26, TupleElement27, TupleElement28)

source§

fn check_invariants<C: Context>(ctx: &C) -> Result<(), Error>

Check the invariants in all modules in the tuple.

source§

impl<TupleElement0: InvariantHandler, TupleElement1: InvariantHandler, TupleElement2: InvariantHandler, TupleElement3: InvariantHandler, TupleElement4: InvariantHandler, TupleElement5: InvariantHandler, TupleElement6: InvariantHandler, TupleElement7: InvariantHandler, TupleElement8: InvariantHandler, TupleElement9: InvariantHandler, TupleElement10: InvariantHandler, TupleElement11: InvariantHandler, TupleElement12: InvariantHandler, TupleElement13: InvariantHandler, TupleElement14: InvariantHandler, TupleElement15: InvariantHandler, TupleElement16: InvariantHandler, TupleElement17: InvariantHandler, TupleElement18: InvariantHandler, TupleElement19: InvariantHandler, TupleElement20: InvariantHandler, TupleElement21: InvariantHandler, TupleElement22: InvariantHandler, TupleElement23: InvariantHandler, TupleElement24: InvariantHandler, TupleElement25: InvariantHandler, TupleElement26: InvariantHandler, TupleElement27: InvariantHandler, TupleElement28: InvariantHandler, TupleElement29: InvariantHandler> InvariantHandler for (TupleElement0, TupleElement1, TupleElement2, TupleElement3, TupleElement4, TupleElement5, TupleElement6, TupleElement7, TupleElement8, TupleElement9, TupleElement10, TupleElement11, TupleElement12, TupleElement13, TupleElement14, TupleElement15, TupleElement16, TupleElement17, TupleElement18, TupleElement19, TupleElement20, TupleElement21, TupleElement22, TupleElement23, TupleElement24, TupleElement25, TupleElement26, TupleElement27, TupleElement28, TupleElement29)

source§

fn check_invariants<C: Context>(ctx: &C) -> Result<(), Error>

Check the invariants in all modules in the tuple.

Implementors§

source§

impl InvariantHandler for oasis_runtime_sdk::modules::accounts::Module

source§

impl InvariantHandler for oasis_runtime_sdk::modules::consensus::Module

source§

impl<Accounts: API> InvariantHandler for oasis_runtime_sdk::modules::rewards::Module<Accounts>

source§

impl<Accounts: API, Consensus: API> InvariantHandler for oasis_runtime_sdk::modules::consensus_accounts::Module<Accounts, Consensus>

source§

impl<Cfg: Config> InvariantHandler for oasis_runtime_sdk::modules::core::Module<Cfg>