UnifiableType

public protocol UnifiableType

Instances of conforming types can be unified such that they represent to the same value.

  • Unifies lhs with rhs, otherwise throws a UnificationError.

    Declaration

    Swift

    static func unify(lhs: Self, _ rhs: Self) throws

  • Performs action as an operation on self such that the self preserves its initial glue value if the operation fails.

    Declaration

    Swift

    static func attempt(value: Self, _ action: () throws -> ()) throws