src/containers/types/dynamic_array.bend checks
raw source on the hub · import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/containers/types/dynamic_array.bend as Dynamic_array
1 import
import Base
Types
type Error source · line 5 · raw
Data
IndexOutOfRangeError
EmptyArrayError
CapacityExceededError
type Op source · line 11 · raw
@-T:Data -> Data
One public operation, for arbitrary finite operation traces.
Length@-T:Data -> Op<T>
Capacity@-T:Data -> Op<T>
Get@-T:Data -> @index:Nat -> Op<T>
Set@-T:Data -> @index:Nat -> @value:T -> Op<T>
Push@-T:Data -> @value:T -> Op<T>
Pop@-T:Data -> Op<T>
Reserve@-T:Data -> @wanted:Nat -> Op<T>
Clear@-T:Data -> Op<T>
ToList@-T:Data -> Op<T>
type Obs source · line 23 · raw
@-T:Data -> Data
The observable answer of one operation.
ONat@-T:Data -> @value:Nat -> Obs<T>
OItem@-T:Data -> @result:Result<&2, &2, Error, T> -> Obs<T>
OUnit@-T:Data -> @result:Result<&2, &2, Error, Unit> -> Obs<T>
OList@-T:Data -> @items:List<&2, T> -> Obs<T>
type Rejected source · line 30 · raw
@-T:Type -> Type
A rejected owning write returns its input value to the caller.
Rejected@-T:Type -> @error:Error -> @value:T -> Rejected<T>