Bosatsu/Testing/Properties

source code: - test_workspace/Properties.bosatsu

public dependencies: Bosatsu/Rand

Index

• Types: Prop
• Values: forall_Prop, run_Prop, suite_Prop

Types

Prop

type Prop

Values

forall_Prop

references: Bosatsu/Rand::Rand, Prop, String, Test

def forall_Prop[a](rand: Bosatsu/Rand::Rand[a], name: String, fn: a -> Test) -> Prop

run_Prop

references: Int, Prop, Test

def run_Prop(prop: Prop, trials: Int, seed: Int) -> Test

suite_Prop

references: List, Prop, String

def suite_Prop(name: String, props: List[Prop]) -> Prop