prop_check_rs

Module prop

Source

Structs§

  • Prop
    Represents the property.
    プロパティを表す。

Enums§

  • PropResult
    Represents the result of the property.
    プロパティの結果を表す.

Traits§

  • IsFalsified
    The trait to return the failure of the property.
    プロパティの失敗を返すためのトレイト.

Functions§

  • for_all_gen
    Returns a Prop that executes a function to evaluate properties using Gen.
    Genを利用してプロパティを評価するため関数を実行するPropを返す
  • for_all_gen_for_size
    Returns a Prop that executes a function to evaluate properties using Gen with size.
    サイズを与えたGenを利用してプロパティを評価するため関数を実行するPropを返す。
  • for_all_sgen
    Returns a Prop that executes a function to evaluate properties using SGen.
    SGenを利用してプロパティを評価するため関数を実行するPropを返す。
  • run_with_prop
    Execute the Prop.
  • test_with_prop
    Execute the Prop.

Type Aliases§