State

pub trait State<'a> {
    type Label: Field;
    type Contents: Field;
    type Usage: Field;
}

Required Associated Types§

Implementors§

Source§

impl<'a> State<'a> for Empty

Source§

impl<'a, CS: State<'a>> State<'a> for SetContents<CS>

Source§

type Label = <CS as State<'a>>::Label

Source§

type Contents = ContentsValue<'a>

Source§

type Usage = <CS as State<'a>>::Usage

Source§

impl<'a, CS: State<'a>> State<'a> for SetLabel<CS>

Source§

type Label = LabelValue<'a>

Source§

type Contents = <CS as State<'a>>::Contents

Source§

type Usage = <CS as State<'a>>::Usage

Source§

impl<'a, CS: State<'a>> State<'a> for SetUsage<CS>

Source§

type Label = <CS as State<'a>>::Label

Source§

type Contents = <CS as State<'a>>::Contents

Source§

type Usage = UsageValue