avail/avail/AvailRuntime/HookType/RESULT_DISAGREED_WITH_EXPECTED_TYPE

RESULT_DISAGREED_WITH_EXPECTED_TYPE

RESULT_DISAGREED_WITH_EXPECTED_TYPE("«return result disagreed with expected type»", functionType( tuple( mostGeneralFunctionType(), topMeta(), variableTypeFor(Types.ANY.o)), bottom), null)

The HookType for a hook that holds the function to invoke whenever a returned value disagrees with the expected type.

Properties

defaultFunctionSupplier

val defaultFunctionSupplier: OnceSupplier<A_Function>

A supplier of a default A_Function to use for this hook type.

functionType

val functionType: A_Type

The A_Function that hooks of this type use.

hookName

val hookName: A_String

The name to attach to functions plugged into this hook.

name

val name: String

ordinal

val ordinal: Int