Bosatsu/Testing/Properties

public dependencies: Bosatsu/Rand

Index

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

Types

Prop

type Prop

Values

forall_Prop

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

run_Prop

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

suite_Prop

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