Struct State

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

The State monad represents a stateful computation.
Stateモナドは状態付き計算を表します。

Implementations

impl<S, A> State<S, A>

where S: 'static, A: Clone + 'static,

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

Create a new State with a value.
値を返すStateを作成します。

pub fn new<T, B, F>(f: F) -> State<T, B>

where F: Fn(T) -> (B, T) + 'static,

Create a new State.
新しいStateを作成します。

pub fn pure<B>(b: B) -> State<S, B>

where B: Clone + 'static,

Alias for Self::value.
Self::valueのエイリアス。

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

Run the State.
Stateを実行します。

pub fn map<B, F>(self, f: F) -> State<S, B>

where F: Fn(A) -> B + 'static, B: Clone + 'static,

Map the State.
Stateをマップします。

pub fn flat_map<B, F>(self, f: F) -> State<S, B>

where F: Fn(A) -> State<S, B> + 'static, B: Clone + 'static,

FlatMap the State.
Stateをフラットマップします。

pub fn and_then<B>(self, sb: State<S, B>) -> State<S, (A, B)>

where A: Clone, B: Clone + 'static,

Compose two States.
2つのStateを合成します。

pub fn get<T>() -> State<T, T>

where T: Clone,

Get the state.
状態を取得します。

pub fn set<T>(t: T) -> State<T, ()>

where T: Clone + 'static,

Set the state.
状態を設定します。

pub fn modify<T, F>(f: F) -> State<T, ()>

where F: Fn(T) -> T + 'static, T: Clone + 'static,

Modify the state after get it.
状態を取得した後に変更します。

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

Execute the State and return a State with the result in the collection.
Stateを実行し結果をコレクションに持つStateを返します。

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.