koto_runtime 0.16.1

The runtime used by the Koto programming language
Documentation
use crate::{Result, prelude::*};

/// A trait used for file-like-things in Koto
pub trait KotoFile: KotoRead + KotoWrite + KotoSend + KotoSync {
    /// An identifier for the file, accessed when displaying the file in strings
    fn id(&self) -> KString;

    /// Returns the path of the file
    fn path(&self) -> Result<KString> {
        runtime_error!("unsupported for this file type")
    }

    /// Seeks to the provided position in the file
    fn seek(&self, _position: u64) -> Result<()> {
        runtime_error!("unsupported for this file type")
    }

    /// Returns true if the file refers to a terminal/tty
    fn is_terminal(&self) -> bool {
        false
    }
}

/// A trait that defines the read operations of a [KotoFile]
pub trait KotoRead {
    /// Returns the next line from the file, including any newline characters
    ///
    /// If None is returned then the end of the file has been reached.
    fn read_line(&self) -> Result<Option<String>> {
        runtime_error!("unsupported for this file type")
    }

    /// Returns the contents of the file from the current position
    fn read_to_string(&self) -> Result<String> {
        runtime_error!("unsupported for this file type")
    }
}

/// A trait that defines the write operations of a [KotoFile]
pub trait KotoWrite {
    /// Writes bytes to the file
    fn write(&self, _bytes: &[u8]) -> Result<()> {
        runtime_error!("unsupported for this file type")
    }

    /// Writes text to the file, and appends a newline
    fn write_line(&self, _text: &str) -> Result<()> {
        runtime_error!("unsupported for this file type")
    }

    /// Flushes any remaining buffered output
    fn flush(&self) -> Result<()> {
        runtime_error!("unsupported for this file type")
    }
}