Package avail.interpreter.primitive.modules

Types

Link copied to clipboard
object P_AddUnloadFunction : Primitive

Primitive: Add the specified unload function to the current module.

Link copied to clipboard
object P_CloseModule : Primitive

Primitive: Close the specified anonymous module, thereby preventing the addition of any new statements.

Link copied to clipboard
object P_CreateAnonymousModule : Primitive

Primitive: Create an anonymous module that privately imports only and exactly the supplied set of atoms.

Link copied to clipboard
object P_CurrentModule : Primitive

Primitive: Answer the module currently undergoing compilation. Fails at runtime (if compilation is over).

object P_DeclareAllAtomsExportedFromAnotherModule : Primitive

Primitive: This private primitive is used to ensure that a module can deserialize correctly. It's given a set of fully qualified module names, and each such module should have all of its exported names included in the current module's public names or private names, depending on the value of the supplied boolean (true for public, false for private).

Link copied to clipboard
object P_DeclareAllExportedAtoms : Primitive

Primitive: This private primitive is used to ensure that a module can deserialize correctly. It forces the given set of atoms to be included in the current module's public names or private names, depending on the value of the supplied boolean (true for public, false for private).

Link copied to clipboard
object P_Entries : Primitive

Primitive: Answer the entry point names declared by the specified module.

Link copied to clipboard
object P_ExportedNames : Primitive

Primitive: Answer the exported names of the current module.

Link copied to clipboard
object P_HasNewName : Primitive

Primitive: Answer whether the given module introduced an atom based on the given string.

Link copied to clipboard
object P_IsModuleOpen : Primitive

Primitive: Determine whether the specified module is open to the performance of further side effects.

Link copied to clipboard
object P_LookupModule : Primitive

Primitive: Resolve the given fully qualified module name, and answer the loaded module having that name. Fail if such a module is not currently loaded.

Link copied to clipboard
object P_LookupName : Primitive

Primitive: Look up the atom bound to the specified name in the module currently being loaded, creating the true name if necessary.

Link copied to clipboard
object P_ModuleName : Primitive

Primitive: Answer the name of the specified module.

Link copied to clipboard
object P_NewNames : Primitive

Primitive: Answer the introduced public names of the specified module. This is a map from string to atom.

Link copied to clipboard
object P_PrivateCreateModuleVariable : Primitive

Primitive: Create a global variable or constant, registering it with the given module.

Link copied to clipboard
object P_PublishName : Primitive

Primitive: Publish the atom associated with the specified string as a public name of the current module. This has the same effect as listing the string in the "Names" section of the current module. Fails if called at runtime.

Link copied to clipboard
object P_VisibleAtoms : Primitive

Primitive: Answer every true name visible in the module currently being loaded.