jaredzhou/pony/any does not have a README file

    TypeMismatch

    pub suberror TypeMismatch {
    TypeMismatch(expect~ : TypeInfo, actual~ : TypeInfo)
    }

    Error raised when attempting to extract a value as an incompatible type.

    TypeMismatch::output

    fn TypeMismatch::output(self : TypeMismatch, logger : &Logger) -> Unit

    TypeMismatch::to_json

    TypeMismatch::to_string

    fn TypeMismatch::to_string(self : TypeMismatch) -> String

    Any

    type Any

    Any::map

    fn[T, R] Any::map(self : Any, f : (T) -> R raise?) -> Any raise?

    Conditionally apply f if the stored value has type T.

    Any::of

    #as_free_fn
    fn[T] Any::of(value : T) -> Any

    Wrap a value of type T in an Any container.

    Any::to

    fn[T] Any::to(self : Any) -> T raise TypeMismatch

    Extract the stored value as type T performing a runtime type id check.

    Any::try_to

    fn[T] Any::try_to(self : Any) -> T?

    Attempt to extract the stored value as type T, returning None on mismatch.

    Any::type_id

    fn Any::type_id(self : Any) -> TypeId

    Returns the runtime type identifier for the value stored in this Any.

    Any::type_info

    fn Any::type_info(self : Any) -> TypeInfo

    Returns the complete type information for the value stored in this Any.

    Any::type_name

    fn Any::type_name(self : Any) -> String

    Returns the human-readable name of the type stored in this Any.

    Any::unsafe_coerce

    fn[T] Any::unsafe_coerce(self : Any) -> T

    Unsafely coerce the underlying value to type T without checking.

    TypeId

    type TypeId

    TypeInfo

    type TypeInfo

    TypeInfo::id

    fn TypeInfo::id(self : TypeInfo) -> TypeId

    Extracts the runtime type identifier from this TypeInfo.

    TypeInfo::name

    fn TypeInfo::name(self : TypeInfo) -> String

    Extracts the human-readable type name from this TypeInfo.

    Source Files