Kairo Command Catalog: Every Language Construct Explained

module Sales.Orders

module Demo.App

import Astra.Data
import Pulse.Console

module Demo.App

import Astra.Net.Http as Http

module Demo.App

import type Astra.Data.Database

module Demo.App

public func main(): Int32 {
    return 0
}

[package]
name = "Demo.App"
version = "0.1.0.0"
kind = "application"

[application]
entry = "Demo.App.main"

[runtime]
target = "pulse"

public value CustomerId {
    value: Text
}

internal value CustomerDraft {
    name: Text
    email: Text
}

public object Customer {
    public var name: Text

    private func validateName(name: Text): Bool {
        return name != ""
    }
}

public value Money {
    amount: Decimal
    currency: Text
}

public object Customer {
    public id: CustomerId
    public var name: Text

    public init(id: CustomerId, name: Text) {
        this.id = id
        this.name = name
    }
}

public contract Named {
    name: Text
}

public contract Named {
    name: Text
}

public object Customer : Named {
    public id: CustomerId
    public var name: Text

    public init(id: CustomerId, name: Text) {
        this.id = id
        this.name = name
    }
}

public enum OrderStatus {
    Draft
    Submitted
    Paid
    Cancelled
}

public object Customer {
    public id: CustomerId
    public var name: Text
}

public object Customer {
    public var firstName: Text
    public var lastName: Text

    public fullName: Text {
        get {
            return firstName + " " + lastName
        }
    }
}

public func calculateTotal(order: Order): Money {
    return order.total
}

public object Customer {
    public var name: Text

    public func rename(newName: Text) {
        this.name = newName
    }
}

public value EmailAddress {
    value: Text

    public type func create(value: Text): EmailAddress {
        return EmailAddress {
            value: value
        }
    }
}

public object Customer {
    public id: CustomerId
    public var name: Text

    public init(id: CustomerId, name: Text) {
        this.id = id
        this.name = name
    }
}

let name: Text = "Pete"
let active = true

var count: Int32 = 0
count = count + 1

public func rename(newName: Text) {
    this.name = newName
}

public func answer(): Int32 {
    return 42
}

if customer.name == "" {
    return 1
} else {
    return 0
}

let label: Text = match status {
    Draft => "Draft"
    Submitted => "Submitted"
    Paid => "Paid"
    else => "Unknown"
}

match status {
    Draft {
        Pulse.Console.out.writeLine("Draft")
    }

    else {
        Pulse.Console.out.writeLine("Other")
    }
}

// for loop syntax is reserved for a later ratified stage.

// while loop syntax is reserved for a later ratified stage.

public async func fetchCustomer(id: CustomerId): Customer {
    return await CustomerApi.get(id)
}

let customer = await fetchCustomer(customerId)

public func findCustomer(id: CustomerId): Customer? {
    return null
}

let label: Text = match email {
    null => "No email"
    else => "Has email"
}

let active: Bool = true

let message: Text = "Customer updated"

let count: Int64 = 100
let price: Decimal = 125.50

if not isValid or hasExpired {
    return false
}

if status == Paid {
    return true
}

if total > 0 {
    return true
}

let subtotal: Decimal = 100.00
let tax: Decimal = 10.00
let total: Decimal = subtotal + tax

var count: Int32 = 0
count = count + 1

let total = Money {
    amount: 125.50
    currency: "AUD"
}

let customer = Customer(
    id: customerId,
    name: "Pete"
)

public func createEmail(value: Text): Result<EmailAddress, EmailFailure> {
    if value == "" {
        return Result.failure(EmailFailure.Empty)
    }

    return Result.success(EmailAddress {
        value: value
    })
}

return Result.success(0)

return Result.failure(CreateCustomerFailure.InvalidName)

let result = createEmail("pete@example.com")

match result.isSuccess {
    true {
        let email = result.value
        Pulse.Console.out.writeLine(email.value)
    }

    false {
        let failure = result.error
        Pulse.Console.error.writeLine("Could not create email")
    }
}

public value CustomerPage {
    ids: List<CustomerId>
}

public value CustomerTags {
    tags: Set<Text>
}

public value ExchangeRates {
    rates: Map<Text, Decimal>
}

public contract Formatter<T> {
    func format(value: T): Text
}

public contract Displayable {
    func display(): Text
}

public contract Formatter<T: Displayable> {
    func format(value: T): Text
}

[application]
entry = "Demo.App.main"

module Demo.App

public func main(): Result<Int32, AppFailure> {
    return Result.success(42)
}

import Pulse.Console

public func main(): Int32 {
    Pulse.Console.out.write("Hello")
    return 0
}

import Pulse.Console

public func main(): Int32 {
    Pulse.Console.out.writeLine("Kairo is running")
    return 0
}

import Pulse.Console

Pulse.Console.error.write("Warning")

import Pulse.Console

public func main(): Int32 {
    Pulse.Console.error.writeLine("Something went wrong")
    return 1
}