prop_check_rs

Module state

Source

Structs§

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