def read_list

stelliferous@0.0.2.0 · storage_buffer.bend:60

import stelliferous@0.0.2.0/storage_buffer.bend as StorageBuffer

import Base

60def read_list(~Element: Data,count: Nat,+offset: U32,storage: Array<Element>) -> List<&2,Element>:
61  match count:
62    case 0n: []
63    case 1n+rest:
64      bind_pair(Array<Element>,Element,List<&2,Element>,Array.get(Element,storage,offset),storage => value =>
65        value <> read_list(Element,rest,(offset + 1 : U32),storage))

Uses (7)

Used by (2)