Mojo module

anytype

Defines the core traits for object lifetime management in Mojo.

This module provides the foundational traits that define how objects are created, managed and destroyed in Mojo:

UnknownDestructibility: The most basic trait that all types extend by default. Types with this trait have no destructor and no lifetime management.
AnyType: The base trait for types that require lifetime management through destructors. Any type that needs cleanup when it goes out of scope should implement this trait.
ImplicitlyDestructible: An alias for AnyType to help with the transition to linear types. Use this when you want to be explicit about a type having a destructor.

These traits are built into Mojo and do not need to be imported.

Aliases

alias __InstanceOfImpl[Trait: AnyTrivialRegType, T: Trait] = T

alias ImplicitlyDestructible = AnyType

alias InstanceOf[Trait: AnyTrivialRegType] = #kgen.gen<*(0,1)>[Trait, ?]

An alias allowing users to tersely express that a function argument is an instance of a type that implements a trait or trait composition.

For example, instead of writing

fn foo[T: Intable, //](x: T) -> Int:
    return x.__int__()

one can write:

fn foo(x: InstanceOf[Intable]) -> Int:
    return x.__int__()

AnyType: A trait for types that require lifetime management through destructors.
UnknownDestructibility: The most basic trait that all Mojo types extend by default.