Struct prop_check_rs::state::State

pub struct State<S, A> { /* private fields */ }

Implementations

impl<S, A> State<S, A>where S: 'static, A: Clone + 'static,

pub fn value(a: A) -> State<S, A>

pub fn new<T, B, F>(f: F) -> State<T, B>where F: Fn(T) -> (B, T) + 'static,

pub fn pure<B>(b: B) -> State<S, B>where B: Clone + 'static,

pub fn run(self, s: S) -> (A, S)

pub fn map<B, F>(self, f: F) -> State<S, B>where F: Fn(A) -> B + 'static, B: Clone + 'static,

pub fn and_then<B>(self, sb: State<S, B>) -> State<S, (A, B)>where A: Clone, B: Clone + 'static,

pub fn flat_map<B, F>(self, f: F) -> State<S, B>where F: Fn(A) -> State<S, B> + 'static, B: Clone + 'static,

pub fn modify<T, F>(f: F) -> State<T, ()>where F: Fn(T) -> T + 'static, T: Clone + 'static,

pub fn get<T>() -> State<T, T>where T: Clone,

pub fn set<T>(t: T) -> State<T, ()>where T: Clone + 'static,

pub fn sequence(sas: Vec<State<S, A>>) -> State<S, Vec<A>>

Trait Implementations

impl<S, A> Clone for State<S, A>where S: 'static, A: Clone + 'static,

fn clone(&self) -> Self

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<S, A> Debug for State<S, A>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<S, A> Default for State<S, A>where S: Default + 'static, A: Default + Clone + 'static,

fn default() -> Self

Returns the “default value” for a type.