AnyType Structure Reference

any

Hylo’s Any type.

Declaration

Swift

public static let any: AnyType

Show on GitHub


                    
                    
                    never

Hylo’s Never type.

Declaration

Swift

public static let never: AnyType

Show on GitHub


                    
                    
                    void

Hylo’s Void type.

Declaration

Swift

public static let void: AnyType

Show on GitHub


                    
                    
                    error

A shorthand for ^ErrorType().

Declaration

Swift

public static let error: AnyType

Show on GitHub


                    
                    
                    builtin(_:)

Returns the given built-in type symbol wrapped in a type-erased container.

Declaration

Swift

public static func builtin(_ type: BuiltinType) -> AnyType

Show on GitHub


                    
                    
                    wrapped

The value wrapped by this instance.

Declaration

Swift

private var wrapped: TypeBox

Show on GitHub


                    
                    
                    init(_:)

Creates a type-erased container wrapping the given instance.

Declaration

Swift

public init<T>(_ base: T) where T : TypeProtocol

Parameters


                                base

A type to wrap.

Show on GitHub


                    
                    
                    base

Accesses value wrapped by this instance.

The base property can be cast back to its original type using one of the type casting operators (as?, as!, or as).

Declaration

Swift

public var base: any TypeProtocol { get }

Show on GitHub


                    
                    
                    errorFree

self if !self[.hasError]; otherwise, nil.

Declaration

Swift

public var errorFree: AnyType? { get }

Show on GitHub


                    
                    
                    asMember(of:)

self transformed as the type of a member of receiver, which is existential.

Declaration

Swift

public func asMember(of receiver: ExistentialType) -> AnyType

Show on GitHub


                    
                    
                    specialization

Returns the generic arguments specializing self.

Declaration

Swift

public var specialization: GenericArguments { get }

Show on GitHub


                    
                    
                    isLeaf

Indicates whether self is a leaf type.

A leaf type is a type whose only subtypes are itself and Never.

Declaration

Swift

public var isLeaf: Bool { get }

Show on GitHub


                    
                    
                    isError

Indicates whether self is the error type.

Declaration

Swift

public var isError: Bool { get }

Show on GitHub


                    
                    
                    isBuiltin

Indicates whether self is a built-in type.

Requires

self is canonical.

Declaration

Swift

public var isBuiltin: Bool { get }

Show on GitHub


                    
                    
                    isBuiltinInteger

Indicates whether self is a built-in integer type.

Requires

self is canonical.

Declaration

Swift

public var isBuiltinInteger: Bool { get }

Show on GitHub


                    
                    
                    isBuiltinOrRawTuple

true iff self is a built-in type or tuple thereof.

Requires

self is canonical.

Declaration

Swift

public var isBuiltinOrRawTuple: Bool { get }

Show on GitHub


                    
                    
                    isVoidOrNever

true iff self is syntactically equal to Hylo’s Void or Never type.

Declaration

Swift

public var isVoidOrNever: Bool { get }

Show on GitHub


                    
                    
                    isVoid

true iff self is syntactically equal to Hylo’s Void type.

Declaration

Swift

public var isVoid: Bool { get }

Show on GitHub


                    
                    
                    isNever

true iff self is syntactically equal to Hylo’s Never type.

Declaration

Swift

public var isNever: Bool { get }

Show on GitHub


                    
                    
                    isTypeParameter

Indicates whether self is a generic type parameter or associated type.

Declaration

Swift

public var isTypeParameter: Bool { get }

Show on GitHub


                    
                    
                    isSkolem

Returns true iff self is bound to an existential quantifier.

Declaration

Swift

public var isSkolem: Bool { get }

Show on GitHub


                    
                    
                    hasRecordLayout

Indicates whether self has a record layout.

Declaration

Swift

public var hasRecordLayout: Bool { get }

Show on GitHub


                    
                    
                    replacingVariablesWithErrors

Returns self with occurrences of free type variables replaced by errors.

Declaration

Swift

public var replacingVariablesWithErrors: AnyType { get }

Show on GitHub


                    
                    
                    collectOpenVariables(in:)

Inserts the type variables that occur free in self into s.

Declaration

Swift

public func collectOpenVariables(in s: inout Set<TypeVariable>)

Show on GitHub


                    
                    
                    forEachOpenVariable(mutate:with:)

Calls action on m and each type variable that occurs free in self.

Declaration

Swift

public func forEachOpenVariable<T>(
  mutate m: inout T, with action: (inout T, TypeVariable) -> Void
)

Show on GitHub


                    
                    
                    skolems

Returns the generic parameters occurring free in self.

Declaration

Swift

public var skolems: OrderedSet<GenericParameterDecl.ID> { get }

Show on GitHub


                    
                    
                    collectGenericTypeParameters(in:ignoring:)

Inserts generic parameters occurring free in self into open, unless they’re in bound.

Declaration

Swift

private func collectGenericTypeParameters(
  in open: inout OrderedSet<GenericParameterDecl.ID>,
  ignoring bound: Set<GenericParameterDecl.ID>
)

Show on GitHub


                    
                    
                    flags

Declaration

Swift

public var flags: ValueFlags { get }

Show on GitHub


                    
                    
                    transformParts(mutating:_:)

Declaration

Swift

public func transformParts<M>(
  mutating m: inout M, _ transformer: (inout M, AnyType) -> TypeTransformAction
) -> AnyType

Show on GitHub


                    
                    
                    ==(_:_:)

Returns whether l is syntactically equal to r.

Declaration

Swift

public static func == (l: `Self`, r: `Self`) -> Bool

Show on GitHub


                    
                    
                    ==(_:_:)

Returns whether l is syntactically equal to r.

Declaration

Swift

public static func == <T>(l: `Self`, r: T) -> Bool where T : TypeProtocol

Show on GitHub


                    
                    
                    !=(_:_:)

Returns whether l is not syntactically equal to r.

Declaration

Swift

public static func != <T>(l: `Self`, r: T) -> Bool where T : TypeProtocol

Show on GitHub


                    
                    
                    ==(_:_:)

Returns whether l is syntactically equal to r.

Declaration

Swift

public static func == <T>(l: T, r: `Self`) -> Bool where T : TypeProtocol

Show on GitHub


                    
                    
                    !=(_:_:)

Returns whether l is not syntactically equal to r.

Declaration

Swift

public static func != <T>(l: T, r: `Self`) -> Bool where T : TypeProtocol

Show on GitHub


                    
                    
                    ~=(_:_:)

Returns whether subject syntactically matches pattern.

This operator is used in switch statements to match the wrapped value of an AnyType.

func foo(_ x: AnyType) {
  switch x.base {
  case AnyType.any:
    print("type is 'Any'")
  case AnyType.never:
    print("type is 'Never'")
  default:
    print("type is neither 'Any' nor 'Never'")
  }
}

Declaration

Swift

public static func ~= (pattern: `Self`, subject: any TypeProtocol) -> Bool

Show on GitHub


                    
                    
                    ~=(_:_:)

Returns whether subject syntactically matches pattern.

Declaration

Swift

public static func ~= (pattern: `Self`, subject: `Self`) -> Bool

Show on GitHub


                    
                    
                    ~=(_:_:)

Returns whether subject syntactically matches pattern.

Declaration

Swift

public static func ~= <T>(pattern: T, subject: `Self`) -> Bool where T : TypeProtocol

Show on GitHub


                    
                    
                    hash(into:)

Declaration

Swift

public func hash(into hasher: inout Hasher)

Show on GitHub


                    
                    
                    description

Declaration

Swift

public var description: String { get }

Show on GitHub