Human mode: The core runtime

The core library#

Both modes. Generated by conformance/tools/libref.py from the declarations of library/fortis; do not edit. Source of truth: LR 15 for the inventory, and each declaration's own contract.

Preview: the core runtime inventory (LR 15) arrives in v0.4.

Every public declaration of the seven core modules (LR 15): each exported declaration, every member of an exported interface (whose members share its visibility, LR 4.4) and every variant of an exported enum, with its signature as the library declares it and the contract its documentation comment states. The check counts these against the module sources independently of this page. A trusted operation is implemented by the toolchain, and its comment is its review record (LR 11.3). fortis.prelude is imported into every module; the other modules need an import (LR 4.3). What is not listed here does not exist in Language 1.0's core library; the gaps against the Language Reference are recorded as D-58.

fortis.prelude#

Imported into every module: the built-in types, the optional and outcome operations, the built-in interfaces (LR 4.3, LR 6.2, LR 6.10).

class Void#

class Never#

class Bool#

class Int#

class Int8#

class Int16#

class Int32#

class Int64#

class UInt8#

class UInt16#

class UInt32#

class UInt64#

class UInt#

class Byte#

class Float#

class Float32#

enum RoundingMode#

Variants: HalfEven, HalfAwayFromZero, TowardZero, AwayFromZero.

class Decimal#

class BigInt#

class String#

class StringView#

class Bytes#

class BytesView#

class Scalar#

class Duration#

class Instant#

class Timestamp#

class List[T]#

class ListCursor[T] implements Iterator[T]#

class ListView[T]#

class Array[T, N]#

class Map[K, V]#

class OrderedMap[K, V]#

class Set[T]#

class FixedList[T, N]#

class FixedMap[K, V, N]#

class VariantMap[E, V]#

class Must#

class Outcome[T]#

class Failure#

class Report#

class Failures#

class Future[T]#

class Task[T] implements Abandonable#

class Cancellation#

class TaskDefect#

enum TaskCompletion[T]#

Variants: Completed(value: T), Cancelled(reason: Cancellation), Defect(info: TaskDefect).

class Shared[T]#

class Weak[T]#

class Mutex[T]#

class MutexGuard[T]#

class AtomicInt#

class AtomicBool#

class Scope#

class ObservationSchema#

class Hasher#

enum Ordering derive Equatable#

Variants: Less, Equal, Greater.

class Encoder#

class Decoder#

interface Equatable#

interface Hashable requires Equatable#

interface Comparable requires Equatable#

interface Displayable#

interface Iterable[T, I] where I implements Iterator[T]#

interface Iterator[T]#

interface Consumable[T, I] where I implements Consumer[T]#

interface Consumer[T]#

interface Copyable#

interface Shareable#

interface Abandonable#

interface Default#

interface Encodable#

interface Decodable#

interface Codec requires Encodable, Decodable#

interface Authority#

interface From[S]#

class Builder#

Functions and aspects#

fortis.text#

Text building, scalars and graphemes (LR 6.6).

class Builder#

class Scalar#

class Text#

Functions and aspects#

fortis.collections#

Collection algorithms (LR 6.7).

Functions and aspects#

fortis.numeric#

Integer helpers (LR 6.4).

Functions and aspects#

fortis.time#

Durations and timestamps (LR 15).

class Duration#

class Instant#

class Timestamp#

fortis.money#

An amount of a currency (LR 15).

enum Currency derive Equatable#

Variants: GBP, EUR, USD.

error CurrencyMismatch#

class Money#

fortis.host#

The capabilities, Path, Secret and reveal (LR 11.6, LR 15).

class Path#

class Secret[T]#

class SecretAccess implements Authority#

class FileSystem implements Authority#

class File#

class Network implements Authority#

class Clock implements Authority#

class Random implements Authority#

class Environment implements Authority#

class Process implements Authority#

class Supervisor implements Authority#

class Console implements Authority#

class RawSql implements Authority#

class Capabilities#

class Host#

Functions and aspects#