Zafu/Benchmark/Game/FannkuchRedux

source code:

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

public dependencies: Bosatsu/Prog

Index

• Types: FannkuchResult
• Values: first_permutations, flip_count, flip_score, main, render_output, rotate_prefix_left, run_kernel

Types

FannkuchResult

type FannkuchResult

Constructors

• FannkuchResult(checksum: Int, max_flips: Int)

Values

first_permutations

references: Int, List

def first_permutations(n: Int, limit: Int) -> List[List[Int]]

flip_count

references: Int, List

def flip_count(values: List[Int]) -> Int

flip_score

references: Int, List

def flip_score(values: List[Int]) -> Int

main

references: Bosatsu/Prog::Main

main: Bosatsu/Prog::Main

render_output

references: Int, String

def render_output(n: Int) -> String

rotate_prefix_left

references: Int, List

def rotate_prefix_left(values: List[Int], last_idx: Int) -> List[Int]

run_kernel

references: FannkuchResult, Int

def run_kernel(n: Int) -> FannkuchResult