Reference

FixedSizeArray{T,N,Mem<:DenseVector{T}}(undef, size::NTuple{N,Int})
FixedSizeArray{T,N,Mem<:DenseVector{T}}(undef, size1::Int, size2::Int, ...)
FixedSizeArray{T,N,Mem<:DenseVector{T}}(array::AbstractArray)

Construct a fixed-size FixedSizeArray with element type T, number of dimensions N, and memory backend Mem.

Convenient aliases provided:

• FixedSizeVector{T,Mem}: for 1-dimensional fixed-size arrays
• FixedSizeMatrix{T,Mem}: for 2-dimensional fixed-size arrays
• FixedSizeArrayDefault{T,N}: for N-dimensional fixed-size arrays, with default memory backend
• FixedSizeVectorDefault{T}: for 1-dimensional fixed-size arrays, with default memory backend
• FixedSizeMatrixDefault{T}: for 2-dimensional fixed-size arrays, with default memory backend

FixedSizeVector{T,Mem<:DenseVector{T}}(undef, size::NTuple{1,Int})
FixedSizeVector{T,Mem<:DenseVector{T}}(undef, size1::Int)
FixedSizeVector{T,Mem<:DenseVector{T}}(array::AbstractVector)

Construct a fixed-size 1-dimensional FixedSizeArray with element type T, and memory backend Mem.

Convenient aliases provided:

• FixedSizeVectorDefault{T}: for 1-dimensional fixed-size arrays, with default memory backend

FixedSizeMatrix{T,Mem<:DenseMatrix{T}}(undef, size::NTuple{2,Int})
FixedSizeMatrix{T,Mem<:DenseMatrix{T}}(undef, size1::Int, size2::Int)
FixedSizeMatrix{T,Mem<:DenseMatrix{T}}(array::AbstractMatrix)

Construct a fixed-size 2-dimensional FixedSizeArray with element type T, and memory backend Mem.

Convenient aliases provided:

• FixedSizeMatrixDefault{T}: for 2-dimensional fixed-size arrays, with default memory backend

FixedSizeArrayDefault{T,N}(undef, size::NTuple{N,Int})
FixedSizeArrayDefault{T,N}(undef, size1::Int, size2::Int, ...)
FixedSizeArrayDefault{T,N}(array::AbstractArray)

Construct a FixedSizeArray with element type T, number of dimensions N, and the default memory backend (Vector{T} on Julia v1.10, Memory{T} on Julia v1.11+).

FixedSizeVectorDefault{T}(undef, size::NTuple{1,Int})
FixedSizeVectorDefault{T}(undef, size1::Int)
FixedSizeVectorDefault{T}(array::AbstractVector)

Construct a FixedSizeVector with element type T, and the default memory backend (Vector{T} on Julia v1.10, Memory{T} on Julia v1.11+).

FixedSizeMatrixDefault{T}(undef, size::NTuple{2,Int})
FixedSizeMatrixDefault{T}(undef, size1::Int, size2::Int)
FixedSizeMatrixDefault{T}(array::AbstractMatrix)

Construct a FixedSizeMatrix with element type T, and the default memory backend (Vector{T} on Julia v1.10, Memory{T} on Julia v1.11+).

collect_as(t::Type{<:FixedSizeArray}, iterator)

Tries to construct a value of type t from the iterator iterator. The type t must either be concrete, or a UnionAll without constraints.

parent(f::FixedSizeArray)

Return the underlying parent object of the fixed-size array f. Use parentindices(f) to get the valid indices of the parent of f.

BoundsErrorLight <: Exception

Like BoundsError, but doesn't store the array, to prevent clashing with escape analysis.

Stores the type of the array and the shape instead.

with_stripped_type_parameters(spec, t::Type)::Val{s}

The type s is a UnionAll supertype of t:

(s isa UnionAll) && (t <: s)

Furthermore, s has type variables in place of the type parameters specified via spec.

NB: Val{s}() is returned instead of s so the method would be consistent from the point of view of Julia's effect inference, enabling constant folding.

NB: this function is supposed to only have the one method. To add functionality, add methods to with_stripped_type_parameters_unchecked.

with_stripped_type_parameters_unchecked(spec, t::Type)::Val{s}

An implementation detail of with_stripped_type_parameters. Don't call directly.

collect_as_fsv(V::Type{<:DenseVector}, iterator)::FixedSizeVector

Collect the elements of iterator into a FixedSizeVector, r. The argument V specifies the underlying storage type parameter of r. When possible (specified as a parameter in V), eltype(r) is also taken from V, otherwise it is determined by the types of the elements of the iterator.

When V does not provide an element type and isempty(iterator), the element type of the return value is:

• eltype(iterator), when it's a concrete type
• Union{}, otherwise

push!!(t::Type{<:AbstractVector}, v::Vector, e)::Vector

Return a Vector, r, respecting these properties:

• all(r[begin:(end - 1)] .=== v)
• if t specifies an element type, E, r[end] == E(e), otherwise r[end] === e