Zafu/Benchmark/Game/BinaryTrees

source code:

• src/Zafu/Benchmark/Game/BinaryTrees.bosatsu

public dependencies: Bosatsu/Prog

Index

• Types: BinaryTree, BinaryTreesReport, DepthCheck
• Values: benchmark_report, build_tree, item_check, main, min_depth, render_report, report_lines

Types

BinaryTree

type BinaryTree

Constructors

• BinaryTree(left: Option[BinaryTree], right: Option[BinaryTree])

BinaryTreesReport

type BinaryTreesReport

Constructors

• BinaryTreesReport( stretch_depth: Int, stretch_check: Int, depth_checks: List[DepthCheck], long_lived_depth: Int, long_lived_check: Int )

DepthCheck

type DepthCheck

Constructors

• DepthCheck(depth: Int, iterations: Int, check: Int)

Values

benchmark_report

references: BinaryTreesReport, Int

def benchmark_report(n: Int) -> BinaryTreesReport

build_tree

references: BinaryTree, Int

def build_tree(depth: Int) -> BinaryTree

item_check

references: BinaryTree, Int

def item_check(tree: BinaryTree) -> Int

main

references: Bosatsu/Prog::Main

main: Bosatsu/Prog::Main

min_depth

references: Int

min_depth: Int

render_report

references: Int, String

def render_report(n: Int) -> String

report_lines

references: BinaryTreesReport, List, String

def report_lines(report: BinaryTreesReport) -> List[String]