⌂Bosatsu Documentation
0.0.0+1-f8af9403*
  • Bosatsu Design Philosophy and Goals
  • Design Docs
    • Pattern Guards Design
    • Issue 1628: Pattern Value Reuse in TypedExprNormalization
  • Getting started (new repo)
  • Language Guide
  • Recursion in Bosatsu
  • Generating JSON from Bosatsu Values
  • Debugging with lib eval
  • Compiling to Python
  • Core Alpha API
    • Ackermann
    • AvlTree
    • Bar
    • BazelDepsApi
    • Bo/Test
    • Bosatsu/Bool
    • Bosatsu/Char
    • Bosatsu/Collection/Array
    • Bosatsu/Collection/Queue
    • Bosatsu/Collection/TreeList
    • Bosatsu/Dict
    • 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/Error
    • Bosatsu/IO/Std
    • Bosatsu/List
    • 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
    • Eval
    • Foo
    • GenDeps
    • IntTest
    • Issue1633
    • ListPat
    • Parser
    • PatternExamples
    • PredefTests
    • Quicksort
    • RecordSet/Library
    • StrConcatExample
    • StringPatternBranchTests
    • TypeConstraint
Bosatsu Documentation
⌂Bosatsu Documentation
0.0.0+1-f8af9403*
  • Bosatsu Design Philosophy and Goals
  • Design Docs
    • Pattern Guards Design
    • Issue 1628: Pattern Value Reuse in TypedExprNormalization
  • Getting started (new repo)
  • Language Guide
  • Recursion in Bosatsu
  • Generating JSON from Bosatsu Values
  • Debugging with lib eval
  • Compiling to Python
  • Core Alpha API
    • Ackermann
    • AvlTree
    • Bar
    • BazelDepsApi
    • Bo/Test
    • Bosatsu/Bool
    • Bosatsu/Char
    • Bosatsu/Collection/Array
    • Bosatsu/Collection/Queue
    • Bosatsu/Collection/TreeList
    • Bosatsu/Dict
    • 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/Error
    • Bosatsu/IO/Std
    • Bosatsu/List
    • 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
    • Eval
    • Foo
    • GenDeps
    • IntTest
    • Issue1633
    • ListPat
    • Parser
    • PatternExamples
    • PredefTests
    • Quicksort
    • RecordSet/Library
    • StrConcatExample
    • StringPatternBranchTests
    • TypeConstraint
  • Bosatsu Documentation
  • Core Alpha API
  • Bar

Bar

No exported values or types.

The source code for this page can be found here.

Next: BazelDepsApi