skip to content

kairo@lang:~/contributors$█kairo@lang:~/docs$█

home docs blog ksf contributors

TOP github↗ Install

$ ls ~/

01 home 02 docs 03 blog 04 ksf 05 contributors 06 github ↗

Install Kairo

exit 0█

kfmt

docs

search ~/docs

>

man search

"exact match"whole words, in order

const -deprecatedexclude a term

section:languagelimit to a section

-section:libraryexclude a section

in:titlematch titles only

no:functionhide a category

is:deprecatedonly that category

↑↓ navigate ↵ open esc close

cd ~ back to home

$ tree ~/docs

Docs Home Welcome to Kairo Philosophy Compiler Compliance Installation Implementation Status

Example: HTTP Server

language/

# basics

Primitives Collections Variables & Bindings Nullables Operators

# statements & expressions

Control Flow Pattern Matching Functions Default, Named, and Variadic Parameters Parameter Passing Modes Function Overloading Generators Function Declarations Closures

# types

Type System Type Aliases Structures Enums Plain Enums ADT Enums Unions Classes Class Lifecycle Inheritance and Virtual Dispatch Forward Declarations and Out-of-Line Definitions

# abstraction

Interfaces Interface Requirements Extends Generics Requires Clauses Where Clauses Operator Overloading

# conversions

Casting Implicit Conversions Kairo Primitive Conversion Lattice

# memory & concurrency

Pointers & Raw Pointers Ownership Tether Proof Model Bounds and Provenance Ownership and Promotion Threading Tether Internals Allocators Unsafe Concurrency

# errors

Panic Diagnostics

# compile time

Compile-Time Eval Macros Built-in Macros Attributes

# program structure

Modules Imports

# interop

C & C++ Interoperability kairo, kcc & Cross-compilation Calling C and C++ from Kairo Using Kairo in C++Allocators & Ownership Exceptions & Panics ABI Contract & Verification

libcxx Namespace

mref!(T)ref!(T)

std::as_cast<To, From>std::as_const<To, From>std::as_unsafe<To, From>std::char_to_cchar std::crash<T>std::endl std::erase_type<T>std::next std::nptr_to_string std::nstring_to_string std::range std::string_to_nstring std::stringf std::to_string std::wptr_to_nptr

questionable/

std::Questionable<T>::Questionable (Constructor)std::Questionable<T>::Questionable (Constructor)std::Questionable<T>::Questionable (Constructor)std::Questionable<T>::Questionable (Constructor)std::Questionable<T>::Questionable (Constructor)

std::Questionable<T>::operator as std::Questionable<T>::operator as std::Questionable<T>::operator in std::Questionable<T>::operator T std::Questionable<T>::operator!=std::Questionable<T>::operator?std::Questionable<T>::operator*std::Questionable<T>::operator==

range/

std::Range<T>::Range (Constructor)std::Range<T>::Range (Constructor)

std::Range<T>::begin std::Range<T>::contains std::Range<T>::end std::Range<T>::is_empty std::Range<T>::step

std::Range<T>::operator in std::Range<T>::operator in

std::Function<ReturnType, Args...>std::Generator<YieldType>std::null_t

typeerasure/

std::TypeErasure::clone std::TypeErasure::destroy std::TypeErasure::operator*std::TypeErasure::type_info

std::abi::demangle std::abi::demangle_partial std::abi::is_mangled std::abi::mangle

std::Error::BaseError std::Error::NullValueError std::Error::RuntimeError std::Error::StateMismatchError std::Error::TypeMismatchError

std::Legacy::new<T>

std::Memory::address_type std::Memory::as_pointer<T>std::Memory::as_reference<T>std::Memory::compare std::Memory::copy std::Memory::delete_aligned<T>std::Memory::exchange<T>std::Memory::find<T>std::Memory::forward<T>std::Memory::heap_start std::Memory::in_rotdata std::Memory::in_stack std::Memory::move std::Memory::new_aligned<T>std::Memory::set std::Memory::stack_bounds std::Memory::stack_size std::Memory::stack_start

std::Meta::all_extents_removed<T>std::Meta::as_const_volatile<T>std::Meta::as_const<T>std::Meta::as_cvref<T>std::Meta::as_lvalue_reference<T>std::Meta::as_rvalue_reference<T>std::Meta::const_removed<T>std::Meta::const_volatile_removed<T>std::Meta::cvref_removed<T>std::Meta::declval<T>std::Meta::enable_if<Condition, T>std::Meta::ref_as_ptr<T>std::Meta::reference_removed<T>

frame/

std::Panic::Frame::Frame (Constructor)std::Panic::Frame::Frame (Constructor)std::Panic::Frame::Frame (Constructor)std::Panic::Frame::Frame (Constructor)

std::Panic::Frame::file std::Panic::Frame::get_context std::Panic::Frame::line std::Panic::Frame::reason

std::Panic::Frame::operator panic

framecontext/

std::Panic::FrameContext::crash std::Panic::FrameContext::object std::Panic::FrameContext::operator==std::Panic::FrameContext::type_name

basic/

std::String::basic<Char, Traits>::basic (Constructor)std::String::basic<Char, Traits>::basic (Constructor)std::String::basic<Char, Traits>::basic (Constructor)std::String::basic<Char, Traits>::basic (Constructor)std::String::basic<Char, Traits>::basic (Constructor)std::String::basic<Char, Traits>::basic (Constructor)std::String::basic<Char, Traits>::basic (Constructor)std::String::basic<Char, Traits>::basic (Constructor)

slice/

std::String::slice<Char, Traits>::slice (Constructor)std::String::slice<Char, Traits>::slice (Constructor)std::String::slice<Char, Traits>::slice (Constructor)std::String::slice<Char, Traits>::slice (Constructor)std::String::slice<Char, Traits>::slice (Constructor)std::String::slice<Char, Traits>::slice (Constructor)std::String::slice<Char, Traits>::slice (Constructor)std::String::slice<Char, Traits>::slice (Constructor)

std::String::slice<Char, Traits>::operator in std::String::slice<Char, Traits>::operator in std::String::slice<Char, Traits>::operator view_t std::String::slice<Char, Traits>::operator!=std::String::slice<Char, Traits>::operator[]std::String::slice<Char, Traits>::operator<std::String::slice<Char, Traits>::operator<=std::String::slice<Char, Traits>::operator==std::String::slice<Char, Traits>::operator>std::String::slice<Char, Traits>::operator>=

std::String::compare_locale<T>std::String::compare_n<T>std::String::compare<T>std::String::concat_n<T>std::String::concat<T>std::String::copy_n<T>std::String::copy<T>std::String::error std::String::find_any<T>std::String::find_last<T>std::String::find_sub<T>std::String::find<T>std::String::length<T>std::String::prefix_length<T>std::String::split<T>std::String::transform<T>

kals kbld kfmt kld kpkg

304 files

~
docs
toolchain
kfmt

kfmt

<- prev kbld

next -> kld

EOF

report an issue ↗ (opens in a new tab) edit this page ↗ (opens in a new tab)

read

[░░░░░░░░░░░░░░░░] 0%

^ top of the page cd .. (up to docs)

██╗ ██╗ █████╗ ██╗██████╗ ██████╗ ██║ ██╔╝██╔══██╗██║██╔══██╗██╔═══██╗ █████╔╝ ███████║██║██████╔╝██║ ██║ ██╔═██╗ ██╔══██║██║██╔══██╗██║ ██║ ██║ ██╗██║ ██║██║██║ ██║╚██████╔╝ ╚═╝ ╚═╝╚═╝ ╚═╝╚═╝╚═╝ ╚═╝ ╚═════╝

kairo --version

kairo 0.1.0-alpha (stage0, c++)

The Language Beyond C++
Compiled systems language. Two-way C++ interop.

~/language

Documentation
Installation
Status
LLM Context
LLM Full Docs
Blog
Changelog

~/help

Get help
Discord
Report an issue
Contributing

~/community

GitHub
LinkedIn
Contributors
KSF

v0.1.0-alpha exit 0