IceRPC

module StarTrek

typealias Stardate = float64

enum Rank : uint8 { Captain, Engineer, Ensign, Doctor }

struct Officer {
    id: int64
    name: string
    rank: Rank
}

struct StarlogEntry { date: Stardate, entry: string }

interface Starlog {
    addEntry(entry: StarlogEntry)
    getEntries(startAt: Stardate?) -> Sequence<StarlogEntry>
}

enum SystemError {
    UnknownOfficer(id: int64)
    SystemUnavailable
}

interface Starship {
    engageWarpDrive(warpFactor: uint8)
    getDetails() -> (name: string, registryCode: string)
    getOfficer(id: int64) -> Result<Officer, SystemError>
    startLongRangeScan(target: string) -> stream uint8
}