Package avail.interpreter.primitive.functions

Types

Link copied to clipboard
object P_CreateFunction : Primitive

Primitive: Answer a function built from the function and the outer variables.

Link copied to clipboard
object P_CreateFunctionType : Primitive

Primitive: Create a function type from a tuple of argument types and a return type.

Link copied to clipboard
object P_CreateGeneralFunctionType : Primitive

Primitive: Answer the most general function type with the given return type.

Link copied to clipboard
object P_CreateStubFunction : Primitive

Primitive: Construct a function that conforms to the specified function. When applied, it applies the specified function and answers that function's result.

Link copied to clipboard
object P_DecompileFunction : Primitive

Primitive: Answer a phrase that represents the decompiled function.

Link copied to clipboard
object P_FunctionMessage : Primitive

Primitive: Answer the message associated with the specified function.

Link copied to clipboard
object P_OuterVariables : Primitive

Primitive: Answer the tuple of outer variables captured by this function.

Link copied to clipboard
object P_ParamsType : Primitive

Primitive: Answer a tuple type describing the parameters accepted by the function type.

Link copied to clipboard
object P_ParamTypeAt : Primitive

Primitive: Answer the type of the parameter at the given index within the given functionType.

Link copied to clipboard
object P_ReturnType : Primitive

Primitive: Answer the return type of the given functionType.