Examples

module Example

interface Widget {
    spin(count: int32)
}

// An interface can extend one or more other interfaces
interface Gizmo : Widget {
    walk(direction: Direction)
}

module Example

interface Dns {
    resolveName(name: string) -> Sequence<IPAddress>
}

interface Census {
    getCityPopulation(state: string) -> Dictionary<string, int32>
}

[cs::namespace("AttributeExample")]
module Example

[cs::identifier("WorldAtlas")]
interface Atlas {
    getMainCities(country: string) -> [cs::type("HashSet<string>")] Sequence<string>
}

[cs::readonly]
compact struct Point { x: int32, y: int32 }