_[_]

Grammatical restrictions:

Argument Position Prohibited Expression
Argument 1 _++_
current fiber

Definitions:

tuple, natural number
Source: /avail/Avail/Foundation/Bootstrap/Fallible Primitives
Categories: Primitives, Tuples, Queries
Answer the index -th element of aTuple.
Position Name Type Description
Parameters
1 aTuple tuple A tuple.
2 index natural number The one-based index of the desired element.
Returns any The requested element.
Raises
subscript-out-of-bounds exception
tuple meta, natural number
Source: /avail/Avail/Foundation/Bootstrap/Infallible Primitives
Categories: Primitives, Types, Tuples, Queries
Answer the element type of the index -th element of instances of the specified type. If index is out of bounds, then answer .
Position Name Type Description
Parameters
1 aTupleType tuple meta A tuple type.
2 index natural number The index of the desired element type.
Returns (any)'s type The requested element type, or ⊥ if index is out of bounds.
empty sequence, natural number
Source: /avail/Avail/Data Abstractions/Sequences/Abstract Sequences
Categories: Data Abstractions, Sequences
Raise a subscript-out-of-bounds exception.
Position Name Type Description
Parameters
1 aSequence empty sequence An empty sequence.
2 index natural number A proposed subscript, guaranteed to be out of range.
Returns
Raises
subscript-out-of-bounds exception Always.
any meta, whole number meta
Source: /avail/Avail/Foundation/Bootstrap/Infallible Primitives
Categories: Primitives, Types, POJO, Constructors
Construct and answer a pojo array type whose element type is elementType and whose cardinality requirement is cardinalityRequirement.
Position Name Type Description
Parameters
1 elementType any meta The type of the elements of instances.
2 cardinalityRequirement whole number meta The range of sizes of instances.
Returns (any[])'s type The requested pojo array type.
sequence, natural number
Source: /avail/Avail/Data Abstractions/Sequences/Abstract Sequences
Categories: Data Abstractions, Sequences
Answer the index -th element of aSequence.
Position Name Type Description
Parameters
1 aSequence sequence A sequence.
2 index natural number The one-based index of the desired element.
Returns any The requested element.
Raises
subscript-out-of-bounds exception If index exceeds the size of aSequence.
object, atom
Source: /avail/Avail/Foundation/Bootstrap/Fallible Primitives
Categories: Primitives, Objects, Queries
Extract a field's value from an object.
Position Name Type Description
Parameters
1 object object An object.
2 field atom The field for which to extract the value.
Returns any The field's value.
Raises
no-such-field exception
pojo array, natural number
Source: /avail/Avail/Foundation/Bootstrap/Fallible Primitives
Categories: Primitives, POJO, Queries
Answer the index -th element of the specified pojo array.
Position Name Type Description
Parameters
1 anArray pojo array A pojo array.
2 index natural number A one-based index into the pojo array.
Returns any The index -th element of anArray.
Raises
subscript-out-of-bounds exception
Java-marshaling-failed exception
⊥'s type, natural number
Source: /avail/Avail/Foundation/Literals
Categories: Types, Queries
Disambiguate subscript of ⊥. This is a type subscript operation, such as defined for tuple types or function types, and can consistently answer ⊥.
Position Name Type Description
Parameters
1 bottom ⊥'s type
2 index natural number The subscript (ignored).
Returns
object meta, atom
Source: /avail/Avail/Foundation/Bootstrap/Fallible Primitives
Categories: Primitives, Types, Objects, Queries
Extract a field's type from an object type.
Position Name Type Description
Parameters
1 objectType object meta An object type.
2 field atom The field for which to extract the type.
Returns (any)'s type The field's constraining type.
Raises
no-such-field exception
any meta
Source: /avail/Avail/Foundation/Pojos
Categories: Primitives, Types, POJO, Constructors
Construct and answer a pojo array type whose element type is elementType and whose cardinality requirement is whole number.
Position Name Type Description
Parameters
1 elementType any meta The type of the elements of instances.
Returns any [whole number]'s type The requested pojo array type.
map, any
Source: /avail/Avail/Foundation/Bootstrap/Fallible Primitives
Categories: Primitives, Maps, Queries
Answer the value bound to aMap in key.
Position Name Type Description
Parameters
1 aMap map A map.
2 key any The key whose bound value should be obtained.
Returns any The value bound to key in aMap.
Raises
key-not-found exception
atom, atom
Source: /avail/Avail/Foundation/Bootstrap/Fallible Primitives
Categories: Primitives, Atoms, Queries
Assuming that anAtom has a property whose key is key, then answer the property value associated with the key.
Position Name Type Description
Parameters
1 anAtom atom An atom.
2 key atom The property key.
Returns any The property value bound to the key.
Raises
key-not-found exception
no-such-field exception
function meta, natural number
Source: /avail/Avail/Foundation/Bootstrap/Infallible Primitives
Categories: Primitives, Types, Functions, Queries
Answer the index -th parameter type of the specified function type.
Position Name Type Description
Parameters
1 functionType function meta A function type.
2 index natural number The one-based index of the desired parameter type.
Returns (any)'s type The index -th parameter type of the argument.

Semantic restrictions:

any's type's type, whole number's type's type
Source: /avail/Avail/Foundation/Pojos
Type Description
Parameter Types
any's type's type
whole number's type's type
pojo array's type, natural number's type
Source: /avail/Avail/Foundation/Pojos
Type Description
Parameter Types
pojo array's type
natural number's type
tuple meta, natural number's type
Source: /avail/Avail/Foundation/Literals
Strengthen the tuple subscript operation. The strongest available static type is the type union of the elements within the slice indicated by the range of the subscript. Forbid any access that could never be correct, i.e., the minimum value of the subscript exceeds the maximum cardinality of the tuple.
Type Description
Parameter Types
tuple meta
natural number's type
object's type, atom's type
Source: /avail/Avail/Foundation/Objects
Strengthen object field extraction ({@method _[_] }).
Type Description
Parameter Types
object's type
atom's type
map meta, any meta
Source: /avail/Avail/Foundation/Early Maps
Answer the map's value type.
Type Description
Parameter Types
map meta
any meta
function meta's type, natural number's type
Source: /avail/Avail/Foundation/Early Functions
Type Description
Parameter Types
function meta's type
natural number's type
tuple meta's type, natural number's type
Source: /avail/Avail/Foundation/Literals
Strengthen the tuple type subscript operation. The strongest available static type is the instance type of the type union of the elements within the slice indicated by the range of the subscript. Forbid any access that could never be correct, i.e., the minimum value of the subscript exceeds the maximum cardinality of the tuple.
Type Description
Parameter Types
tuple meta's type
natural number's type