⌂Bosatsu Documentation
0.0.0+1-b3b809f9*
  • Bosatsu Design Philosophy and Goals
  • Design Docs
  • Getting started (new repo)
  • Writing Bosatsu in 5 minutes
  • Language Guide
  • Recursion in Bosatsu
  • Generating JSON from Bosatsu Values
  • Debugging with lib eval
  • Inspecting Compiled Output with lib show
  • Compiling to Python
  • Core Alpha API
Bosatsu Documentation
⌂Bosatsu Documentation
0.0.0+1-b3b809f9*
  • Bosatsu Design Philosophy and Goals
  • Design Docs
  • Getting started (new repo)
  • Writing Bosatsu in 5 minutes
  • Language Guide
  • Recursion in Bosatsu
  • Generating JSON from Bosatsu Values
  • Debugging with lib eval
  • Inspecting Compiled Output with lib show
  • Compiling to Python
  • Core Alpha API
  • Bosatsu Documentation
  • Core Alpha API

Core Alpha API

This section is generated from test_workspace using: ./bosatsuj lib doc --outdir core_alpha_docs --include_predef --source_repo_url https://github.com/johnynek/bosatsu/blob/main

Browse all generated docs

  • Ackermann
  • AvlTree
  • Bar
  • BazelDepsApi
  • Bo/Test
  • Bosatsu/Bool
  • Bosatsu/Char
  • Bosatsu/Collection/Array
  • Bosatsu/Collection/Queue
  • Bosatsu/Collection/TreeList
  • Bosatsu/Dict
  • Bosatsu/Eval
  • Bosatsu/Example/ApplicativeTraverse
  • Bosatsu/Example/Json/Github/Workflows/Ci
  • Bosatsu/Example/Json/Github/Workflows/CodecovMain
  • Bosatsu/Example/Json/Github/Workflows/DeployWeb
  • Bosatsu/Example/Json/Github/Workflows/Release
  • Bosatsu/Example/Json/Github/Workflows/Util
  • Bosatsu/FibBench
  • Bosatsu/IO/Bytes
  • Bosatsu/IO/Core
  • Bosatsu/IO/CreateModeMain
  • Bosatsu/IO/Error
  • Bosatsu/IO/Std
  • Bosatsu/Json
  • Bosatsu/Lazy
  • Bosatsu/List
  • Bosatsu/Loops
  • Bosatsu/LsExample
  • Bosatsu/Nothing
  • Bosatsu/Num/BinNat
  • Bosatsu/Num/Binary
  • Bosatsu/Num/Float64
  • Bosatsu/Num/Nat
  • Bosatsu/NumberProps
  • Bosatsu/Option
  • Bosatsu/Predef
  • Bosatsu/Prog
  • Bosatsu/Rand
  • Bosatsu/Testing/Properties
  • BuildExample
  • BuildLibrary
  • DictTools
  • Euler/Four
  • Euler/One
  • Euler/P5
  • Euler/P6
  • Euler/P7
  • Euler/Three
  • Euler/Two
  • Foo
  • GenDeps
  • IntTest
  • Issue1633
  • Issue1961
  • ListPat
  • Parser
  • PatternExamples
  • PredefTests
  • ProgAssoc
  • ProgTestSmoke
  • Quicksort
  • RecordSet/Library
  • StrConcatExample
  • StringPatternBranchTests
  • TypeConstraint

Next: Ackermann

On this page:
  • Core Alpha API