Skip to main content

InvariantHandler

oasis_runtime_sdk::module

Trait 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.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so 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 InvariantHandler for oasis_runtime_sdk::modules::rewards::Module

Source§

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

Source§

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

Source§

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

Source§

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