The Fortress Language Specification

Abstract

fill(f : I → E) : ReadableArrayJE, IK abstract fill(v :E) : ReadableArrayJE, IK abstract copy() : ReadableArrayJE, IK Create a fresh array structurally identical to the present one, but holding elements of type U . abstract replicaJUK() : ReadableArrayJU, IK opr =(self, other : HasRank): Boolean end trait ImmutableArrayJE, IK extends {ReadableArrayJE, IK } excludes {ArrayJE, IK } abstract opr [r : RangeJIK] : ImmutableArrayJE, IK abstract opr [ : OpenRangeJAnyK] : ImmutableArrayJE, IK abstract ivmapJRK(f : (I, E)→ R): ImmutableArrayJR, IK abstract mapJRK(f :E → R): ImmutableArrayJR, IK abstract shift(newOrigin : I) : ImmutableArrayJE, IK abstract init(i : I, v :E): () abstract fill(f : I → E) : ImmutableArrayJE, IK abstract fill(v :E) : ImmutableArrayJE, IK abstract copy() : ImmutableArrayJE, IK abstract replicaJUK() : ImmutableArrayJU, IK Thaw array (return mutable copy). abstract thaw() : ArrayJE, IK end trait ArrayJE, IK extends {ReadableArrayJE, IK,MutableIndexedJE, IK } abstract opr [r : RangeJIK] : ArrayJE, IK abstract opr [ : OpenRangeJAnyK] : ArrayJE, IK abstract ivmapJRK(f : (I, E)→ R): ArrayJR, IK abstract mapJRK(f :E → R): ArrayJR, IK abstract shift(newOrigin : I) : ArrayJE, IK abstract init(i : I, v :E): () abstract fill(f : I → E) : ArrayJE, IK abstract fill(v :E) : ArrayJE, IK abstract assign(f : I → E) : ArrayJE, IK abstract copy() : ArrayJE, IK abstract replicaJUK() : ArrayJU, IK Freeze array (return mutable copy). abstract freeze(): ImmutableArrayJE, IK end Factory for arrays that returns an empty 0-indexed array of a given run-time-determined size. arrayJEK(x :Z32) : ArrayJE,Z32K arrayJEK(x :Z32, y :Z32) :ArrayJE, (Z32,Z32)K arrayJEK(x :Z32, y :Z32, z :Z32) : ArrayJE, (Z32,Z32,Z32)K Factory for immutable arrays that returns an empty 0-indexed array of a given run-time-determined size.