TermProtocol

public protocol TermProtocol : Hashable, Sendable

A protocol describing the API of a Hylo term.

Show on GitHub

  • Properties about the representation of self.

    Declaration

    Swift

    var flags: ValueFlags { get }
    Show on GitHub
  • init(_:) Extension method

    Creates an instance with the value of container.base or returns nil if that value has a different type.

    Declaration

    Swift

    public init?(_ container: AnyTerm)
    Show on GitHub
  • init(_:) Extension method

    Creates an instance with the value of container.base or returns nil if either that value has a different type or container is nil.

    Declaration

    Swift

    public init?(_ container: AnyTerm?)
    Show on GitHub
  • subscript(_:) Extension method

    Returns whether the specified flags are raised on this term.

    Declaration

    Swift

    public subscript(fs: ValueFlags) -> Bool { get }
    Show on GitHub